函数模板通过template定义，使代码可复用于多种类型。例如max(T a, T b)可自动推导int或double等类型并生成对应函数实例；支持多类型参数如template<typename T, typename U>实现跨类型操作；需注意模板定义放头文件、操作符支持及特化处理，如字符串比较应特化或使用std::string以避免指针地址误比较，提升代码通用性与安全性。
在C++中，函数模板是一种允许我们编写与数据类型无关的通用函数的方法。通过使用模板，可以为多种类型复用同一套逻辑代码，提高代码的可维护性和灵活性。
函数模板的基本定义
函数模板使用template关键字定义，后面跟着模板参数列表，然后是函数声明和实现。最常见的形式如下：
template <typename T>T max(T a, T b) {
return (a > b) ? a : b;
}
这里typename T表示T是一个待定的数据类型，在调用时由编译器自动推导。你也可以使用class T，两者在模板参数中等价。
函数模板的使用方式
定义好模板函数后，可以在不同类型的变量上调用它，编译器会根据传入的参数类型自动生成对应的函数实例。
立即学习“C++免费学习笔记（深入）”；
例如：
int x = 5, y = 10;double m = 3.14, n = 2.71;
int result1 = max(x, y); // 实例化为 max<int>(int, int)
double result2 = max(m, n); // 实例化为 max<double>(double, double)
大多数情况下，不需要显式指定模板参数类型，编译器能自动推导。但如果需要，也可以这样调用：max<int>(x, y)。
支持多个模板参数或非类型参数
函数模板还可以接受多个类型参数，甚至非类型参数（如整型常量）。
例如，一个交换并打印两个值的函数模板：
template <typename T, typename U>void swapAndPrint(T& a, U& b) {
std::cout << "Before: " << a << ", " << b << std::endl;
T temp = a;
a = static_cast<T>(b);
b = static_cast<U>(temp);
std::cout << "After: " << a << ", " << b << std::endl;
}
这个模板支持不同类型之间的操作，增强了通用性。
注意事项与常见问题
使用函数模板时需要注意以下几点：
- 模板的定义（包括函数体）通常要放在头文件中，因为编译器需要在编译时看到完整定义才能实例化。
- 如果传入的类型不支持函数中使用的操作（如
>
），会在编译时报错。 - 可以为模板提供特化版本，针对特定类型做特殊处理。
例如，对字符串字面量进行比较时，直接使用
max("abc", "def")可能不符合预期，因为会比较指针地址。这时应使用std::string或写特化版本。
基本上就这些。掌握函数模板的定义与使用，能让C++代码更简洁、高效。关键是理解类型推导机制和模板的编译期实例化行为。
