C++ named requirements: BinaryTypeTrait (since C++11)

From cppreference.com
C++
C++ named requirements

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 a base of the other type
(class template)
(C++26)
checks if a type is a virtual base of 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)
Retrieved from " https://en.cppreference.com/mwiki/index.php?title=cpp/named_req/BinaryTypeTrait&oldid=175499 "