type traits 是 C++ 编译期类型查询与变换工具，定义于 ，通过 std::true_type 或 std::false_type 提供类型属性判断，如 std::is_integral 判断整型、std::is_pointer 判断指针；支持 std::remove_const 去除 const、std::decay 类型退化等变换；结合 SFINAE 与 if constexpr 实现模板重载控制、POD 类型优化、通用算法泛化，提升性能与类型安全，是现代 C++ 泛型编程基石。
type traits 是 C++ 中用于在编译期查询和操作类型信息的一组模板工具，主要定义在头文件 <type_traits></type_traits> 中。它们让程序员可以在不运行程序的情况下，根据类型的属性进行条件判断、类型转换或选择不同的实现路径，是泛型编程和模板元编程的重要基础。
编译期类型查询
type traits 提供了一系列类模板，每个模板继承自 std::true_type 或 std::false_type，表示某种类型特性是否成立。这些判断在编译期完成，不会产生运行时开销。
-
std::is_integral<t>::value</t>—— 判断 T 是否为整型（如 int、char） -
std::is_floating_point<t>::value</t>—— 是否为浮点类型 -
std::is_pointer<t>::value</t>—— 是否是指针 -
std::is_const<t>::value</t>—— 是否为 const 限定类型 -
std::is_class<t>::value</t>—— 是否为类类型 -
std::is_constructible<t args...>::value</t>—— T 是否能用 Args 构造
这些 trait 可用于 SFINAE 或 if constexpr 控制函数行为。
类型变换与操作
除了查询，type traits 还支持在编译期对类型进行“修改”或“提取”，生成新类型。
立即学习“C++免费学习笔记（深入）”；
常用类型变换 trait：
-
std::remove_const<t>::type</t>—— 去除 const 限定 -
std::remove_reference<t>::type</t>—— 去除引用，得到原始类型 -
std::add_pointer<t>::type</t>—— 转为指针类型 -
std::decay<t>::type</t>—— 模拟函数参数退化（去引用、去 cv 限定、数组转指针） -
std::enable_if<condition t>::type</condition>—— 条件启用模板（SFINAE 关键）
例如：std::decay<int>::type</int> 结果是 int，常用于通用函数模板中标准化参数类型。
实际应用场景
type traits 的典型用途包括：
-
优化函数实现：对 POD 类型使用
memcpy，非 POD 使用构造函数 -
重载控制：通过
enable_if约束模板参数，避免歧义重载 - 容器与算法泛化：标准库中 vector、algorithm 等广泛使用 traits 判断类型能力
- 反射式编程：结合 constexpr 和 if constexpr，实现类似“编译期 if-else”逻辑
比如写一个通用打印函数，可用 if constexpr(std::is_arithmetic_v<t>)</t> 区分数值与字符串处理方式。
基本上就这些。type traits 让 C++ 模板更智能，在编译期做出决策，既提升性能又增强类型安全。掌握它，是深入现代 C++ 的必经之路。
