type_traits 是 c++ 编译期类型查询、判断与变换的工具集，定义于 ，基于模板特化与 sfinae/concepts 实现，支持类型关系判断、属性查询和类型变换，并可结合 constexpr if 实现清晰的编译期分支。
type_traits 是 C++ 标准库中用于在编译期查询、判断和变换类型的工具集合，定义在 <type_traits></type_traits> 头文件里。它不是运行时功能，而是一套基于模板特化与 SFINAE（或 C++20 的 concepts）实现的“类型计算器”，是现代 C++ 模板元编程（TMP）的基础设施。
type_traits 的核心用途：编译期类型决策
它让模板能根据类型特征自动选择不同实现路径，比如：
- 判断某个类型是否为整型（
std::is_integral_v<t></t>） - 检查能否用
=default默认构造（std::is_default_constructible_v<t></t>） - 去除引用/const/volatile（
std::remove_reference_t<t></t>） - 在两个类型间做条件选择（
std::conditional_t<cond a b></cond>）
这些判断结果都是 constexpr bool 值或变换后的类型别名，全程发生在编译期，零运行时开销。
常见分类与实用技巧
标准库将 trait 分为几类，实际使用中重点关注以下三组：
立即学习“C++免费学习笔记（深入）”；
-
类型关系判断：如
std::is_same_v<t u></t>、std::is_base_of_v<b d></b>、std::is_convertible_v<from to></from>。常用于static_assert或enable_if约束函数模板重载。 -
类型属性查询：如
std::is_trivially_copyable_v<t></t>、std::is_nothrow_move_constructible_v<t></t>。对实现高效容器（如vector的 move/copy 分支优化）至关重要。 -
类型变换（type transformation）：如
std::decay_t<t></t>（模拟函数传参规则）、std::remove_cvref_t<t></t>（C++20，去 const volatile reference）、std::common_type_t<a b></a>。它们不判断，而是生成新类型，常用于泛型接口设计。
进阶用法：结合变量模板与 constexpr if（C++17）
C++17 引入 constexpr if 后，type_traits 的使用更直观清晰：
template<typename T>
auto process(T&& t) {
if constexpr (std::is_integral_v<std::decay_t<T>>) {
return t * 2; // 整型走这里
} else if constexpr (std::is_floating_point_v<std::decay_t<T>>) {
return t + 0.5f; // 浮点走这里
} else {
static_assert(std::is_pointer_v<std::decay_t<T>>, "Only numeric or pointer types supported");
return reinterpret_cast<uintptr_t>(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<t>::value</t>，语义一致，推荐优先使用 _v 后缀形式。
