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