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