C++模板函数定义与调用详解

模板函数通过template<typename T>定义，支持泛型编程，可自动推导或显式指定类型，能处理多种数据类型，常用于STL等通用算法。

在C++中，模板函数是一种允许使用泛型类型的函数，可以处理多种数据类型而无需为每种类型单独编写函数。它通过关键字 template 来定义，配合类型参数实现通用性。

模板函数的定义方法

定义模板函数时，先用 template 关键字声明一个或多个类型参数，最常见的是使用 typename T 或 class T（两者在此场景下等价）。

基本语法如下：

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

例如，定义一个能比较两个值大小的模板函数：

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

模板函数的调用方式

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

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

int x = 5, y = 10;
double d1 = 3.14, d2 = 2.99;

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

• 显式指定类型：在调用时明确写出类型。

max<int>(x, y);
max<double>(d1, d2);

显式写法在无法推导或需要强制类型转换时特别有用。

多个模板类型的支持

模板函数也可以支持多个不同类型的参数。

template <typename T, typename U>
auto add(T a, U b) -> decltype(a + b) {
    return a + b;
}

这里使用了尾置返回类型 -> decltype(a + b) 来让返回类型由表达式决定。C++14以后也可直接使用 auto 返回类型：

template <typename T, typename U>
auto add(T a, U b) {
    return a + b;
}

注意事项与限制

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

常见错误包括：

• 将模板函数的声明和定义分离到不同文件导致链接错误。
• 传入不可比较或不支持操作符的类型（如自定义类未重载>）。

如果要用自定义类型，确保该类型支持函数中使用的操作。

基本上就这些。掌握模板函数的定义和调用，是使用C++泛型编程的基础。写法简单，用途广泛，比如STL中的 sort、find 等都是模板函数的实际应用。