|
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ABinaryTypeTrait is a class template that describes a relationship between its two template type parameters with astd::integral_constant (typicallystd::bool_constant) specialization.
The following standard library class templates satisfyBinaryTypeTrait:
(C++11) | checks if two types are the same (class template)[edit] |
(C++11) | checks if a type is a base of the other type (class template)[edit] |
(C++26) | checks if a type is a virtual base of the other type (class template)[edit] |
(C++11)(C++20) | checks if a type can be converted to the other type (class template)[edit] |
(C++20) | checks if two types arelayout-compatible (class template)[edit] |
| checks if a type is apointer-interconvertible (initial) base of another type (class template)[edit] | |
| checks if a type can be invoked (as if bystd::invoke) with the given argument types (class template)[edit] | |
(C++11) | checks if the specified type supports uses-allocator construction (class template)[edit] |
