如何使用 C++ 函数模板进行类型推导？

函数模板通过类型推导生成通用函数代码，支持自动推导出不同数据类型的类型参数。具体来说：类型推导函数模板从调用参数自动推导出类型参数。通过使用类型推导，可简化代码，避免手动指定类型参数。类型参数名称应与函数模板声明和定义中保持一致。类型参数的数量可以超过一个，用于定义处理多数据类型的函数模板。

如何使用 C++ 函数模板进行类型推导

函数模板

函数模板是一个通用的函数，它可以在编译时为不同的数据类型生成特定的函数代码。这允许我们创建可重用且高效的代码，而无需为每个数据类型编写单独的函数。

类型推导

函数模板可以从调用参数自动推导出其类型参数，这称为类型推导。通过使用类型推导，我们可以避免手动指定类型参数，从而使代码更加简洁。

语法

C++ 函数模板语法如下：

template <class T>  // 模板参数列表，其中 T 为类型参数
T function_name(T parameter) {  // 函数定义，使用类型参数 T
    // 函数体
}

实战案例

考虑以下函数模板，用于求两个数字的最小值：

template <class T>
T min(T a, T b) {
    if (a < b)
        return a;
    else
        return b;
}

类型推导示例：

int x = 10, y = 5;
double u = 3.14, v = 2.71;

// 类型推导出为 int
min(x, y);  // 结果为 5

// 类型推导出为 double
min(u, v);  // 结果为 2.71

注意事项

• 在函数模板声明中使用正确的类型参数名称很重要。例如，以下代码使用不同的名称 U 和 T 而不是一致的 T：

template <class U>  // 第一个类型参数为 U
T function_name(U parameter) {  // 第一个参数类型仍然为 T，这会导致编译错误
    // 函数体
}

• 类型参数可以有多个。例如，以下函数模板定义了一个比较两个对的函数，其中每个对包含两个元素：

template <class T1, class T2>
bool compare_pairs(pair<T1, T2> pair1, pair<T1, T2> pair2) {
    // 函数体
}