C++ 模板入门：函数模板与类模板

模板本身不是可执行代码，更像一张蓝图。编译器看到 Swap(a, b)，推断 T 是 int，就生成一份处理 int 的函数；看到 Swap(c, d)，再生成一份 double 版本。

2. 实例化：隐式与显式

用不同参数调用模板的过程叫实例化。最常见的是隐式实例化——你只需调用，编译器自动推导类型。

但碰上混用类型的情况，编译器就懵了：

#include <iostream>
using namespace std;

template<class T>
T Add(const T& x, const T& y) {
    return x + y;
}

int main() {
    int a = 1;
    double b = 2.2;
    Add(a, b); // 错误：T 该是 int 还是 double？
    return 0;
}

解决办法有三种：

• 强制类型转换：Add(a, (int)b);
• 多用模板参数：template<class T1, class T2> T1 Add(const T1& x, const T2& y);
• 显式实例化：直接在调用时指定 T。

显式实例化就是给函数名后加尖括号：

Add<int>(a, b); // T 明确为 int，b 被隐式转换为 int

类模板更常用显式实例化，但函数模板在推导失败时也少不了这一招。

类模板

类模板只是在类名前加上模板声明：

template<class T1, class T2, ..., class Tn>
class ClassName {
    // 成员
};

例如，一个简易栈：

#include <iostream>
using namespace std;

template<typename T>
class Stack {
public:
    Stack(size_t capacity = 4) {
        _array = new T[capacity];
        _capacity = capacity;
        _size = 0;
    }
private:
    T* _array;
    size_t _capacity;
    size_t _size;
};

类型用 T 占位，之后可以实例化成 int 栈、double 栈……比 typedef 灵活得多。

与函数模板不同，类模板实例化不能靠隐式推导，因为没有参数可猜类型，必须显式写出：

Stack<int> st1;   // 存储 int 的栈
Stack<double> st2; // 存储 double 的栈

这种显式指定正是类模板的常规用法。