c++ type_traits是什么 c++模板元编程之类型萃取【进阶】_技术教程

type_traits 是 C++ 编译期类型查询、判断与变换的工具集，定义于，基于模板特化与 SFINAE/concepts 实现，支持类型关系判断、属性查询和类型变换，并可结合 constexpr if 实现清晰的编译期分支。

type_traits 是 C++ 标准库中用于在编译期查询、判断和变换类型的工具集合，定义在头文件里。它不是运行时功能，而是一套基于模板特化与 SFINAE（或 C++20 的 concepts）实现的“类型计算器”，是现代 C++ 模板元编程（TMP）的基础设施。

type_traits 的核心用途：编译期类型决策

它让模板能根据类型特征自动选择不同实现路径，比如：

判断某个类型是否为整型（std::is_integral_v）
检查能否用 =default 默认构造（std::is_default_constructible_v）
去除引用/const/volatile（std::remove_reference_t）
在两个类型间做条件选择（std::conditional_t）

这些判断结果都是 constexpr bool 值或变换后的类型别名，全程发生在编译期，零运行时开销。

常见分类与实用技巧

标准库将 trait 分为几类，实际使用中重点关注以下三组：

类型关系判断：如 std::is_same_v、std::is_base_of_v、std::is_convertible_v。常用于 static_assert 或 enable_if 约束函数模板重载。
类型属性查询：如 std::is_trivially_copyable_v、std::is_nothrow_move_constructible_v。对实现高效容器（如 vector 的 move/copy 分支优化）至关重要。
类型变换（type transformation）：如 std::decay_t（模拟函数传参规则）、std::remove_cvref_t（C++20，去 const volatile reference）、std::common_type_t。它们不判断，而是生成新类型，常用于泛型接口设计。

进阶用法：结合变量模板与 constexpr if（C++17）

C++17 引入 constexpr if 后，type_traits 的使用更直观清晰：

template
auto process(T&& t) {
    if constexpr (std::is_integral_v>) {
        return t * 2; // 整型走这里
    } else if constexpr (std::is_floating_point_v>) {
        return t + 0.5f; // 浮点走这里
    } else {
        static_assert(std::is_pointer_v>, "Only numeric or pointer types supported");
        return reinterpret_cast(t);
    }
}

相比传统 std::enable_if SFINAE 写法，逻辑更线性、错误提示更友好。

自定义 type_trait 的注意事项

若需扩展，推荐用变量模板 + constexpr 函数实现，避免全特化标准 trait（未定义行为）：

用 inline constexpr 变量模板表达布尔属性（如 is_range_v）
用 decltype + 表达式 SFINAE（C++11/14）或 requires（C++20）探测成员或操作符是否存在
优先复用已有 trait 组合，而非从头推导（例如 is_input_iterator 应基于 iterator_traits 和 is_same 构建）

不复杂但容易忽略：所有标准 std::xxx_v 变量模板（如 is_integral_v）都是 C++17 引入的简写，等价于 std::xxx::value，语义一致，推荐优先使用 _v 后缀形式。