董云舟1. 为什么要用函数模板：从代码复用到类型安全
1.1 没有模板之前，我们是怎么解决“同逻辑不同类型”的
先说一个我自己的真实经历。几年前给内部工具库加一个“取两个数较大值”的功能，需求描述就一句话：给两个同类型的数，返回较大的那个。当时第一反应是写两个重载函数，int 和 double 各来一份，不到半小时就交差了。结果第二天使用者就提了新需求——自定义的 Money 类也要支持。我默默又补了一个重载。到第三次，来了个字符串比较的需求，我猛然发现自己在无穷无尽的重载里越陷越深。
那时候最流行的替代方案其实是宏定义：
cpp复制#define MAX(a, b) ((a) > (b) ? (a) : (b))
宏定义确实能“适配任意类型”，因为它本质是文本替换。但它有两个特别要命的坑。其一，没有类型检查，传一个 int 和一个 double 进去，编译器不会拦，运行时发生隐式转换，结果往往和预期不符。其二，如果实参带副作用，比如 MAX(i++, j++)，宏展开后 i++ 会被求值不止一次，这在多线程或复杂逻辑里就是地雷。
函数重载呢，倒是类型安全了，但代码膨胀问题非常明显。每个类型都得维护一版，逻辑一模一样，只是签名不同。更要命的是，如果以后要修改算法内部细节，比如把“大于”改成“大于等于”，你得把所有重载版本都改一遍，漏改一个就是bug。
1.2 函数模板的基本形态与关键语法
函数模板要解决的就是这个“算法与类型解耦”的问题。它把你真正关心的逻辑抽出来，把类型当成一个可替换的参数。初次见到函数模板，形态是这样的：
cpp复制template<typename T>
T maxOf(const T& a, const T& b) {
return a > b ? a : b;
}
template 是声明模板的关键字，<typename T> 表示接下来用到 T 的地方是一个模板参数，typename 在这里的意思是“类型名”，你也可以写成 class T，效果完全一样，typename 是C++98标准发布后更推荐的说法。
一个非常重要的认知：函数模板本身不是函数，它只是一个生成函数的“模具”。你不用它的时候，它只是一段文本；只要你在代码里调用 maxOf(1, 2)，编译器就会用 int 替换掉 T，生成一个真正的 int maxOf(const int&, const int&) 函数，这个过程叫实例化。用几个不同参数类型调用，就会生成几个不同的真实函数。
我在实际项目里更推荐用 const T& 作为模板函数的形参，尤其是处理字符串、容器这种拷贝成本高的类型时，能省下一大笔开销。不过要注意，const T& 传参时模板参数推导不会发生类型退化，这一点我们第二章细说。
1.3 模板参数不只“类型”一种
很多初学者以为模板参数就是 typename T，实际模板参数有三类：
| 类型 | 语法 | 典型用途 |
|---|---|---|
| 类型模板参数 | template<typename T> |
最常用，T可以是任意类型 |
| 非类型模板参数 | template<int N> |
编译期常量，比如数组长度、维度 |
| 模板模板参数 | template<template<typename> class C> |
接收一个模板作为参数，比如让用户指定用vector还是list |
非类型模板参数是我后来才真正重视的。写 std::array<T, N> 时那个 N 就是非类型模板参数。它最大的价值是把“编译期就知道的值”直接固化到类型系统里，而不是运行时才知道。比如实现一个编译期定长的字符串缓冲区，用非类型模板参数指定容量非常方便：
cpp复制template<std::size_t Capacity>
class FixedBuffer {
char data_[Capacity];
public:
std::size_t capacity() const { return Capacity; }
};
模板模板参数相对少见，但阅读STL实现时会遇到，比如分配器的设计就大量使用。对大多数业务开发者来说，理解前两类足够应付绝大多数场景。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 模板实参推导：编译器是怎么“猜”出类型的
2.1 推导的基本规则与类型退化
maxOf(1, 2) 中 T 被推导为 int，maxOf(1.0, 2.0) 中 T 被推导为 double。这些看起来简单的推导背后有一条重要的规则：模板实参推导不做隐式转换匹配。如果你写 maxOf(1, 2.0)，编译器会直接报错，因为第一个参数推导出 T 是 int，第二个推导出 T 是 double，冲突了。这跟普通函数调用完全不同，普通函数会把 int 隐式转成 double，模板不会。
比“不做