<type_traits>
Defines templates that provide compile-time constants that give information about the properties of their type arguments.
For a list of all members of this header, see <type_traits> Members.
#include <type_traits>
Remarks
A type predicate is a template that takes one or two type arguments. When a type predicate holds true, it is publicly derived, directly or indirectly, from true_type Typedef. When a type predicate holds false, it is publicly derived, directly or indirectly, from false_type Typedef.
A type modifier is a template that takes one or more template arguments and has one member, as follows:
- typedef modified-type type;
A type query is a template that takes one or more template arguments. A type query is publicly derived, directly or indirectly, from integral_constant<std::size_t, value>. It holds the value that is passed as the argument value.