函数模板是C++支持泛型编程的重要特性，它允许开发者定义不依赖具体数据类型的通用函数，通过类型参数化让函数可以处理多种不同的数据类型，减少重复代码的编写。函数模板的核心思想是将函数中的数据类型抽象为参数，在使用时根据实际传入的参数类型自动生成对应类型的函数实例。
函数模板的基本定义语法
函数模板的定义以template关键字开头，后面跟着模板参数列表，模板参数列表中可以包含类型参数和非类型参数，其中类型参数是实现类型参数化的核心。基本的定义格式如下：
// 定义函数模板，T是类型参数
template <typename T>
返回值类型 函数名(参数列表) {
// 函数逻辑，T可以当作普通类型使用
}
其中typename用来声明后面的标识符是类型参数，也可以使用class关键字替代，二者在定义类型参数时没有区别。类型参数T可以在函数的参数列表、返回值类型和函数体中作为普通数据类型使用。
函数模板的使用方法
函数模板的使用分为隐式实例化和显式实例化两种方式，大多数场景下编译器可以自动推导类型参数，不需要手动指定。
1. 隐式实例化使用
当调用函数模板时，编译器会根据传入的实参类型自动推导类型参数T的具体类型，然后生成对应的函数实例，这种方式就是隐式实例化。
#include <iostream>
using namespace std;
// 定义交换两个变量的函数模板
template <typename T>
void swapValue(T &a, T &b) {
T temp = a;
a = b;
b = temp;
}
int main() {
int a = 10, b = 20;
// 编译器根据实参a和b的类型推导T为int，生成int类型的swapValue函数
swapValue(a, b);
cout << "a: " << a << ", b: " << b << endl;
double c = 1.5, d = 2.8;
// 编译器推导T为double，生成double类型的swapValue函数
swapValue(c, d);
cout << "c: " << c << ", d: " << d << endl;
return 0;
}
2. 显式实例化使用
如果编译器无法自动推导类型参数，或者需要明确指定类型参数，可以在调用函数模板时显式指定类型参数的具体类型，格式为函数名<类型>(参数列表)。
#include <iostream>
using namespace std;
// 定义返回两个数中较大值的函数模板
template <typename T>
T getMax(T a, T b) {
return a > b ? a : b;
}
int main() {
// 显式指定T为int类型
int maxInt = getMax<int>(10, 20);
cout << "max int: " << maxInt << endl;
// 显式指定T为double类型
double maxDouble = getMax<double>(3.14, 2.71);
cout << "max double: " << maxDouble << endl;
return 0;
}
多类型参数的函数模板
函数模板可以定义多个类型参数，多个类型参数之间用逗号分隔，这样可以让函数适配更多不同的类型组合场景。
#include <iostream>
using namespace std;
// 定义两个不同类型参数的函数模板，返回两个值的和
template <typename T1, typename T2>
T1 addValue(T1 a, T2 b) {
return a + b;
}
int main() {
// T1推导为int，T2推导为double
int result = addValue(10, 3.5);
cout << "add result: " << result << endl;
return 0;
}
函数模板的注意事项
- 函数模板本身不是函数，它只是编译器生成具体函数的蓝图，只有实例化之后才会生成真正的函数代码。
- 类型参数可以用于函数的返回值、参数和函数体内部，但不能用于定义全局变量。
- 如果函数模板的参数类型推导失败，编译器会报错，此时需要显式指定类型参数或者调整传入的实参类型。
- 函数模板支持重载，可以定义多个同名的函数模板，只要它们的参数列表不同即可。
类型参数化的实现原理
函数模板的类型参数化本质是编译期的代码生成机制。当编译器遇到函数模板的定义时，不会立即生成机器码，而是等到函数模板被实例化时，根据具体的类型参数替换模板中的类型参数，生成对应类型的函数代码。不同的类型参数会生成不同的函数实例，这些实例之间是独立的函数，只是逻辑结构相同。
需要注意的是，函数模板的实例化是在编译阶段完成的，不会增加运行时的性能开销，这也是函数模板相比运行时多态的优势之一。