Concepts

Here is a list of all concepts with brief descriptions:

[detail level 123]

▼Netl
▼Nlinalg
Rin_vector
Rout_vector
Rinout_vector
Rin_matrix
Rout_matrix
Rinout_matrix
Rin_object
Rout_object
Rinout_object
▼Nranges
Rborrowed_range
Rrange
Rsized_range
Rbitmask_type
Rthree_way_comparable
Rassignable_from
Rboolean_testable
Rbuiltin_integer
Rbuiltin_signed_integer
Rbuiltin_unsigned_integer
Rcommon_reference_with
Rcommon_with
Rconstructible_from	The constructible_from concept specifies that a variable of type T can be initialized with the given set of argument types Args...
Rconvertible_to	The concept convertible_to<From, To> specifies that an expression of the same type and value category as those of declval<From>() can be implicitly and explicitly converted to the type To, and the two forms of conversion are equivalent
Rcopy_constructible	The concept copy_constructible is satisfied if T is an lvalue reference type, or if it is a move_constructible object type where an object of that type can constructed from a (possibly const) lvalue or const rvalue of that type in both direct- and copy-initialization contexts with the usual semantics (a copy is constructed with the source unchanged)
Rcopyable
Rdefault_initializable	The default_initializable concept checks whether variables of type T can be value-initialized (T() is well-formed); direct-list-initialized from an empty initializer list (T{} is well-formed); and default-initialized (T t; is well-formed). Access checking is performed as if in a context unrelated to T. Only the validity of the immediate context of the variable initialization is considered
Rderived_from	The concept derived_from<Derived, Base> is satisfied if and only if Base is a class type that is either Derived or a public and unambiguous base of Derived, ignoring cv-qualifiers. Note that this behaviour is different to is_base_of when Base is a private or protected base of Derived
Rdestructible	The concept destructible specifies the concept of all types whose instances can safely be destroyed at the end of their lifetime (including reference types)
Requality_comparable
Requivalence_relation
Rfloating_point	The concept floating_point<T> is satisfied if and only if T is a floating-point type
Rintegral	The concept integral<T> is satisfied if and only if T is an integral type
Rinvocable
Rmovable
Rmove_constructible	The concept move_constructible is satisfied if T is a reference type, or if it is an object type where an object of that type can be constructed from an rvalue of that type in both direct- and copy-initialization contexts, with the usual semantics
Rpredicate
Rreferenceable
Rregular
Rregular_invocable
Rrelation
Rsame_as	The concept same_as<T, U> is satisfied if and only if T and U denote the same type. same_as<T, U> subsumes same_as<U, T> and vice versa
Rsemiregular
Rsigned_integral	The concept signed_integral<T> is satisfied if and only if T is an integral type and is_signed_v<T> is true
Rstrict_weak_order
Rswappable
Runsigned_integral	The concept unsigned_integral<T> is satisfied if and only if T is an integral type and is_unsigned_v<T> is true
Rweakly_equality_comparable_with
Rexecution_policy
Rincrementable
Rindirectly_readable
Rindirectly_regular_unary_invocable
Rindirectly_unary_invocable
Rinput_or_output_iterator
Rlegacy_bidirectional_iterator
Rlegacy_forward_iterator
Rlegacy_input_iterator
Rlegacy_iterator
Rsentinel_for
Rweakly_incrementable
Rpair_like
Rtuple_like