模板基础：函数模板、类模板、模板参数推导、模板特化与偏特化

模板，说白了就是C++里的「代码生成器」。你写一份逻辑，编译器帮你生成多份不同版本的代码。我刚开始学模板时觉得这玩意儿挺玄乎，后来在项目中写了一个通用容器，才真正体会到它的威力——少写了几百行重复代码。

一、函数模板：让函数不再挑食

先看一个最朴素的场景：你想写一个求最大值的函数。如果只处理int，那很简单。但如果还要处理double、float、甚至自定义类型呢？

嗯，最笨的办法就是每个类型写一个重载。但这样代码会膨胀得很难看。函数模板就是来解决这个问题的。

template <typename T>
T max_value(T a, T b) {
    return (a > b) ? a : b;
}

// 使用
int m1 = max_value(3, 5);          // T 推导为 int
double m2 = max_value(3.14, 2.71); // T 推导为 double

这里的关键是 typename T——它告诉编译器：「T 是一个占位类型，具体是什么你看着办」。编译器会根据实参自动推导出 T 的类型。

二、类模板：给类也装上「万能插头」

函数模板处理的是函数，类模板处理的就是类了。我在项目中写过一个通用的缓存池，就是用类模板实现的——不管你要缓存什么类型的数据，一套代码全搞定。

template <typename T>
class Box {
private:
    T value;
public:
    Box(T v) : value(v) {}
    T get() const { return value; }
    void set(T v) { value = v; }
};

// 使用
Box<int> intBox(42);
Box<std::string> strBox("Hello");

注意看，使用类模板时，必须显式指定模板参数（比如 <int>）。这一点和函数模板不同——函数模板可以自动推导，类模板不行。

template <typename T>
class Box {
    T value;
public:
    T get() const;
};

// 类外定义——必须重新写 template <typename T>
template <typename T>
T Box<T>::get() const {
    return value;
}

三、模板参数推导：编译器替你「猜」类型

函数模板的推导机制，说白了就是编译器根据你传入的实参，反推出模板参数的类型。但这里有几个坑，我踩过不止一次。

实参类型	推导结果	说明
int	T = int	最直接的情况
const int&	T = const int&	引用会被保留
int[5]	T = int*	数组退化为指针
const char*	T = const char*	指针类型直接匹配

为什么会这样？因为模板推导遵循的是「实参类型精确匹配」原则，不会做隐式转换。你传一个 int，它不会自动转成 long。

template <typename T1, typename T2>
auto max_value(T1 a, T2 b) -> decltype(a > b ? a : b) {
    return (a > b) ? a : b;
}

// 现在可以混用类型了
auto result = max_value(3, 4.5); // T1=int, T2=double

四、模板特化：给特殊情况开小灶

模板是通用的，但有时候通用方案对某些类型并不合适。比如你写了一个通用的排序模板，对 int、double 都工作得很好，但遇到 const char* 字符串时，直接比较指针地址显然不对——你需要比较字符串内容。

这时候就需要特化：为特定类型提供专门的实现。

// 通用模板
template <typename T>
bool compare(T a, T b) {
    return a == b;
}

// 全特化：针对 const char*
template <>
bool compare<const char*>(const char* a, const char* b) {
    return strcmp(a, b) == 0;
}

注意 template <> 这个语法——它表示「这是一个特化版本，没有剩余的模板参数了」。

五、偏特化：只锁定部分参数

偏特化是特化的「不完全版本」。它只针对模板参数的某一部分进行定制，而不是全部。偏特化只能用于类模板，函数模板不支持。

// 通用模板
template <typename T, typename U>
class Pair {
    // 通用实现
};

// 偏特化：当两个类型相同时
template <typename T>
class Pair<T, T> {
    // 针对相同类型的优化实现
};

// 偏特化：当第二个参数是指针时
template <typename T, typename U>
class Pair<T, U*> {
    // 针对指针的特殊处理
};

偏特化的语法就是：在类名后面用 <具体模式> 来描述你要匹配的情况。编译器会选择最匹配的特化版本。

六、知识体系总览

下面这张图把模板的核心脉络梳理清楚了。你看一遍，心里就有谱了。

七、避坑与实战建议

模板这东西，看着简单，用起来坑不少。我把自己踩过的坑列出来，你遇到了能少走弯路。

• 模板代码必须放在头文件里——编译器在实例化时需要看到完整定义。放在 .cpp 里会导致链接错误。我刚开始写模板时就被这个坑过，查了半天才发现是链接问题。
• 特化版本要和通用模板在同一个命名空间——否则编译器找不到特化版本，会默默使用通用模板，结果可能完全不对。
• 偏特化不要过度使用——偏特化虽然强大，但写多了代码可读性会下降。我见过一个同事写了七八层偏特化，最后自己都看不懂了。
• 模板参数推导不是万能的——如果推导失败，编译器会报一堆天书般的错误。这时候可以显式指定模板参数来绕过推导。

---