函数模板是C++泛型编程核心，通过template定义通用函数，如max(T a, T b)实现类型无关的代码复用；支持多参数模板printPair(T a, U b)和显式实例化max<double>(3, 4.5)；结合STL算法如sort可作用于任意重载操作符的类型；模板定义需在头文件中确保编译时可见，且仅实例化调用过的类型以减小体积，但可能带来复杂报错和编译时间增长。
函数模板是C++泛型编程的核心工具之一，它允许我们编写与数据类型无关的通用函数。通过使用模板，可以避免为不同数据类型重复编写功能相似的函数，提高代码复用性和可维护性。
函数模板的基本语法
定义函数模板使用 template 关键字，后跟模板参数列表和函数定义：
template <typename T>T max(T a, T b) {
return a > b ? a : b;
}
这里的 T 是一个占位符，编译器会在调用时根据实参类型自动推导并生成对应版本的函数。也可以使用 class 替代 typename，两者在此场景下等价。
支持多种类型和显式实例化
函数模板不仅能处理单一类型，还可定义多个模板参数：
立即学习“C++免费学习笔记（深入）”；
template <typename T, typename U>void printPair(T a, U b) {
std::cout << a << ", " << b << std::endl;
}
在某些情况下需要显式指定模板参数类型，例如当无法自动推导或想强制特定类型转换时：
结合标准库提升实用性
STL 中大量使用函数模板，比如 std::sort、std::find 等算法都基于模板实现，能作用于任意满足条件的类型：
std::vector<int> vec = {3, 1, 4};std::sort(vec.begin(), vec.end()); // 自动匹配合适的模板版本
只要自定义类型重载了必要的操作符（如 <），就能无缝接入这些泛型算法。
注意事项与限制
模板代码必须在编译时可见，因此通常将定义放在头文件中。另外，模板不会为未调用的类型生成代码，这有助于减少最终可执行文件的体积。需要注意的是，模板错误往往在实例化时才暴露，可能带来较长的编译时间和较难理解的报错信息。
基本上就这些。合理使用函数模板能让代码更简洁灵活，但也要注意不要过度泛化导致可读性下降。
