4. 模板元编程基础：函数模板与类模板、模板特化与偏特化、变参模板、SFINAE原则

模板元编程，说白了就是让编译器替你干活。我刚开始接触那会儿，觉得这东西玄乎得很——代码还能在编译期执行？后来踩过几次坑才明白，它其实就是C++给我们的一个“编译期计算”能力。今天咱们就把这块硬骨头啃下来。

4.1 函数模板与类模板

先说说函数模板。你想想看，如果我要写一个交换两个变量的函数，难道要为int、double、string各写一遍？太傻了。模板就是干这个的。

template<typename T>
void mySwap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

调用的时候，编译器会自动推导类型。我个人习惯把模板参数名起得有意义些，别老用T、U，项目大了根本看不懂。

类模板也类似，但有个区别——类模板不能自动推导类型参数，必须显式指定。我在项目中遇到过有人把类模板当函数模板用，结果编译报错半天找不出原因。

template<typename T>
class Stack {
private:
    std::vector<T> data;
public:
    void push(const T& val) { data.push_back(val); }
    T pop() { 
        T val = data.back();
        data.pop_back();
        return val;
    }
};

// 使用必须显式指定类型
Stack<int> intStack;

4.2 模板特化与偏特化

模板不是万能的。有时候通用模板处理不了某些特殊类型，这时候就需要特化。说白了就是“开小灶”。

全特化：给某个具体类型单独写一份实现。

// 通用模板
template<typename T>
class TypePrinter {
public:
    void print() { std::cout << "Unknown type" << std::endl; }
};

// 全特化：针对int
template<>
class TypePrinter<int> {
public:
    void print() { std::cout << "Integer type" << std::endl; }
};

偏特化：只针对部分模板参数做特殊处理。注意，函数模板不支持偏特化，只有类模板可以。嗯，这里要注意——很多人在这上面栽跟头。

// 偏特化：针对指针类型
template<typename T>
class TypePrinter<T*> {
public:
    void print() { std::cout << "Pointer type" << std::endl; }
};

4.3 变参模板

C++11引入的变参模板，让我写代码舒服多了。以前要实现一个任意参数的函数，得写一堆重载。现在一个模板搞定。

// 递归终止函数
void print() {}

// 变参模板
template<typename T, typename... Args>
void print(const T& first, const Args&... rest) {
    std::cout << first << " ";
    print(rest...);  // 递归展开
}

为什么需要递归终止函数？因为变参模板在编译期会递归展开，直到参数包为空。没有终止函数，编译器就不知道空包怎么处理。

我在项目中常用变参模板实现工厂模式——传入任意参数，构造对应类型的对象。代码量直接减半。

template<typename T, typename... Args>
std::shared_ptr<T> createObject(Args&&... args) {
    return std::make_shared<T>(std::forward<Args>(args)...);
}

4.4 SFINAE原则

SFINAE，全称是“Substitution Failure Is Not An Error”。翻译过来就是“替换失败不是错误”。这名字起得挺绕，说白了就是：编译器在匹配模板时，如果某个模板实例化失败，不会直接报错，而是继续尝试其他匹配。

为什么会这样？因为C++的设计哲学是“尽可能找到最佳匹配”。如果第一个模板不行，编译器会看看有没有别的模板能用。

// 只对整数类型启用
template<typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
process(T val) {
    std::cout << "Processing integer: " << val << std::endl;
}

// 只对浮点类型启用
template<typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
process(T val) {
    std::cout << "Processing float: " << val << std::endl;
}

调用process(42)时，编译器会尝试匹配第一个模板——is_integral<int>为true，成功。第二个模板的is_floating_point<int>为false，替换失败——但没关系，编译器不会报错，只是跳过它。

知识体系总览

下面这张图把本章的核心脉络串起来了。你对照着看，应该能更清楚各个知识点之间的关系。

模板元编程这块内容，说白了就是“用类型做计算”。刚开始会觉得抽象，但用多了就会发现——它能让你的代码更通用、更安全。我个人建议先从函数模板和类模板入手，再逐步尝试特化和变参模板。SFINAE可以放后面，等遇到实际需求再学也不迟。

---

公众号:蓝海资料掘金营，微信deep3321