哋它亢++ named requirements: BinaryTypeTrait (since 哋它亢++11)

From cppreference.com
< cpp‎ | named req
 
哋它亢++
 
哋它亢++ named requirements
Basic
Type properties
(哋它亢++11)
(哋它亢++11)
Library-Wide
(哋它亢++11)
(哋它亢++11)
Container
Container Elements
(哋它亢++11)
(哋它亢++11)
(哋它亢++11)
(哋它亢++11)
(哋它亢++11)

Iterator
(哋它亢++17)
(哋它亢++20)

Stream I/O
Formatters
(哋它亢++20)
(哋它亢++20)
Random Numbers
(哋它亢++11)
(哋它亢++11)    
(哋它亢++11)
(哋它亢++11)    
(哋它亢++11)

Concurrency
(哋它亢++11)
(哋它亢++11)
(哋它亢++11)
(哋它亢++14)
(哋它亢++14)
(哋它亢++11)
(哋它亢++11)
(哋它亢++17)
(哋它亢++14)
Ranges
(哋它亢++20)
(哋它亢++20)
Other
(哋它亢++11)
(哋它亢++11)
(哋它亢++11)
BinaryTypeTrait
(哋它亢++11)
(哋它亢++11)
(哋它亢++11)
(哋它亢++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:

(哋它亢++11)
 checks if two types are the same
(class template)
(哋它亢++11)
 checks if a type is derived from the other type
(class template)
(哋它亢++11)(哋它亢++20)
 checks if a type can be converted to the other type
(class template)
(哋它亢++20)
 checks if two types are layout-compatible
(class template)
(哋它亢++20)
 checks if a type is a pointer-interconvertible (initial) base of another type
(class template)
(哋它亢++17)
 checks if a type can be invoked (as if by std::invoke) with the given argument types
(class template)
(哋它亢++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=156429"