C++中的模板参数推导规则是怎样的？C++函数模板类型推导详解【模板深入】_技术教程

函数模板类型推导基于实参类型与形参声明形式严格匹配，而非猜测；它不依赖返回值或上下文，核心是按规则剥除或保留引用、const等修饰以确定T，理解此机制可避免编译错误并提升泛型代码质量。

函数模板的类型推导不是“猜”，而是有一套严格、可预测的规则——它基于实参的类型（而非返回值或上下文），结合形参的声明形式，按步骤匹配并计算出模板参数的具体类型。理解这些规则，能避免常见编译错误，写出更健壮、更易用的泛型代码。

当调用函数模板时（如 foo(x)），编译器会查看每个实参的类型，并尝试与对应形参的声明形式（含引用、const、指针等修饰）进行模式匹配，从而反推出模板参数 T 的具体类型。

核心原则是：推导只看实参表达式的类型，不看变量名、不看初始化方式、不看后续用法。例如：

形参是否带引用，直接决定是否保留顶层 const/volatile 和是否“剥除”引用 —— 这是最容易混淆的部分。

template void f(T x); → T 推导为“实参类型的顶层 cv 剥离版”
例如：传 const int&，T 是 int；传 const char*，T 是 const char*（*不是* char*，因为 const 在指针所指内容上，不是顶层）
template void f(T& x); → T 推导为“实参类型去掉引用后，保留顶层 const”
例如：传 int → T 是 int；传 const int → T 是 const int；但不能传字面量 42（非常量左值引用不能绑定右值）
template void f(const T& x); → 最通用的“万能引用”形参（实际是常量左值引用）
可接受任意类型实参（左值、const 左值、右值），T 自动推导为不含引用和 const 的基础类型
例如：传 int → T=int；传 const std::string& → T=std::string；传 3.14（右值）→ T=double

数组和函数类型在推导中会被自动“退化”为指针，除非显式使用引用形参保留原类型。

传入数组 int arr[5]：
→ 若形参是 T*，T 推导为 int；
→ 若形参是 T(&)[N]（需配合另一个非类型模板参数），才能完整捕获数组类型和长度
传入函数名（如 func）：
→ 默认退化为函数指针；
→ 要保留函数类型，需形参写成 T(&)(...)
C++11 后引入的 T&&（转发引用）不是简单“右值引用”，而是依赖于实参类型的“折叠规则”：
若实参是 U&，则 T&& 折叠为 U&；
若实参是 U&&，则折叠为 U&&；
这正是 std::forward 和完美转发的基础

某些场景下，编译器无法推导（如形参类型不直接依赖实参，或涉及非推导上下文），就会报错。

非推导上下文包括：
模板参数出现在 typedef、using 别名中；
作为模板模板参数的实参；
在默认模板实参中；
在 sizeof(T)、decltype(...) 等表达式中（除非整个表达式是形参类型的一部分）
C++20 引入 std::type_identity，用于“阻断”推导，强制某形参不参与类型推导，常用于让某个参数由用户显式指定
例如：template void g(std::type_identity_t, T) → 第一个参数不参与推导，第二个才推
也可用空尖括号 f(x) 强制启用推导（即使有默认模板参数），或显式写出 f(x) 绕过推导