C++ 命名要求：TransformationTrait （C++11 起）
一个 TransformationTrait 是一个类模板，它为其模板类型参数提供一个转换。
要求
- 接受一个模板类型参数（额外的模板参数是可选且允许的）
- 转换后的类型是一个可公开访问的嵌套类型，名为
type
标准库
类型修改和转换都满足 TransformationTrait。
以下标准库类模板也满足 TransformationTrait。
| pub | std::tuple_size<std::tuple>(C++11) | 在编译时获取元组的大小 |
| pub | std::tuple_size<std::array>(C++11) | 获取数组的大小 |
| pub | std::tuple_size<std::pair>(C++11) | 获取对的大小 |
| pub | variant_size variant_size_v(C++17) | 在编译时获取变体（variant）替代方案列表的大小 |