type traits 是编译期类型查询工具，通过模板特化实现类型属性判断，如 std::is_integral 判断整型；其原理是主模板定义默认值，特化版本针对特定类型返回具体值；常用于 SFINAE 控制函数重载，例如结合 std::enable_if 限定参数类型；还可优化运行时性能，如对 trivial 类型使用 memcpy；C++11 起标准库提供大量 type traits，C++17 引入 _v 后缀变量模板简化写法，提升可读性与效率。
type traits（类型萃取）是C++模板元编程中的一项核心技术，它允许在编译期获取和操作类型的属性，并根据这些属性选择不同的实现路径。这项技术广泛应用于标准库（如std::enable_if、std::is_integral）以及泛型编程中，帮助我们写出更灵活、更安全的代码。
什么是type traits？
简单来说，type traits 是一组模板类，用于在编
译时查询类型的特性，比如：
- 某个类型是不是整型？
- 是不是指针类型？
- 是否具有默认构造函数？
- 是否可以被 trivially 拷贝？
这些信息在编译期就能确定，type traits 就是提供这种“编译期反射”能力的工具。
例如，std::is_integral 在编译期返回 true，而 std::is_integral 返回 false。这类判断不依赖运行时逻辑，完全由编译器在模板实例化时处理。
type traits 的基本原理
type traits 本质上是模板特化技术的应用。通过为不同类型的模板参数提供特化版本，我们可以返回不同的编译期常量。
举个简单的例子，实现一个判断是否为整型的 trait：
templatestruct is_integral {
static constexpr bool value = false;
};
template
struct is_integral
static constexpr bool value = true;
};
template
struct is_integral
static constexpr bool value = true;
};
// 可继续添加其他整型...
使用方式：
if constexpr (is_integralstd::cout }
这个模式就是标准库中大多数 type traits 的实现基础：主模板定义默认行为，特化版本针对特定类型给出具体值。
常见用途与实际应用
type traits 最常见的用途之一是配合 std::enable_if 实现 SFINAE（Substitution Failure Is Not An Error），从而控制函数模板的参与重载。
例如，我们想写一个只接受整型的函数模板：
templatetypename std::enable_if<:is_integral>::value, void>::type
process(T value) {
std::cout }
C++14 后还可以简化为：
templatestd::enable_if_t<:is_integral>::value>
process(T value) { ... }
另一个典型场景是优化内存操作。比如，对可以 memcpy 的 trivial 类型使用更快的拷贝方式：
if constexpr (std::is_trivially_copyable_vmemcpy(dest, src, sizeof(T));
} else {
new(dest) T(*src);
}
现代C++中的便捷用法
C++11 起，标准库提供了大量开箱即用的 type traits，定义在
-
类型分类：如
is_pointer、is_array、is_function -
类型关系：如
is_same、is_base_of、is_convertible -
类型修改：如
remove_const、add_pointer、decay -
编译期判断：如
conditional、enable_if、void_t
并且从 C++17 开始，大多数 trait 都提供了后缀 _v 的变量模板形式，比如：
std::is_same_v
这大大提升了代码可读性和编写效率。
基本上就这些。掌握 type traits 是深入理解 STL 和编写高质量泛型代码的关键一步。虽然初看有点“元”，但一旦熟悉其模式，就会发现它逻辑清晰且非常强大。
