什么是 type_traits
在C++中，类型萃取（type_traits）是一种编译时技术，用于在编译期间获取和操作类型的信息。
主要用于泛型编程以及在编译时做出决策。
类型萃取可以帮我们检查和处理类型特性，从而优化代码、避免错误或提高性能。
C++11 引入了 <type_traits> 头文件，其中包含许多内置的类型萃取。下面是一些常见的例子：
std::is_integral<T>：判断类型 T 是否为整数类型。
std::is_floating_point<T>：判断类型 T 是否为浮点数类型。
std::is_pointer<T>：判断类型 T 是否为指针类型。
std::is_reference<T>：判断类型 T 是否为引用类型。
std::is_const<T>：判断类型 T 是否为 const 类型。
std::is_same<T, U>：判断类型 T 和 U 是否相同。
这些类型萃取通常具有一个静态布尔值 value，当类型符合特定条件时，它为 true，否则为 false。