Concepts library (C++20)

 

C++

Compiler support

Freestanding and hosted

Language

Standard library

Standard library headers

Named requirements

Feature test macros (C++20)

Language support library

Concepts library (C++20)

Metaprogramming library (C++11)

Diagnostics library

General utilities library

Strings library

Containers library

Iterators library

Ranges library (C++20)

Algorithms library

Numerics library

Localizations library

Input/output library

Filesystem library (C++17)

Regular expressions library (C++11)

Concurrency support library (C++11)

Execution support library (C++26)

Technical specifications

Symbols index

External libraries

 

Concepts library

Core language concepts same_as (C++20) derived_from (C++20) convertible_to (C++20) common_reference_with (C++20) common_with (C++20) integral (C++20) signed_integral (C++20) unsigned_integral (C++20) floating_point (C++20) swappableswappable_with (C++20)(C++20) destructible (C++20) constructible_from (C++20) default_initializable (C++20)   move_constructible (C++20) copy_constructible (C++20) assignable_from (C++20)

Comparison concepts equality_comparableequality_comparable_with (C++20)(C++20) totally_orderedtotally_ordered_with (C++20)(C++20) Object concepts movable (C++20) copyable (C++20) semiregular (C++20) regular (C++20) Callable concepts invocableregular_invocable (C++20)(C++20) predicate (C++20) relation (C++20) equivalence_relation (C++20) strict_weak_order (C++20)

Exposition-only concepts boolean-testable  (C++20)

 

The concepts library provides definitions of fundamental library concepts that can be used to perform compile-time validation of template arguments and perform function dispatch based on properties of types. These concepts provide a foundation for equational reasoning in programs.

Template:cpp/concepts/dsc Boolean

Defined in header <concepts>
Defined in namespace std
Core language concepts
same_as (C++20)	specifies that a type is the same as another type (concept)
derived_from (C++20)	specifies that a type is derived from another type (concept)
convertible_to (C++20)	specifies that a type is implicitly convertible to another type (concept)
common_reference_with (C++20)	specifies that two types share a common reference type (concept)
common_with (C++20)	specifies that two types share a common type (concept)
integral (C++20)	specifies that a type is an integral type (concept)
signed_integral (C++20)	specifies that a type is an integral type that is signed (concept)
unsigned_integral (C++20)	specifies that a type is an integral type that is unsigned (concept)
assignable_from (C++20)	specifies that a type is assignable from another type (concept)
swappableswappable_with (C++20)	specifies that a type can be swapped or that two types can be swapped with each other (concept)
destructible (C++20)	specifies that an object of the type can be destroyed (concept)
constructible_from (C++20)	specifies that a variable of the type can be constructed from or bound to a set of argument types (concept)
default_initializable (C++20)	specifies that an object of a type can be default constructed (concept)
move_constructible (C++20)	specifies that an object of a type can be move constructed (concept)
copy_constructible (C++20)	specifies that an object of a type can be copy constructed and move constructed (concept)
Comparison concepts
equality_comparableequality_comparable_with (C++20)	specifies that operator == is an equivalence relation (concept)
totally_orderedtotally_ordered_with (C++20)	specifies that the comparison operators on the type yield a total order (concept)
Object concepts
movable (C++20)	specifies that an object of a type can be moved and swapped (concept)
copyable (C++20)	specifies that an object of a type can be copied, moved, and swapped (concept)
semiregular (C++20)	specifies that an object of a type can be copied, moved, swapped, and default constructed (concept)
regular (C++20)	specifies that a type is regular, that is, it is both semiregular and equality_comparable (concept)
Callable concepts
invocableregular_invocable (C++20)	specifies that a callable type can be invoked with a given set of argument types (concept)
predicate (C++20)	specifies that a callable type is a Boolean predicate (concept)
relation (C++20)	specifies that a callable type is a binary relation (concept)
strict_weak_order (C++20)	specifies that a relation imposes a strict weak ordering (concept)