第29章 模板元编程入门

想象一下，你有一台能在产品出厂前就完成所有复杂计算的机器，这样用户拿到手的产品运行起来就毫无负担。模板元编程（Template Metaprogramming， TMP）就是C++编译器的这台“预计算机器”。它的核心定义是：利用模板特化、递归实例化等机制，在编译期间进行计算和类型操作，生成最终代码的技术。所有计算在程序运行前就已尘埃落定，运行时成本为零。

29.2 编译期计算：整型与类型

模板元编程主要有两类计算对象：整型常量和类型本身。下面的表格清晰地展示了它们的区别与联系：

// 主模板：递归定义
template <unsigned N>
struct Factorial {
    static const unsigned value = N * Factorial::value;
};

// 特化模板：递归终止条件
template<>
struct Factorial<0> {
    static const unsigned value = 1;
};

// 使用
int main() {
    int array[Factorial<5>::value]; // 数组大小为120，在编译期确定
    return 0;
}

29.3 类型计算与萃取（Type Traits）

如果说整型计算是TMP的“算术”，那么类型计算就是它的“逻辑”。标准库在<type_traits>头文件中提供了大量工具。其核心原理是利用模板特化来回答关于类型的问题。

让我们剖析一个简单的自实现`is_pointer`：

// 1. 定义基础类型，用于承载布尔值
template <bool B>
struct bool_constant {
    static constexpr bool value = B;
};
using true_type = bool_constant<true>;
using false_type = bool_constant<false>;

// 2. 主模板：默认不是指针，继承false_type
template <typename T>
struct my_is_pointer : false_type {};

// 3. 特化模板：当T是`U*`时，继承true_type
template <typename U>
struct my_is_pointer : true_type {};

// 使用
bool isIntPtr = my_is_pointer<int*>::value; // true
bool isInt = my_is_pointer<int>::value;   // false

29.4 SFINAE与`std::enable_if`：编译期条件控制

你有时需要根据类型特征，让某个模板“有资格”或“没资格”被使用。这依赖于一个核心规则：替换失败并非错误。当编译器尝试匹配模板时，如果某个候选模板因为类型替换导致无效代码，它会被默默地从重载集中丢弃，而不是报错。

`std::enable_if`是利用SFINAE的经典工具。它是一个模板，只有当其第一个布尔模板参数为`true`时，才包含一个名为`type`的成员类型。

// 1. 仅当T是整数类型时，此函数模板才参与重载
template <typename T>
typename std::enable_if::value, void>::type
process(T t) {
    std::cout << "Processing integral: " << t << std::endl;
}

// 2. 仅当T是浮点类型时，此函数模板才参与重载
template <typename T>
typename std::enable_if::value, void>::type
process(T t) {
    std::cout << "Processing float: " << t << std::endl;
}

process(42);   // 调用第一个，输出"Processing integral: 42"
process(3.14); // 调用第二个，输出"Processing float: 3.14"
// process("hello"); // 编译错误：没有匹配的函数，因为两个enable_if条件都不满足

这里有个隐藏的坑：`std::enable_if`经常用在函数返回类型上，但如果函数返回`void`，语法会有点别扭。C++14的`std::enable_if_t`和别名模板可以简化代码。实际开发中，对于C++17及以上，更推荐使用`if constexpr`进行编译期条件分支，可读性更好。