C++ 模板函数使用与调用详解

模板函数通过template关键字实现泛型编程，支持自动类型推导和多类型参数；需在头文件中定义，确保操作符支持以避免编译错误。

在C++中，模板函数是一种通用函数，能够处理多种数据类型而无需为每种类型单独编写函数。它通过使用关键字template和类型参数来实现泛型编程。

模板函数的定义

定义模板函数时，先用template关键字声明一个或多个类型参数，最常见的是使用T作为占位符类型名。

基本语法如下：

template 
返回类型 函数名(参数列表) {
    // 函数体
}

其中typename也可以替换为class，两者在此上下文中等价。

例如，定义一个求两个值中较大值的模板函数：

template 
T max(T a, T b) {
    return (a > b) ? a : b;
}

模板函数的调用

模板函数可以在调用时自动推导类型，也可以显式指定类型。

自动类型推导： 编译器根据传入的参数类型自动确定T的实际类型。

int x = 5, y = 10;
double d1 = 3.14, d2 = 2.71;
int m1 = max(x, y);      // T 被推导为 int
double m2 = max(d1, d2); // T 被推导为 double

显式指定类型： 在调用时手动指定模板参数。

char c = max('a', 'z'); // 显式指定 T 为 char

多个类型参数的模板函数

模板函数也可以接受多个类型参数，适用于不同类型之间的操作。

template 
void printPair(T a, U b) {
    std::cout << "First: " << a << ", Second: " << b << std::endl;
}

调用示例：

printPair(42, "Hello");   // T=int, U=const char*
printPair(3.14, true);    // T=double, U=bool

注意事项与限制

模板函数的定义通常需要放在头文件（.h 或 .hpp）中，因为编译器在实例化模板时需要看到完整的函数定义。

确保传入的类型支持函数中使用的操作，比如上面的max函数要求类型支持>比较操作。

如果传入自定义类，需重载相应运算符，否则会编译错误。

基本上就这些。模板函数让代码更通用、减少重复，是C++泛型编程的基础。