René's URL Explorer Experiment


Title: Constraints and concepts (since C++20) - cppreference.com

Generator: MediaWiki 1.43.9

direct link

Domain: cppreference.com

format-detectiontelephone=no

Links:

cppreference.comhttps://cppreference.com/
Create accounthttps://cppreference.com/index.php?title=Special:CreateAccount&returnto=cpp%2Flanguage%2Fconstraints
Log inhttps://cppreference.com/index.php?title=Special:UserLogin&returnto=cpp%2Flanguage%2Fconstraints
Pagehttps://cppreference.com/cpp/language/constraints
Discussionhttps://cppreference.com/Talk:cpp/language/constraints
https://cppreference.com/cpp/language/concepts
Readhttps://cppreference.com/cpp/language/constraints
View sourcehttps://cppreference.com/index.php?title=cpp/language/constraints&action=edit
View historyhttps://cppreference.com/index.php?title=cpp/language/constraints&action=history
https://cppreference.com/cpp/language/concepts
cpphttps://cppreference.com/cpp
languagehttps://cppreference.com/cpp/language
cpp/language/conceptshttps://cppreference.com/index.php?title=cpp/language/concepts&redirect=no
C++https://cppreference.com/cpp
Compiler supporthttps://cppreference.com/cpp/compiler_support
Freestanding and hostedhttps://cppreference.com/cpp/freestanding
Languagehttps://cppreference.com/cpp/language
Standard libraryhttps://cppreference.com/cpp/standard_library
Standard library headershttps://cppreference.com/cpp/header
Named requirementshttps://cppreference.com/cpp/named_req
Feature test macroshttps://cppreference.com/cpp/feature_test
Language support libraryhttps://cppreference.com/cpp/utility#Language_support
Concepts libraryhttps://cppreference.com/cpp/concepts
Diagnostics libraryhttps://cppreference.com/cpp/error
Memory management libraryhttps://cppreference.com/cpp/memory
Metaprogramming libraryhttps://cppreference.com/cpp/meta
General utilities libraryhttps://cppreference.com/cpp/utility
Containers libraryhttps://cppreference.com/cpp/container
Iterators libraryhttps://cppreference.com/cpp/iterator
Ranges libraryhttps://cppreference.com/cpp/ranges
Algorithms libraryhttps://cppreference.com/cpp/algorithm
Strings libraryhttps://cppreference.com/cpp/string
Text processing libraryhttps://cppreference.com/cpp/text
Numerics libraryhttps://cppreference.com/cpp/numeric
Date and time libraryhttps://cppreference.com/cpp/chrono
Input/output libraryhttps://cppreference.com/cpp/io
Filesystem libraryhttps://cppreference.com/cpp/filesystem
Concurrency support libraryhttps://cppreference.com/cpp/thread
Execution control libraryhttps://cppreference.com/cpp/execution
Technical specificationshttps://cppreference.com/cpp/experimental
Symbols indexhttps://cppreference.com/cpp/symbol_index
External librarieshttps://cppreference.com/cpp/links/libs
[edit]https://cppreference.com/index.php?title=Template:cpp/navbar_content&action=edit
C++ languagehttps://cppreference.com/cpp/language
Preprocessorhttps://cppreference.com/cpp/preprocessor
Commentshttps://cppreference.com/cpp/comment
Keywordshttps://cppreference.com/cpp/keyword
Escape sequenceshttps://cppreference.com/cpp/language/escape
Flow controlhttps://cppreference.com/cpp/language/statements
ifhttps://cppreference.com/cpp/language/if
switchhttps://cppreference.com/cpp/language/switch
forhttps://cppreference.com/cpp/language/for
range-forhttps://cppreference.com/cpp/language/range-for
whilehttps://cppreference.com/cpp/language/while
do-whilehttps://cppreference.com/cpp/language/do
continuehttps://cppreference.com/cpp/language/continue
breakhttps://cppreference.com/cpp/language/break
gotohttps://cppreference.com/cpp/language/goto
returnhttps://cppreference.com/cpp/language/return
Functionshttps://cppreference.com/cpp/language/functions
Function declarationhttps://cppreference.com/cpp/language/function
Lambda function expressionhttps://cppreference.com/cpp/language/lambda
inline specifierhttps://cppreference.com/cpp/language/inline
Dynamic exception specificationshttps://cppreference.com/cpp/language/except_spec
noexcept specifierhttps://cppreference.com/cpp/language/noexcept_spec
throw-expressionhttps://cppreference.com/cpp/language/throw
try blockhttps://cppreference.com/cpp/language/try
catch handlerhttps://cppreference.com/cpp/language/catch
Namespace declarationhttps://cppreference.com/cpp/language/namespace
Namespace aliaseshttps://cppreference.com/cpp/language/namespace_alias
Fundamental typeshttps://cppreference.com/cpp/language/types
Enumeration typeshttps://cppreference.com/cpp/language/enum
Function typeshttps://cppreference.com/cpp/language/function
Class/struct typeshttps://cppreference.com/cpp/language/class
Union typeshttps://cppreference.com/cpp/language/union
const/volatilehttps://cppreference.com/cpp/language/cv
decltypehttps://cppreference.com/cpp/language/decltype
autohttps://cppreference.com/cpp/language/auto
constexprhttps://cppreference.com/cpp/language/constexpr
constevalhttps://cppreference.com/cpp/language/consteval
constinithttps://cppreference.com/cpp/language/constinit
Storage duration specifiershttps://cppreference.com/cpp/language/storage_duration
Initializationhttps://cppreference.com/cpp/language/initialization
Default-initializationhttps://cppreference.com/cpp/language/default_initialization
Value-initializationhttps://cppreference.com/cpp/language/value_initialization
Zero-initializationhttps://cppreference.com/cpp/language/zero_initialization
Copy-initializationhttps://cppreference.com/cpp/language/copy_initialization
Direct-initializationhttps://cppreference.com/cpp/language/direct_initialization
Aggregate initializationhttps://cppreference.com/cpp/language/aggregate_initialization
List-initializationhttps://cppreference.com/cpp/language/list_initialization
Constant initializationhttps://cppreference.com/cpp/language/constant_initialization
Reference initializationhttps://cppreference.com/cpp/language/reference_initialization
Expressionshttps://cppreference.com/cpp/language/expressions
Value categorieshttps://cppreference.com/cpp/language/value_category
Order of evaluationhttps://cppreference.com/cpp/language/eval_order
Operatorshttps://cppreference.com/cpp/language/operators
Operator precedencehttps://cppreference.com/cpp/language/operator_precedence
Alternative representationshttps://cppreference.com/cpp/language/operator_alternative
Literalshttps://cppreference.com/cpp/language/expressions#Literals
Booleanhttps://cppreference.com/cpp/language/bool_literal
Integerhttps://cppreference.com/cpp/language/integer_literal
Floating-pointhttps://cppreference.com/cpp/language/floating_literal
Characterhttps://cppreference.com/cpp/language/character_literal
Stringhttps://cppreference.com/cpp/language/string_literal
nullptrhttps://cppreference.com/cpp/language/nullptr
User-definedhttps://cppreference.com/cpp/language/user_literal
Attributeshttps://cppreference.com/cpp/language/attributes
typedef declarationhttps://cppreference.com/cpp/language/typedef
Type alias declarationhttps://cppreference.com/cpp/language/type_alias
Implicit conversionshttps://cppreference.com/cpp/language/implicit_conversion
static_casthttps://cppreference.com/cpp/language/static_cast
const_casthttps://cppreference.com/cpp/language/const_cast
Explicit conversionshttps://cppreference.com/cpp/language/explicit_cast
dynamic_casthttps://cppreference.com/cpp/language/dynamic_cast
reinterpret_casthttps://cppreference.com/cpp/language/reinterpret_cast
new expressionhttps://cppreference.com/cpp/language/new
delete expressionhttps://cppreference.com/cpp/language/delete
Classeshttps://cppreference.com/cpp/language/classes
Class declarationhttps://cppreference.com/cpp/language/class
Constructorshttps://cppreference.com/cpp/language/constructor
this pointerhttps://cppreference.com/cpp/language/this
Access specifiershttps://cppreference.com/cpp/language/access
friend specifierhttps://cppreference.com/cpp/language/friend
Virtual functionhttps://cppreference.com/cpp/language/virtual
override specifierhttps://cppreference.com/cpp/language/override
final specifierhttps://cppreference.com/cpp/language/final
explicithttps://cppreference.com/cpp/language/explicit
statichttps://cppreference.com/cpp/language/static
Default constructorhttps://cppreference.com/cpp/language/default_constructor
Copy constructorhttps://cppreference.com/cpp/language/copy_constructor
Move constructorhttps://cppreference.com/cpp/language/move_constructor
Copy assignmenthttps://cppreference.com/cpp/language/as_operator
Move assignmenthttps://cppreference.com/cpp/language/move_operator
Destructorhttps://cppreference.com/cpp/language/destructor
Templateshttps://cppreference.com/cpp/language/templates
Class templatehttps://cppreference.com/cpp/language/class_template
Function templatehttps://cppreference.com/cpp/language/function_template
Template specializationhttps://cppreference.com/cpp/language/template_specialization
Parameter packshttps://cppreference.com/cpp/language/pack
Inline assemblyhttps://cppreference.com/cpp/language/asm
History of C++https://cppreference.com/cpp/language/history
[edit]https://cppreference.com/index.php?title=Template:cpp/language/navbar_content&action=edit
Declarationshttps://cppreference.com/cpp/language/declarations
Declaration syntaxhttps://cppreference.com/cpp/language/declarations
decl-specifier-seqhttps://cppreference.com/cpp/language/declarations#Specifiers
Declaratorhttps://cppreference.com/cpp/language/declarations#Declarators
Conflicting declarationshttps://cppreference.com/cpp/language/conflicting_declarations
typedefhttps://cppreference.com/cpp/language/typedef
inlinehttps://cppreference.com/cpp/language/inline
virtual function specifierhttps://cppreference.com/cpp/language/virtual
explicit function specifierhttps://cppreference.com/cpp/language/explicit
friendhttps://cppreference.com/cpp/language/friend
constexprhttps://cppreference.com/cpp/language/constexpr
constevalhttps://cppreference.com/cpp/language/consteval
constinithttps://cppreference.com/cpp/language/constinit
Storage class specifiershttps://cppreference.com/cpp/language/storage_duration
Translation-unit-localhttps://cppreference.com/cpp/language/tu_local
class/structhttps://cppreference.com/cpp/language/class
unionhttps://cppreference.com/cpp/language/union
enumhttps://cppreference.com/cpp/language/enum
decltypehttps://cppreference.com/cpp/language/decltype
autohttps://cppreference.com/cpp/language/auto
alignashttps://cppreference.com/cpp/language/alignas
constvolatilehttps://cppreference.com/cpp/language/cv
Pack indexing specifierhttps://cppreference.com/cpp/language/pack_indexing#Pack_indexing_specifier
Elaborated type specifierhttps://cppreference.com/cpp/language/elaborated_type_specifier
Attributeshttps://cppreference.com/cpp/language/attributes
Referencehttps://cppreference.com/cpp/language/reference
Pointerhttps://cppreference.com/cpp/language/pointer
Arrayhttps://cppreference.com/cpp/language/array
Simple-declarationhttps://cppreference.com/cpp/language/declarations
Structured binding declarationhttps://cppreference.com/cpp/language/structured_binding
Alias declarationhttps://cppreference.com/cpp/language/type_alias
Namespace alias definitionhttps://cppreference.com/cpp/language/namespace_alias
using declarationhttps://cppreference.com/cpp/language/using_declaration
using directivehttps://cppreference.com/cpp/language/namespace#Using-directives
static_assert declarationhttps://cppreference.com/cpp/language/static_assert
asm declarationhttps://cppreference.com/cpp/language/asm
Opaque enum declarationhttps://cppreference.com/cpp/language/enum
Namespace definitionhttps://cppreference.com/cpp/language/namespace
Function declarationhttps://cppreference.com/cpp/language/function
Class template declarationhttps://cppreference.com/cpp/language/class_template
Function template declarationhttps://cppreference.com/cpp/language/function_template
Explicit template instantiationhttps://cppreference.com/cpp/language/class_template#Explicit_instantiation
Explicit template specializationhttps://cppreference.com/cpp/language/template_specialization
Linkage specificationhttps://cppreference.com/cpp/language/language_linkage
Attribute declarationhttps://cppreference.com/cpp/language/declarations
Empty declarationhttps://cppreference.com/cpp/language/declarations
[edit]https://cppreference.com/index.php?title=Template:cpp/language/declarations/navbar_content&action=edit
Expressionshttps://cppreference.com/cpp/language/expressions
Value categorieshttps://cppreference.com/cpp/language/value_category
Order of evaluationhttps://cppreference.com/cpp/language/eval_order
Constant expressionshttps://cppreference.com/cpp/language/constant_expression
Primary expressionshttps://cppreference.com/cpp/language/expressions#Primary_expressions
Lambda expressionshttps://cppreference.com/cpp/language/lambda
Requires expressionshttps://cppreference.com/cpp/language/requires
Pack indexing expressionhttps://cppreference.com/cpp/language/pack_indexing#Pack_indexing_expression
Potentially-evaluated expressionshttps://cppreference.com/cpp/language/expressions#Potentially-evaluated_expressions
Integer literalshttps://cppreference.com/cpp/language/integer_literal
Floating-point literalshttps://cppreference.com/cpp/language/floating_literal
Boolean literalshttps://cppreference.com/cpp/language/bool_literal
Character literalshttps://cppreference.com/cpp/language/character_literal
Escape sequenceshttps://cppreference.com/cpp/language/escape
String literalshttps://cppreference.com/cpp/language/string_literal
Null pointer literalhttps://cppreference.com/cpp/language/nullptr
User-defined literalhttps://cppreference.com/cpp/language/user_literal
Assignment operatorshttps://cppreference.com/cpp/language/operator_assignment
Increment and decrementhttps://cppreference.com/cpp/language/operator_incdec
Arithmetic operatorshttps://cppreference.com/cpp/language/operator_arithmetic
Logical operatorshttps://cppreference.com/cpp/language/operator_logical
Comparison operatorshttps://cppreference.com/cpp/language/operator_comparison
Member access operatorshttps://cppreference.com/cpp/language/operator_member_access
Reflection operatorhttps://cppreference.com/cpp/language/operator_reflection
Other operatorshttps://cppreference.com/cpp/language/operator_other
new-expressionhttps://cppreference.com/cpp/language/new
delete-expressionhttps://cppreference.com/cpp/language/delete
throw-expressionhttps://cppreference.com/cpp/language/throw
alignofhttps://cppreference.com/cpp/language/alignof
sizeofhttps://cppreference.com/cpp/language/sizeof
sizeof...https://cppreference.com/cpp/language/sizeof...
typeidhttps://cppreference.com/cpp/language/typeid
noexcepthttps://cppreference.com/cpp/language/noexcept
Fold expressionshttps://cppreference.com/cpp/language/fold
Alternative representations of operatorshttps://cppreference.com/cpp/language/operator_alternative
Precedence and associativityhttps://cppreference.com/cpp/language/operator_precedence
Operator overloadinghttps://cppreference.com/cpp/language/operators
Default comparisonshttps://cppreference.com/cpp/language/default_comparisons
Implicit conversionshttps://cppreference.com/cpp/language/implicit_conversion
Explicit conversionshttps://cppreference.com/cpp/language/explicit_cast
Usual arithmetic conversionshttps://cppreference.com/cpp/language/usual_arithmetic_conversions
User-defined conversionhttps://cppreference.com/cpp/language/cast_operator
const_casthttps://cppreference.com/cpp/language/const_cast
static_casthttps://cppreference.com/cpp/language/static_cast
dynamic_casthttps://cppreference.com/cpp/language/dynamic_cast
reinterpret_casthttps://cppreference.com/cpp/language/reinterpret_cast
[edit]https://cppreference.com/index.php?title=Template:cpp/language/expressions/navbar_content&action=edit
Templateshttps://cppreference.com/cpp/language/templates
Parameters and argumentshttps://cppreference.com/cpp/language/template_parameters
Class templateshttps://cppreference.com/cpp/language/class_template
Function templateshttps://cppreference.com/cpp/language/function_template
Class member templateshttps://cppreference.com/cpp/language/member_template
Variable templateshttps://cppreference.com/cpp/language/variable_template
Template argument deductionhttps://cppreference.com/cpp/language/template_argument_deduction
Class template argument deductionhttps://cppreference.com/cpp/language/class_template_argument_deduction
Explicit (full) specializationhttps://cppreference.com/cpp/language/template_specialization
Partial specializationhttps://cppreference.com/cpp/language/partial_specialization
Dependent nameshttps://cppreference.com/cpp/language/dependent_name
Packshttps://cppreference.com/cpp/language/pack
sizeof...https://cppreference.com/cpp/language/sizeof...
Fold expressionshttps://cppreference.com/cpp/language/fold
Pack indexinghttps://cppreference.com/cpp/language/pack_indexing
SFINAEhttps://cppreference.com/cpp/language/sfinae
Requires expressionhttps://cppreference.com/cpp/language/requires
[edit]https://cppreference.com/index.php?title=Template:cpp/language/templates/navbar_content&action=edit
Class templateshttps://cppreference.com/cpp/language/class_template
function templateshttps://cppreference.com/cpp/language/function_template
generic lambdashttps://cppreference.com/cpp/language/lambda
templated functionshttps://cppreference.com/cpp/language/templates#Templated_entity
requirementshttps://cppreference.com/cpp/language/requires
ISO C++ core guideline T.20https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#t20-avoid-concepts-without-meaningful-semantics
1 Conceptshttps://cppreference.com/cpp/language/concepts#Concepts
2 Constraintshttps://cppreference.com/cpp/language/concepts#Constraints
2.1 Redeclarationshttps://cppreference.com/cpp/language/concepts#Redeclarations
2.2 Conjunctionshttps://cppreference.com/cpp/language/concepts#Conjunctions
2.3 Disjunctionshttps://cppreference.com/cpp/language/concepts#Disjunctions
2.4 Atomic constraintshttps://cppreference.com/cpp/language/concepts#Atomic_constraints
2.5 Fold expanded constraintshttps://cppreference.com/cpp/language/concepts#Fold_expanded_constraints
2.6 Constraint normalizationhttps://cppreference.com/cpp/language/concepts#Constraint_normalization
3 requires clauseshttps://cppreference.com/cpp/language/concepts#requires_clauses
4 Partial ordering of constraintshttps://cppreference.com/cpp/language/concepts#Partial_ordering_of_constraints
5 Noteshttps://cppreference.com/cpp/language/concepts#Notes
6 Keywordshttps://cppreference.com/cpp/language/concepts#Keywords
7 Defect reportshttps://cppreference.com/cpp/language/concepts#Defect_reports
8 See alsohttps://cppreference.com/cpp/language/concepts#See_also
requirementshttps://cppreference.com/cpp/language/requires
attributeshttps://cppreference.com/cpp/language/attributes
type template parameter declarationhttps://cppreference.com/cpp/language/template_parameters#Type_template_parameter
placeholder type specifierhttps://cppreference.com/cpp/language/auto
compound requirementhttps://cppreference.com/cpp/language/requires#Compound_Requirements
requires expressionshttps://cppreference.com/cpp/language/requires
normalizinghttps://cppreference.com/cpp/language/concepts#Constraint_normalization
type template parameterhttps://cppreference.com/cpp/language/template_parameters#Type_template_parameter
placeholder typehttps://cppreference.com/cpp/language/auto
requires clausehttps://cppreference.com/cpp/language/concepts#Requires_clauses
placeholder typehttps://cppreference.com/cpp/language/auto
abbreviated function templatehttps://cppreference.com/cpp/language/function_template#Abbreviated_function_template
requires clausehttps://cppreference.com/cpp/language/concepts#Requires_clauses
constraint normalizationhttps://cppreference.com/cpp/language/concepts#Constraint_normalization
pack expansionhttps://cppreference.com/cpp/language/parameter_pack
fold expressionshttps://cppreference.com/cpp/language/fold
requireshttps://cppreference.com/cpp/keyword/requires
requires expressionhttps://cppreference.com/cpp/language/requires
primary expressionhttps://cppreference.com/cpp/language/expressions#Primary_expressions
normalizedhttps://cppreference.com/cpp/language/concepts#Constraint_normalization
requires expressionhttps://cppreference.com/cpp/language/requires
implieshttps://en.wikipedia.org/wiki/Logical_consequence
abovehttps://cppreference.com/cpp/language/concepts#Atomic_constraints
overload resolutionhttps://cppreference.com/cpp/language/overload_resolution
address of a non-template functionhttps://cppreference.com/cpp/language/overloaded_address
partial orderinghttps://cppreference.com/cpp/language/function_template#Function_template_overloading
explicit object parametershttps://cppreference.com/cpp/language/member_functions#Explicit_object_parameter
__cpp_conceptshttps://cppreference.com/cpp/feature_test#cpp_concepts
201907Lhttps://cppreference.com/cpp/compiler_support/20#cpp_concepts_201907L
202002Lhttps://cppreference.com/cpp/compiler_support/20#cpp_concepts_202002L
special member functionshttps://cppreference.com/cpp/language/member_functions#Special_member_functions
concepthttps://cppreference.com/cpp/keyword/concept
requireshttps://cppreference.com/cpp/keyword/requires
typenamehttps://cppreference.com/cpp/keyword/typename
CWG 2428https://cplusplus.github.io/CWG/issues/2428.html
Concepts TShttps://cppreference.com/cpp/experimental/constraints
Named requirementshttps://cppreference.com/cpp/named_req
Requires expressionhttps://cppreference.com/cpp/language/requires
[edit]https://cppreference.com/index.php?title=Template:cpp/language/dsc_requires&action=edit
Categorieshttps://cppreference.com/Special:Categories
Pages using deprecated source tagshttps://cppreference.com/index.php?title=Category:Pages_using_deprecated_source_tags&action=edit&redlink=1
Pages using deprecated enclose attributeshttps://cppreference.com/index.php?title=Category:Pages_using_deprecated_enclose_attributes&action=edit&redlink=1
Todo with reasonhttps://cppreference.com/Category:Todo_with_reason
Support ushttp://www.cppreference.com/support
Recent changeshttps://cppreference.com/Special:RecentChanges
FAQhttps://cppreference.com/Cppreference:FAQ
Offline versionhttps://cppreference.com/Cppreference:Archives
https://cppreference.com/cpp/language/concepts
What links herehttps://cppreference.com/Special:WhatLinksHere/cpp/language/constraints
Related changeshttps://cppreference.com/Special:RecentChangesLinked/cpp/language/constraints
Upload filehttp://upload.cppreference.com/w/Special:Upload
Special pageshttps://cppreference.com/Special:SpecialPages
Printable versionjavascript:print();
Permanent linkhttps://cppreference.com/index.php?title=cpp/language/constraints&oldid=182165
Page informationhttps://cppreference.com/index.php?title=cpp/language/constraints&action=info
Deutschhttps://de.cppreference.com/cpp/language/constraints
Españolhttp://es.cppreference.com/cpp/language/constraints
Françaishttp://fr.cppreference.com/cpp/language/constraints
Italianohttp://it.cppreference.com/cpp/language/constraints
日本語http://ja.cppreference.com/cpp/language/constraints
Portuguêshttp://pt.cppreference.com/cpp/language/constraints
Русскийhttp://ru.cppreference.com/cpp/language/constraints
中文http://zh.cppreference.com/cpp/language/constraints

Viewport: width=1120

Robots: max-image-preview:standard

URLs of crawlers that visited me.