函数模板是C++泛型编程核心，用template定义，支持自动类型推导与显式指定，要求参数类型一致或通过多参数模板适配，运算符需对实际类型有效。
函数模板是C++中实现泛型编程的核心机制，它让同一段逻辑能自动适配多种类型，避免重复写多个相似函数。
基本语法：定义一个函数模板
用 template
templateT max(T a, T b) { return (a > b) ? a : b; }
这里 typename（也可用 class）告诉编译器 T 是一个类型，不是变量或值。
使用方式：编译器自动推导或显式指定
调用时通常无需写明类型，编译器根据实参自动推导：
int x = max(3, 7); // 推导 T 为 int
double y = max(2.5, 1.8); // 推导 T 为 double
char c = max('a', 'z'); // 推导 T 为 char
当无法推导或需强制指定时，可用显式模板实参：
auto z = max(5, 3.14); // 强 制按 double 比较，5 被提升为 5.0
制按 double 比较，5 被提升为 5.0
注意类型一致性与限制
模板函数要求所有同名模板参数位置上的实参类型一致（除非重载或特化）：
-
max(3, 4.5)会报错：T 无法同时是 int 和 double - 若需支持混合类型，可定义两个模板参数：
template（C++11 后支持返回类型后置推导）auto max(T a, U b) -> decltype(a > b ? a : b) - 运算符必须对实际类型有效——比如
max要求类型支持 >；自定义类需重载该运算符才能使用
一个实用小例子：交换两个值
templatevoid swap(T& a, T& b) { T temp = a; a = b; b = temp; } int m = 10, n = 20; swap(m, n); // 编译器生成 int 版本的 swap
标准库中的 std::swap 就是这样工作的。它不依赖具体类型，只要支持拷贝构造和赋值即可。
基本上就这些。写函数模板不复杂，但容易忽略类型约束和推导规则。
