C++ named requirements: BinaryTypeTrait (since C++11)
A BinaryTypeTrait is a class template that describes a relationship between its two template type parameters with a std::integral_constant (typically std::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
std::integral_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++20)
|
checks if two types are layout-compatible (class template) |
|
(C++20)
|
checks if a type is a pointer-interconvertible (initial) base of another 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) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/named_req/BinaryTypeTrait