C++类型特性查询与操作详解

type traits 是 C++ 编译期类型查询与变换工具，定义于 <type_traits>，通过 std::true_type 或 std::false_type 提供类型属性判断，如 std::is_integral<T> 判断整型、std::is_pointer<T> 判断指针；支持 std::remove_const<T> 去除 const、std::decay<T> 类型退化等变换；结合 SFINAE 与 if constexpr 实现模板重载控制、POD 类型优化、通用算法泛化，提升性能与类型安全，是现代 C++ 泛型编程基石。

type traits 是 C++ 中用于在编译期查询和操作类型信息的一组模板工具，主要定义在头文件 <type_traits> 中。它们让程序员可以在不运行程序的情况下，根据类型的属性进行条件判断、类型转换或选择不同的实现路径，是泛型编程和模板元编程的重要基础。

编译期类型查询

type traits 提供了一系列类模板，每个模板继承自 std::true_type 或 std::false_type，表示某种类型特性是否成立。这些判断在编译期完成，不会产生运行时开销。

• std::is_integral<T>::value —— 判断 T 是否为整型（如 int、char）
• std::is_floating_point<T>::value —— 是否为浮点类型
• std::is_pointer<T>::value —— 是否是指针
• std::is_const<T>::value —— 是否为 const 限定类型
• std::is_class<T>::value —— 是否为类类型
• std::is_constructible<T, Args...>::value —— T 是否能用 Args 构造

这些 trait 可用于 SFINAE 或 if constexpr 控制函数行为。

类型变换与操作

除了查询，type traits 还支持在编译期对类型进行“修改”或“提取”，生成新类型。

• std::remove_const<T>::type —— 去除 const 限定
• std::remove_reference<T>::type —— 去除引用，得到原始类型
• std::add_pointer<T>::type —— 转为指针类型
• std::decay<T>::type —— 模拟函数参数退化（去引用、去 cv 限定、数组转指针）
• std::enable_if<Condition, T>::type —— 条件启用模板（SFINAE 关键）

例如：std::decay<int&>::type 结果是 int，常用于通用函数模板中标准化参数类型。

实际应用场景

type traits 的典型用途包括：

• 优化函数实现：对 POD 类型使用 memcpy，非 POD 使用构造函数
• 重载控制：通过 enable_if 约束模板参数，避免歧义重载
• 容器与算法泛化：标准库中 vector、algorithm 等广泛使用 traits 判断类型能力
• 反射式编程：结合 constexpr 和 if constexpr，实现类似“编译期 if-else”逻辑

比如写一个通用打印函数，可用 if constexpr(std::is_arithmetic_v<T>) 区分数值与字符串处理方式。

基本上就这些。type traits 让 C++ 模板更智能，在编译期做出决策，既提升性能又增强类型安全。掌握它，是深入现代 C++ 的必经之路。