type traits是C++中用于编译期类型判断与转换的模板工具，定义于<type_traits>头文件。1. 可判断类型属性，如std::is_integral<T>检测是否为整型；2. 支持类型转换，如std::remove_const去除const修饰；3. 实现条件类型选择，如std::enable_if控制函数模板启用；4. 结合if constexpr实现编译期分支，提升泛型代码效率；5. 允许自定义trait，如is_string_like识别字符串类型。它们是现代C++静态多态和高效泛型编程的基础。
在C++中，type traits（类型特性）是一组用于在编译期获取和操作类型信息的模板工具。它们属于模板元编程的重要组成部分，主要定义在<type_traits>头文件中。通过type traits，程序员可以在不运行程序的情况下，判断类型的属性、转换类型，甚至根据类型特征选择不同的实现路径。
type traits 的基本用途
type traits 的核心作用是让代码具备“感知”类型能力。例如：
- 判断某个类型是否为整型：
std::is_integral<int>::value - 检查类型是否为指针：
std::is_pointer<T*>::value - 确定类是否有默认构造函数：
std::has_default_constructor<MyClass>::value
这些判断都在编译时完成，不会带来任何运行时开销。
常见 type traits 类型分类
标准库中的 type traits 可大致分为三类：
立即学习“C++免费学习笔记（深入）”；
-
类型判断 trait：如
std::is_fundamental、std::is_class、std::is_enum，用于检测类型的类别。 -
类型转换 trait：如
std::remove_const、std::add_pointer、std::decay，可在编译期对类型进行变换。 -
类型选择 trait：如
std::conditional、std::enable_if，用于根据条件选择类型或启用特定模板。
实际应用场景示例
type traits 常用于泛型编程中，提升代码的安全性和效率。
比如，在函数模板中区分标量和复杂对象处理：
template <typename T>void process(const T& value) {
if constexpr (std::is_arithmetic_v<T>) {
// 数值类型，直接处理
std::cout << "Numeric: " << value << std::endl;
} else {
// 其他类型，调用 toString 或其他方法
std::cout << "Object: " << value.toString() << std::endl;
}
}
这里利用 if constexpr 和 std::is_arithmetic_v 在编译期分支，避免了对非数值类型调用非法操作。
自定义 type traits
除了使用标准库提供的 trait，也可以定义自己的类型特征。例如：
template <typename T>struct is_string_like : std::false_type {};
template <>
struct is_string_like<std::string> : std::true_type {};
template <typename CharT>
struct is_string_like<std::basic_string<CharT>> : std::true_type {};
这样就可以用 is_string_like<T>::value 判断类型是否为字符串类型。
基本上就这些。type traits 是现代 C++ 实现静态多态和高效泛型的基础工具，掌握它们有助于写出更灵活、更安全的模板代码。
