C++ named requirements: UnaryTypeTrait

From cppreference.com
< cpp‎ | named req
 
 
C++ named requirements
 

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

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

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)
obtains the size of tuple at compile time
(class template specialization)
obtains the size of an array
(class template specialization)
obtains the size of a pair
(class template specialization)
obtains the size of the variant's list of alternatives at compile time
(class template) (variable template)
indicates that an object is std::bind expression or can be used as one
(class template)
indicates that an object is a standard placeholder or can be used as one
(class template)
test whether a class represents an execution policy
(class template)