函数模板是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;
}

在某些情况下需要显式指定模板参数类型，例如当无法自动推导或想强制特定类型转换时：

Quinvio AI

AI辅助下快速创建视频，虚拟代言人

30

查看详情

max<double>(3, 4.5); // 强制使用 double 版本

结合标准库提升实用性

STL 中大量使用函数模板，比如 std::sort、std::find 等算法都基于模板实现，能作用于任意满足条件的类型：

std::vector<int> vec = {3, 1, 4};
std::sort(vec.begin(), vec.end()); // 自动匹配合适的模板版本

只要自定义类型重载了必要的操作符（如 <），就能无缝接入这些泛型算法。

注意事项与限制

模板代码必须在编译时可见，因此通常将定义放在头文件中。另外，模板不会为未调用的类型生成代码，这有助于减少最终可执行文件的体积。需要注意的是，模板错误往往在实例化时才暴露，可能带来较长的编译时间和较难理解的报错信息。

基本上就这些。合理使用函数模板能让代码更简洁灵活，但也要注意不要过度泛化导致可读性下降。