C++函数模板允许我们编写适用于多种类型的通用函数，在调用函数模板时，编译器会根据传入的实参自动推导模板参数的类型，这个过程就是模板参数推导。理解推导规则和流程，是正确使用函数模板的基础。
函数模板推导的基本流程
当调用一个函数模板时，编译器首先会收集所有传入的实参，然后逐一匹配函数模板的形参，尝试从实参的类型中推导出对应的模板参数类型。如果所有模板参数都能成功推导，且推导结果一致，就会生成一个对应的实例化函数；如果推导失败或者推导结果冲突，就会触发编译错误。
比如我们有一个简单的函数模板：
// 简单的函数模板，打印参数值
template <typename T>
void print_value(T value) {
std::cout << value << std::endl;
}
当我们调用print_value(10)时，编译器看到实参是int类型的10，就会推导出T为int，生成对应的void print_value(int value)函数实例。
不同类型形参的推导规则
普通值类型形参
如果形参是普通的值类型（非引用、非指针），那么推导时会忽略实参的顶层const属性，同时数组和函数类型会被退化为对应的指针类型。
看下面的例子：
#include <iostream>
#include <type_traits>
template <typename T>
void test_normal(T param) {
std::cout << "T的类型是否为const int: " << std::is_same<T, const int>::value << std::endl;
std::cout << "T的类型是否为int: " << std::is_same<T, int>::value << std::endl;
}
int main() {
const int a = 10;
test_normal(a); // 实参是const int，推导T为int，顶层const被忽略
int arr[5] = {0};
test_normal(arr); // 数组退化为指针，推导T为int*
return 0;
}
引用类型形参
如果形参是左值引用类型T&，那么推导时会保留实参的顶层const属性，数组和函数类型不会退化。
template <typename T>
void test_lref(T& param) {
std::cout << "T的类型是否为const int: " << std::is_same<T, const int>::value << std::endl;
}
int main() {
const int b = 20;
test_lref(b); // 推导T为const int，顶层const保留
int arr2[3] = {0};
test_lref(arr2); // 数组不退化，推导T为int[3]
return 0;
}
如果是右值引用形参T&&，当实参是左值时，T会被推导为左值引用类型，这也就是万能引用的推导逻辑。
指针类型形参
如果形参是指针类型T*，推导时会从实参的指针类型中提取出指向的类型作为T，同样会忽略顶层const。
template <typename T>
void test_ptr(T* param) {
std::cout << "T的类型是否为int: " << std::is_same<T, int>::value << std::endl;
}
int main() {
int c = 30;
const int* p = &c;
test_ptr(p); // 推导T为const int，指针指向的const保留
return 0;
}
多个模板参数的推导规则
如果函数模板有多个模板参数，那么每个模板参数都需要能从对应的实参中推导出来，而且推导结果必须一致，否则会编译失败。
比如下面的模板：
template <typename T, typename U>
void test_multi(T a, U b) {
std::cout << typeid(T).name() << " " << typeid(U).name() << std::endl;
}
调用test_multi(1, 2.5)时，T推导为int，U推导为double，结果一致，没有问题。但如果模板写成template <typename T> void test_multi(T a, T b)，调用test_multi(1, 2.5)时，T既要推导为int又要推导为double，结果冲突，就会编译错误。
推导失败的常见场景
推导失败通常发生在实参类型和形参类型无法匹配，或者模板参数无法从实参中获取的情况。比如函数模板的模板参数没有出现在函数的形参列表中，就无法通过函数调用推导该参数：
template <typename T, typename U>
U add(T a, T b) { // U没有出现在形参中，无法推导
return a + b;
}
int main() {
add(1, 2); // 编译错误，无法推导U的类型
return 0;
}
这种情况下需要显式指定模板参数，比如add<int, int>(1, 2)才能正常编译。
总结
C++函数模板的参数推导核心是编译器根据实参类型和形参类型的匹配关系，逆推出模板参数的具体类型。不同类型的形参对应不同的推导规则，普通值类型会忽略顶层const、退化数组和函数，引用类型会保留更多实参属性，指针类型会提取指向的类型。掌握这些规则可以帮助开发者避免模板使用中的常见错误，写出更健壮的泛型代码。