C++模版元编程2-编程阁

1. 类型萃取 (Type Traits)

什么是类型萃取？在编写泛型代码（模板）时，T 可以是任何类型。但在某些场景下，我们需要知道 T 到底是什么：

T 是指针吗？
T 是整数吗？
T 有const修饰吗？或者我们需要“修改”它：
把const int变成int。
给类型 T 加上引用。

这种在编译期查询或修改类型属性的技术，就叫类型萃取。

1.1 原理解析：如何“修改”一个类型？

以remove_const（移除 const 属性）为例，展示其实现原理。

// 1. 主模板：默认情况下，什么都不做，直接定义别名 type = T template <typename T> struct remove_const { using type = T; }; // 2. 特化版本：如果传入的是 const T，则提取出 T // 编译器会优先匹配这个更精准的版本 template <typename T> struct remove_const<const T> { using type = T; }; // 使用： remove_const<const int>::type i; // 这里 i 的类型就是 int

通过这种方式，我们在编译期就“剥离”了类型的const外衣。

1.2 标准库中的常用工具

Metaprogramming library (since C++11) - cppreference.com

C++11 在<type_traits>头文件中提供了极其丰富的工具：

检查型（返回 bool）：

- std::is_integral<T>::value：是整数吗？
- std::is_pointer<T>::value：是指针吗？
- std::is_same<T, U>::value：T 和 U 是同一个类型吗？

变换型（返回 type）：

- std::remove_reference<T>::type：移除引用。
- std::add_pointer<T>::type：变成指针。
- std::decay<T>::type：退化（类似传值时的类型变换，如数组退化为指针）。

小贴士：C++14 和 C++17 引入了简化写法，不用每次都写::value或::type。

std::is_integral_v<T>等价于std::is_integral<T>::value
std::remove_const_t<T>等价于std::remove_const<T>::type

1.3 实战案例：根据类型做不同处理

文档提供了一个非常直观的process函数例子。利用类型萃取，我们可以让同一个函数对不同类型做出完全不同的反应。

template<typename T> void process(T value) { // 编译期判断：如果是指针 if constexpr (std::is_pointer_v<T>) { std::cout << "Processing pointer: " << *value << std::endl; } // 编译期判断：如果是整数 else if constexpr (std::is_integral_v<T>) { std::cout << "Processing integer: " << value * 2 << std::endl; } // 其他情况... }

注意：这里使用了if constexpr(C++17)，它保证了只有符合条件的分支会被编译，另一个分支直接被丢弃。如果用普通的if，编译器会尝试编译所有分支，导致*value在 T 为整数时报错。

1.4 进阶应用：STL 迭代器优化 (Iterator Traits)

这是类型萃取最经典的应用之一。文档详细分析了vector的构造优化。

问题：vector可以用两个迭代器区间[first, last)来初始化。
优化点：如果迭代器支持随机访问（如指针），我们可以直接算出距离n = last - first，然后一次性分配好内存（resize）。如果只是普通的链表迭代器，只能一个一个push_back。
解决：使用iterator_traits萃取出迭代器的类型标签 (category)。

- 如果是random_access_iterator_tag，则调用高效版本。
- 否则，调用通用版本。

这展示了 TMP 的强大之处：在不牺牲通用性的前提下，榨干性能。

2. SFINAE —— 失败不是错误，是尝试

SFINAE(Substitution Failure Is Not An Error) 是一个看起来很吓人，但理解后很简单的概念。中文直译：替换失败不是错误。

2.1 核心概念

当你调用一个函数模板时，编译器会尝试用你传入的参数类型去替换模板参数。如果替换后生成的代码在语法上是不合法的（比如让一个没有++运算符的类型执行++），编译器不会直接报错停止编译，而是会静默地忽略这个模板版本，继续去寻找有没有其他合适的重载版本。

2.2`std::enable_if`

SFINAE 最常用的工具是std::enable_if。它允许我们基于类型萃取的结果，有条件地“启用”或“禁用”某个函数模板。

文档案例解析：

我们想实现一个add_one函数：

如果是整数，执行t + 1。
如果是浮点数，执行t + 2.0。
如果是字符串，直接报错（不启用）。

// 版本 1：只对【整数】启用 // 原理：如果 T 不是整数，enable_if_t 内部会替换失败，导致这个函数模板被忽略 template<typename T> typename std::enable_if_t<std::is_integral_v<T>, T> add_one(T t) { return t + 1; } // 版本 2：只对【浮点数】启用 template<typename T> typename std::enable_if_t<std::is_floating_point_v<T>, T> add_one(T t) { return t + 2.0; } int main() { add_one(5); // 匹配版本 1，输出 6 add_one(3.14); // 匹配版本 2，输出 5.14 // add_one("hi"); // 编译报错！因为两个版本都匹配失败（SFINAE），且没有其他备选。 }

为什么这么做？如果不使用enable_if，两个模板可能都会试图匹配，或者在函数体内部才因为类型错误而报错。使用enable_if可以让错误在接口匹配阶段就被拦截，或者根据类型精准分发到不同的实现版本。