traits编程技法

C++ traits 是一种强大的编程技术，用于获取编译时类型信息或执行特定于类型的计算。它们提供了一种静态类型检查的方法，常用于模板编程、元编程以及类型安全的设计模式中。Traits 主要用于以下目的：

1. **类型检测**：traits 可以帮助你在编译时确定某个类型是否支持某种操作，比如是否有特定成员函数、是否为标准库中的特定类型等。

2. **参数化选择**：根据类型的不同动态选择行为，例如选择不同算法的实现，或者为不同类型的容器提供适配器。

3. **类型转换**：traits 有时用来提供类型转换的工具，如 `std::enable_if`，确保只有当条件满足时才启用某些代码。

4. **类型增强**：增加对类型特性的描述，比如获取类型大小、指针类型、引用类型等。

`std::integral_constant` 和 `std::is_*`（如 `std::is_arithmetic`, `std::is_same`）是 C++11 引入的一些基本 traits 类型。更复杂的 traits 可能涉及到自定义模板类，比如 Boost 框架中的 `boost::mpl` 或现代 C++ 标准库中的 `<type_traits>`。

使用 traits 的一个常见示例是模板元编程，例如计算两个类型之间的最大公因子：

template <typename T, typename U>
struct gcd_t {
    static_assert(std::is_integral<T>::value && std::is_integral<U>::value,
                  "gcd only works on integral types");
    // 使用 traits 获取类型信息并进行计算
    // ...
};

// 实例化 gcd 对整数类型
template <int A, int B>
using gcd = gcd_t<int, int>;