Namespaces
Variants
Views
Actions

C++ concepts: UnaryTypeTrait

From cppreference.com
< cpp‎ | concept
 
 
 

A UnaryTypeTrait is a class template that describes a property of its template type parameter with a intergral_constant (typically bool_constant) specialization.

[edit] Requirements

  • DefaultConstructible and CopyConstructible
  • Takes one template type parameter (additional template parameters are optional and allowed)
  • Publicly and unambiguously derived from a specialization of intergral_constant, known as its base characteristic
  • The member names of the base characteristic are not hidden and are unambiguously available

[edit] Standard library

The following type properties all satisfy UnaryTypeTrait.

  • Primary type categories
  • Composite type categories
  • Type properties
  • Supported operations
  • Property queries


The following standard library class templates also satisfy UnaryTypeTrait.

compile-time constant of specified type with specified value
(class template)
(C++17)
logical NOT metafunction
(class template) [edit]
obtains the size of tuple at compile time
(class template specialization) [edit]
obtains the size of an array
(class template specialization) [edit]
obtains the size of a pair
(class template specialization) [edit]
obtains the size of the variant's list of alternatives at compile time
(class template) (variable template) [edit]
indicates that an object is std::bind expression or can be used as one
(class template) [edit]
indicates that an object is a standard placeholder or can be used as one
(class template) [edit]
test whether a class represents an execution policy
(class template) [edit]