在C++模板元编程中，type_traits是标准库提供的一组编译期类型查询与变换工具，位于头文件<type_traits>。借助它们，我们可以在编译阶段对模板参数进行类型检查，从而写出更安全、更通用的代码。
什么是type_traits
type_traits通过模板结构体向外暴露编译期常量或类型别名。最常见的用法是继承自std::integral_constant，提供value成员表示布尔结果。例如std::is_integral<T>::value在T为整数类型时为true。
基础类型检查示例
下面代码展示如何使用is_integral在编译期断言模板参数必须为整数类型：
#include <type_traits>
#include <iostream>
template <typename T>
void print_if_integer(const T& val) {
// 编译期检查：T必须是整数类型
static_assert(std::is_integral<T>::value, "T must be integral type");
std::cout << "integer value: " << val << std::endl;
}
int main() {
print_if_integer(42); // 正确
// print_if_integer(3.14); // 编译失败
return 0;
}
使用enable_if实现条件重载
有时我们希望根据类型特征提供不同实现，可以用std::enable_if配合函数返回类型。下面例子对整数和浮点类型分别提供处理函数：
#include <type_traits>
#include <iostream>
// 当T为整数类型时启用
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
process(const T& v) {
std::cout << "process integral: " << v << std::endl;
}
// 当T为浮点类型时启用
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
process(const T& v) {
std::cout << "process floating: " << v << std::endl;
}
int main() {
process(10); // 调用整数版本
process(2.5); // 调用浮点版本
return 0;
}
常用trait一览
实际开发中，下面这些类型检查工具最常被用到：
| traits | 作用 |
|---|---|
| is_class<T> | 判断T是否为类类型 |
| is_pointer<T> | 判断T是否为指针 |
| is_same<A,B> | 判断两个类型是否相同 |
| is_base_of<Base,Derived> | 判断继承关系 |
总结
通过type_traits，我们可以在编译期完成类型检查、分支选择与接口约束，这是现代C++模板库的重要基础。结合static_assert与enable_if，能有效减少运行时错误并提升代码可读性。
type_traits模板元编程类型检查修改时间：2026-07-26 05:39:17