c++的 Type Traits （一）-创锋一号

Type Traits 是什么意思？Trait 又是什么？

Trait的字面意思是“特征、特性、特质”。在编程里，它指对“某个类型或对象具备什么性质/能力”的抽象描述。不同语言里这个词的含义差别不小，最常见的是 C++ 的type traits。

C++ 的 type traits（头文件<type_traits>）是一组模板类和变量模板，让你在编译期查询、判断、转换类型的特性，是模板元编程和 SFINAE 的基础设施。大致分三类：

判断类：std::is_integral<T>（T 是整型吗）、std::is_pointer<T>、std::is_same<T, U>、std::is_constructible<T, Args...>
变换类：std::remove_const<T>、std::add_pointer<T>、std::decay<T>、std::conditional<B, T, U>
辅助工具：std::enable_if、std::void_t、std::declval

根据类型特性选择重载：

#include<type_traits>template<typenameT>std::enable_if_t<std::is_integral_v<T>,int>// C++17 写法f(T x){return1;}// 只有 T 是整型时这个函数才存在

语言	Trait 的含义
Rust	定义共享行为的接口（类似 Java interface），同时用作泛型约束，可以带默认方法和关联类型
Scala	类似 Java interface，但可有方法实现和字段，支持 mixin 混入组合
PHP	纯粹的代码复用机制，把一组方法“复制”进使用它的类，解决单继承下的水平复用问题

这个词最早来自 Smalltalk 社区的研究（论文Traits: Composable Units of Behavior），核心思想一致：把“一组特性/行为”抽出来独立描述，再组合到具体类型上。