Compartilhar via


<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.

See Also

Reference

<functional>