C++ named requirements: BinaryTypeTrait

< cpp‎ | named req
 
C++
 
C++ named requirements
Basic
Layout
Library-Wide
Container
Container Elements
Iterator
Stream I/O
Random Numbers
Concurrency
(C++11)
(C++11)
(C++11)

(C++11)
(C++11)
(C++17)
(C++14)
Other
(C++11)
BinaryTypeTrait
(C++11)
(C++11)
(C++11)
(C++11)
 

A BinaryTypeTrait is a class template that describes a relationship between its two template type parameters with a intergral_constant (typically bool_constant) specialization.

Requirements

  • DefaultConstructible and CopyConstructible
  • Takes two template type parameters (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 standard library class templates satisfy BinaryTypeTrait.

(C++11)
 checks if two types are the same
(class template)
(C++11)
 checks if a type is derived from the other type
(class template)
(C++11)(C++20)
 checks if a type can be converted to the other type
(class template)
(C++17)
 checks if a type can be invoked (as if by std::invoke) with the given argument types
(class template)
(C++11)
 checks if the specified type supports uses-allocator construction
(class template)