函数模板
1. 基本语法
函数模板的定义需以template关键字开头，后跟模板参数列表，语法格式如下：
代码语言：javascript
AI代码解释
template<typename T1, typename T2, ..., typename Tn> 返回值类型 函数名(参数列表) { // 函数体（使用模板参数T1、T2...作为类型） }- 关键字说明：
typename用于声明模板参数类型，也可替换为class，二者在模板参数中完全等价（不能用**struct（class和strcut的区别之一）**）； - 模板参数：可声明多个参数（如
T1、T2），适配多类型参数的函数场景。
【示例】：通用交换函数
代码语言：javascript
AI代码解释
template<typename T> void Swap(T& a, T& b) { T temp = a; a = b; b = temp; }2. 核心原理：编译期实例化
函数模板本身不会生成可执行代码，编译器在编译时会根据调用方式，推导模板参数类型并生成具体函数：
- 调用
Swap(1, 2)时，推导T为int，生成Swap<int>函数； - 调用
Swap(3.14, 5.20)时，推导T为double，生成Swap<double>函数； - 每个类型对应的函数是独立的，编译后会生成多个不同类型的目标代码。
3. 实例化方式
函数模板支持两种实例化方式，满足不同使用场景：
隐式实例化：编译器根据实参类型自动推导模板参数，无需手动指定（常用）；
代码语言：javascript
AI代码解释
template<class T> T Add(const T& a, const T& b) { return a + b; } int main() { Add(1, 2); // 隐式推导T为int Add(1.0, 2.0); // 隐式推导T为double }显式实例化：手动指定模板参数类型，强制编译器生成对应版本，适用于参数类型不一致的场景；
代码语言：javascript
AI代码解释
Add<int>(1, 2.5); // 强制T为int，2.5隐式转换为int【错误用法】
【正确用法】
1、显式实例化
2、多参数匹配
4. 模板参数匹配原则
当存在非模板函数与模板函数同名时，编译器遵循以下匹配规则：
- 优先匹配完全一致的非模板函数（有现成的菜吃现成的）；
- 若模板能生成更匹配的版本（非模版函数参数不匹配），则选择模板（现成的不好吃，不如吃自己做的）；
- 模板函数不支持自动类型转换，普通函数支持隐式类型转换。
【示例】：匹配规则演示
代码语言：javascript
AI代码解释
// 非模板函数 int Add(int a, int b) { return a + b; } // 函数模板 template<class T> T Add(T a, T b) { return a + b; } int main() { Add(1, 2); // 匹配非模板函数 Add(1, 2.0); // 匹配模板，生成Add<int, double> }
