定义了编译时常量的模板，这些常量可提供有关其类型参数的属性的信息或生成转换类型。
语法
#include <type_traits>
备注
type_traits 中的类和模板用于支持编译时的类型推理、分类和转换。<> 它们还用于检测与类型相关的错误，并帮助优化泛型代码。 一元类型特征描述类型属性，二元类型特征描述类型间关系，转换特征修改类型属性。
帮助程序类 integral_constant 及其模板专用化 true_type 和 false_type 构成类型谓词的基类。 类型谓词是采用一个或多个类型参数的模板。 如果类型谓词保留为 true，则它是以公共方式直接或间接从 true_type 派生的。 如果类型谓词保留为 false，则它是以公共方式直接或间接从 false_type 派生的。
类型修饰符或转换特征是一个模板，包含一个或多个参数以及一个成员 type（即修改后的类型）。
别名模板
为了简化类型特征表达式，提供了 typename some_trait<T>::type 的别名模板，其中 some_trait 是类模板名称。 例如，add_const 具有其类型 add_const_t 的别名模板，定义如下：
template <class T>
using add_const_t = typename add_const<T>::type;
这些是为 type 成员提供的的别名：
add_const_t
add_cv_t
add_lvalue_reference_t
add_pointer_t
add_rvalue_reference_t
add_volatile_t
aligned_storage_t
aligned_union_t
common_type_t
conditional_t
decay_t
enable_if_t
invoke_result_t
make_signed_t
make_unsigned_t
remove_all_extents_t
remove_const_t
remove_cv_t
remove_extent_t
remove_pointer_t
remove_reference_t
remove_volatile_t
result_of_t
underlying_type_t
类
帮助程序类和 typedef
| 名称 | 描述 |
|---|---|
| integral_constant | 从类型和值生成整型常量。 |
| true_type | 保留包含值 true 的整数常量。 |
| false_type | 保留包含值 false 的整数常量。 |
主要类型类别
| 名称 | 描述 |
|---|---|
| is_void | 测试类型是否为 void。 |
| is_null_pointer | 测试类型是否为 std::nullptr_t。 |
| is_integral | 测试类型是否为整型。 |
| is_floating_point | 测试类型是否为浮点。 |
| is_array | 测试类型是否为数组。 |
| is_pointer | 测试类型是否为指针。 |
| is_lvalue_reference | 测试类型是否是左值引用。 |
| is_rvalue_reference | 测试类型是否是右值引用。 |
| is_member_object_pointer | 测试类型是否为指向成员对象的指针。 |
| is_member_function_pointer | 测试类型是否为指向成员函数的指针。 |
| is_enum | 测试类型是否为枚举。 |
| is_union | 测试类型是否为联合。 |
| is_class | 测试类型是否为类。 |
| is_function | 测试类型是否为函数类型。 |
复合类型类别
| 名称 | 描述 |
|---|---|
| is_reference | 测试类型是否为引用。 |
| is_arithmetic | 测试类型是否为算术型。 |
| is_fundamental | 测试类型是否为 void 或算术型。 |
| is_object | 测试类型是否为对象类型。 |
| is_scalar | 测试类型是否为标量类型。 |
| is_compound | 测试类型是否为非标量类型。 |
| is_member_pointer | 测试类型是否为指向成员的指针。 |
Type 属性
| 名称 | 描述 |
|---|---|
| is_const | 测试类型是否为 const。 |
| is_volatile | 测试类型是否为 volatile。 |
| is_trivial | 测试类型是否常用。 |
| is_trivially_copyable | 测试类型是否可完全复制。 |
| is_standard_layout | 测试类型是否为标准布局类型。 |
| is_pod | 测试类型是否为 POD。 |
| is_literal_type | 测试类型是否可以是 constexpr 变量或是否可用于 constexpr 函数。 |
| is_empty | 测试类型是否为空类。 |
| is_polymorphic | 测试类型是否为多态类。 |
| is_abstract | 测试类型是否为抽象类。 |
| is_final | 测试类型是否是标记为 final 的类类型。 |
| is_aggregate | |
| is_signed | 测试类型是否为有符号的整数。 |
| is_unsigned | 测试类型是否为无符号的整数。 |
| is_constructible | 测试类型是否可使用指定参数类型进行构造。 |
| is_default_constructible | 测试类型是否包含默认构造函数。 |
| is_copy_constructible | 测试类型是否包含复制构造函数。 |
| is_move_constructible | 测试类型是否具有移动构造函数。 |
| is_assignable | 测试是否可以将第二个类型的值分配给第一个类型。 |
| is_copy_assignable | 测试是否可以将类型的常量引用值分配给该类型。 |
| is_move_assignable | 测试是否可以将类型的右值引用分配给该类型。 |
| is_swappable | |
| is_swappable_with | |
| is_destructible | 测试该类型是否易损坏。 |
| is_trivially_constructible | 测试在使用指定类型构造类型时，该类型是否未使用非常用操作。 |
| is_trivially_default_constructible | 测试在构造默认时，该类型是否未使用非常用操作。 |
| is_trivially_copy_constructible | 测试在构造复制时，该类型是否未使用非常用操作。 |
| is_trivially_move_constructible | 测试在构造移动时，该类型是否未使用非常用操作。 |
| is_trivially_assignable | 测试类型是否可赋值，以及赋值是否未使用非常用操作。 |
| is_trivially_copy_assignable | 测试类型是否为复制赋值，以及赋值是否未使用非常用操作。 |
| is_trivially_move_assignable | 测试类型是否为移动赋值，以及赋值是否未使用非常用操作。 |
| is_trivially_destructible | 测试类型是否易损坏，以及析构函数是否未使用非常用操作。 |
| is_nothrow_constructible | 测试类型是否可构造，以及是否确定在使用指定类型进行构造时不引发。 |
| is_nothrow_default_constructible | 测试类型是否是默认构造，以及是否确定在构造默认时不引发。 |
| is_nothrow_copy_constructible | 测试类型是否是复制构造，以及复制构造函数是否确定不引发。 |
| is_nothrow_move_constructible | 测试类型是否是移动构造，以及移动构造函数是否确定不引发。 |
| is_nothrow_assignable | 测试类型是否可使用指定类型进行赋值，以及赋值是否确定不引发。 |
| is_nothrow_copy_assignable | 测试类型是否是复制赋值，以及赋值是否确定不引发。 |
| is_nothrow_move_assignable | 测试类型是否是移动赋值，以及赋值是否确定不引发。 |
| is_nothrow_swappable | |
| is_nothrow_swappable_with | |
| is_nothrow_destructible | 测试类型是否易损坏，以及析构函数是否确定不引发。 |
has_virtual_destructor |
测试类型是否包含虚拟的析构函数。 |
has_unique_object_representations |
|
| is_invocable | 测试是否可以使用指定的参数类型调用可调用类型。 已在 C++17 中添加。 |
| is_invocable_r | 测试是否可以使用指定的参数类型调用可调用类型，以及结果是否可转换为指定类型。 已在 C++17 中添加。 |
| is_nothrow_invocable | 测试是否可以使用指定的参数类型调用可调用类型及其是否已知不会引发异常。 已在 C++17 中添加。 |
| is_nothrow_invocable_r | 测试是否可以使用指定的参数类型调用可调用类型及其是否已知不会引发异常，以及结果是否可转换为指定类型。 已在 C++17 中添加。 |
Type 属性查询
| 名称 | 描述 |
|---|---|
| alignment_of | 获取类型的对齐方式。 |
| rank | 获取数组维度数。 |
| extent | 获取指定数组维度中的元素数。 |
类型关系
| 名称 | 描述 |
|---|---|
| is_same | 确定两个类型是否相同。 |
| is_base_of | 测试一种类型是否是另一种类型的基类。 |
| is_convertible | 测试一种类型是否可转换为另一种类型。 |
Const-volatile 修改
| 名称 | 描述 |
|---|---|
| add_const | 从类型生成一个 const 类型。 |
| add_volatile | 从类型生成一个 volatile 类型。 |
| add_cv | 从类型生成一个 const volatile 类型。 |
| remove_const | 从类型生成一个非常量类型。 |
| remove_volatile | 从类型生成一个非易失类型。 |
| remove_cv | 从类型生成一个非常量非易失类型。 |
引用修改
| 名称 | 描述 |
|---|---|
| add_lvalue_reference | 从类型生成一个对类型的引用。 |
| add_rvalue_reference | 从类型生成一个对类型的右值引用 |
| remove_reference | 从类型生成一个非引用类型。 |
签名修改
| 名称 | 描述 |
|---|---|
| make_signed | 如果有符号，则生成该类型，或大小大于或等于类型的最小有符号类型。 |
| make_unsigned | 如果无符号，则生成该类型，或大小大于或等于类型的最小无符号类型。 |
数组修改
| 名称 | 描述 |
|---|---|
| remove_all_extents | 从数组类型生成一个非数组类型。 |
| remove_extent | 从数组类型生成一个元素类型。 |
指针修改
| 名称 | 描述 |
|---|---|
| add_pointer | 从类型生成指向类型的指针。 |
| remove_pointer | 从指向类型的指针生成一个类型。 |
其他转换
| 名称 | 描述 |
|---|---|
| aligned_storage | 为对齐类型分配未初始化的内存。 |
| aligned_union | 为具有不常用构造函数或析构函数的对齐联合分配未初始化的内存。 |
| common_type | 生成参数包的所有类型的通用类型。 |
| conditional | 如果条件为 true，则生成第一个指定类型，否则生成第二个指定类型。 |
| decay | 生成按值传递的类型。 设置非引用、非常量或非可变类型或者设置指向类型的指针。 |
| enable_if | 如果条件为 true，则生成指定类型，否则不生成类型。 |
| invoke_result | 确定可调用类型的返回类型，该可调用类型采用指定参数类型。 已在 C++17 中添加。 |
| result_of | 确定可调用类型的返回类型，该可调用类型采用指定参数类型。 在 C++14 中已添加，在 C++17 中已弃用。 |
| underlying_type | 生成枚举类型的基础整型类型。 |
逻辑运算符特征
| 名称 | 描述 |
|---|---|
| 连接 | |
| 析取 | |
| 求反 |