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 可以让错误在接口匹配阶段就被拦截，或者根据类型精准分发到不同的实现版本。