模板函数通过template实现泛型编程，支持自动类型推导与显式指定类型，可重载并特化处理特定类型，提升代码复用性与灵活性。
在C++中，模板函数是实现泛型编程的核心工具之一。它允许我们编写与数据类型无关的通用函数，从而提高代码复用性和灵活性。使用模板函数，可以对多种类型执行相同逻辑，而无需为每种类型单独重写函数。
模板函数的基本语法
定义一个模板函数需要使用 template 关键字，后跟模板参数列表，然后是函数定义。
template <typename T>
T max(T a, T b) {
return (a > b) ? a : b;
}
上面的例子中，typename T 表示T是一个类型占位符，在调用时会被实际类型自动推导替换（如 int、double、string 等）。
也可以使用 class 替代 typename，两者在此场景下等价：
立即学习“C++免费学习笔记（深入）”；
template <class T>
T max(T a, T b) { ... }
如何调用模板函数
模板函数可以在不显式指定类型的情况下被调用，编译器会根据传入参数自动推导类型：
int x = 5, y = 10; double a = 3.14, b = 2.71; <p>int m1 = max(x, y); // 推导为 max<int> double m2 = max(a, b); // 推导为 max<double></p>
当然，也可以显式指定模板类型：
max<double>(x, a); // 显式使用 double 类型版本
这在参数类型不一致但希望统一处理时特别有用。
支持多个模板参数
模板函数可以接受多个类型参数，适用于更复杂的泛型逻辑：
template <typename T, typename U>
auto add(T a, U b) -> decltype(a + b) {
return a + b;
}
这里使用了尾置返回类型 decltype(a + b) 来让返回值类型由两个参数相加的结果决定。C++14 后也可简化为：
template <typename T, typename U>
auto add(T a, U b) {
return a + b;
}
</font>这样就能支持 int + double、float + long 等混合类型运算。
模板函数的重载与特化
你可以为特定类型提供专门的实现——称为模板特化。
// 通用版本
template <typename T>
void print(T value) {
std::cout << "Value: " << value << std::endl;
}
<p>// 全特化：针对 const char<em>
template <>
void print(const char</em> str) {
std::cout << "String: " << str << std::endl;
}</p>当调用 print("hello") 时，会匹配特化版本。注意全特化需在原始模板同一作用域内定义。
此外，函数模板本身也支持重载：
template <typename T> void func(T x); // 版本1 <p>template <typename T> void func(T* x); // 版本2：指针重载</p><p>void func(int x); // 普通函数重载</p>
调用时编译器会根据参数选择最匹配的版本。
基本上就这些。掌握模板函数写法是进入C++高级编程和STL源码理解的关键一步。合理使用模板，能写出高效、安全、可维护的通用代码。不复杂但容易忽略的是类型推导规则和特化语法，建议多写示例加深理解。
