type_traits在c++模板元编程中用于编译期类型判断和操作，提升代码通用性与安全性。1. 可通过std::is_integral、std::is_pointer等判断类型特性；2. 结合std::enable_if实现条件启用模板函数；3. 使用std::conjunction、std::disjunction、std::negation组合类型特性；4. 支持自定义类型特性，如检测成员函数是否存在。通过这些方式，可实现编译期逻辑选择与类型约束，增强泛型代码的灵活性与安全性。
在C++模板元编程中，type_traits 是一个非常实用的工具集，它可以帮助我们在编译期对类型进行判断和操作。使用 type_traits 可以让代码更通用、更安全，也能根据不同的类型自动选择合适的实现逻辑。
一、基本用法：判断类型的特性
C++ 标准库中的 <type_traits> 提供了很多现成的模板类来检查类型的属性。例如：
-
std::is_integral<T>::value判断是否为整型 -
std::is_pointer<T>::value判断是否为指针类型 -
std::is_floating_point<T>::value是否是浮点数类型 -
std::is_class<T>::value是否是类类型
这些模板都会提供一个静态常量 value，用于在编译期判断某个类型是否满足特定条件。
立即学习“C++免费学习笔记（深入）”；
举个例子，我们可以写一个简单的函数模板，只允许整型调用：
template <typename T>
void foo(T t) {
static_assert(std::is_integral<T>::value, "T must be an integral type");
}这样如果传入的是 float 或者其他非整型类型，编译器就会报错。
二、结合 enable_if 做条件启用
有时候我们希望根据类型特征选择性地启用某些模板函数或类。这时候可以用 std::enable_if 来配合 type_traits 实现条件编译。
比如定义两个重载函数，分别处理整型和浮点类型：
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
process(T value) {
// 处理整型
}
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
process(T value) {
// 处理浮点型
}这种方式可以避免运行时分支判断，所有选择都在编译期完成。
三、组合多个类型特性做复杂判断
有时候我们需要判断多个类型特性是否同时成立，或者取反、任选其一等。type_traits 中也提供了组合工具：
-
std::conjunction<...>类似逻辑与（AND） -
std::disjunction<...>类似逻辑或（OR） -
std::negation<...>类似逻辑非（NOT）
例如判断一个类型是否是整型或枚举类型：
std::disjunction<std::is_integral<T>, std::is_enum<T>>::value
又比如判断是否是一个不是 const 的类类型：
std::conjunction<std::is_class<T>, std::negation<std::is_const<T>>>::value
这种组合方式非常适合在泛型代码中做复杂的类型约束。
四、自定义类型特性
除了标准库提供的，你也可以自己定义类型特性。比如判断某个类型是否有某个成员函数：
template <typename T>
struct has_serialize_method {
private:
template <typename U>
static auto test(int) -> decltype(std::declval<U>().serialize(), std::true_type{});
template <typename U>
static std::false_type test(...);
public:
static constexpr bool value = decltype(test<T>(0))::value;
};然后就可以像这样使用：
if constexpr (has_serialize_method<MyType>::value) {
obj.serialize();
}这类技巧在写高度通用的库代码时特别有用。
基本上就这些了。type_traits 看起来有点“黑科技”，但一旦掌握了基本模式，就能写出更清晰、更灵活的模板代码。关键在于理解每个 trait 的用途，并学会组合它们来表达复杂的类型逻辑。
