模板函数通过template<typename T>定义，支持泛型编程，可自动推导或显式指定类型，能处理多种数据类型，常用于STL等通用算法。
在C++中，模板函数是一种允许使用泛型类型的函数，可以处理多种数据类型而无需为每种类型单独编写函数。它通过关键字 template 来定义，配合类型参数实现通用性。
模板函数的定义方法
定义模板函数时，先用 template 关键字声明一个或多个类型参数，最常见的是使用 typename T 或 class T（两者在此场景下等价）。
基本语法如下：
template <typename T>
返回类型 函数名(参数列表) {
// 函数体
}
例如，定义一个能比较两个值大小的模板函数：
立即学习“C++免费学习笔记（深入）”；
template <typename T>
T max(T a, T b) {
return (a > b) ? a : b;
}
模板函数的调用方式
模板函数可以在调用时自动推导类型，也可以显式指定类型。
- 自动类型推导：编译器根据传入参数的类型自动确定T的类型。
int x = 5, y = 10; double d1 = 3.14, d2 = 2.99; int m1 = max(x, y); // T 被推导为 int double m2 = max(d1, d2); // T 被推导为 double
- 显式指定类型：在调用时明确写出类型。
max<int>(x, y); max<double>(d1, d2);
显式写法在无法推导或需要强制类型转换时特别有用。
多个模板类型的支持
模板函数也可以支持多个不同类型的参数。
template <typename T, typename U>
auto add(T a, U b) -> decltype(a + b) {
return a + b;
}
这里使用了尾置返回类型 -> decltype(a + b) 来让返回类型由表达式决定。C++14以后也可直接使用 auto 返回类型：
template <typename T, typename U>
auto add(T a, U b) {
return a + b;
}
注意事项与限制
模板函数的定义通常要放在头文件（.h 或 .hpp）中，因为编译器需要在编译时看到完整的函数模板才能实例化具体类型。
常见错误包括：
- 将模板函数的声明和定义分离到不同文件导致链接错误。
- 传入不可比较或不支持操作符的类型（如自定义类未重载
>）。
如果要用自定义类型，确保该类型支持函数中使用的操作。
基本上就这些。掌握模板函数的定义和调用，是使用C++泛型编程的基础。写法简单，用途广泛，比如STL中的 sort、find 等都是模板函数的实际应用。
