模板参数推导是C++中编译器自动确定模板实参的过程，应用于函数模板、类模板（C++17起）和auto变量。函数模板推导时，普通形参T忽略实参的顶层const和引用，T&或const T&保留左值特性，T&&根据实参左右值性推导为T&或T；数组和函数名退化为指针。类模板参数推导（CTAD）依据构造函数参数推导类型，需注意构造函数歧义和可定义推导指引。auto推导规则类似函数模板，但默认不保留顶层const和引用，auto&可保留；初始化列表中auto推导为具体类型，而= {}推导为std::initializer_list。范围for循环推荐使用const auto&避免拷贝。特殊情况包括不支持隐式转换、重载函数名需显式转函数指针，decltype(auto)完全保留表达式类型，模板别名和默认参数不影响推导。掌握这些规则有助于编写高效泛型代码。

在C++中，模板参数推导是编译器自动确定模板实参的过程，广泛应用于函数模板、类模板和auto变量声明。理解其规则有助于写出更清晰、高效的泛型代码。

函数模板的类型推导规则

当调用函数模板时，编译器根据传入的实参自动推导模板参数类型。基本形式如下：

template
void func(T param);
func(expr); // 编译器根据 expr 推导 T

推导过程遵循以下关键规则：

• 若形参为普通类型T param，则expr的顶层const和引用会被忽略，T推导为不含顶层修饰的基础类型
• 若形参为T&或const T&，则保留左值引用特性，T推导出原始类型（保留底层const）
• 若形参为T&&（万能引用），对左值实参推导为T&，对右值推导为T
• 数组或函数名作为实参时，会退化为指针（除非形参是引用）

例如：

立即学习“C++免费学习笔记（深入）”；

int arr[10];
func(arr); // T 推导为 int*，因为数组退化为指针

类模板的参数推导（C++17起）

C++17引入了类模板参数推导（CTAD），允许在构造对象时不显式指定模板参数。

template
struct Pair {
  T first, second;
  Pair(const T& a, const T& b) : first(a), second(b) {}
};
Pair p(1, 2); // T 自动推导为 int

推导依据构造函数参数，类似函数模板。注意：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

• 必须有可用的构造函数参与推导
• 多个构造函数可能导致歧义
• 可自定义推导指引（deduction guides）来控制推导行为

auto的类型推导机制

auto的推导规则与函数模板相同，但不包含顶层const和引用，除非使用auto&或const auto&。

const int x = 10;
auto y = x; // y 是 int，顶层const被丢弃
auto& z = x; // z 是 const int&

对于初始化列表，auto推导为具体类型而非std::initializer_list，而auto配合= {}会推导为std::initializer_list。

在范围for循环中，常使用auto&避免拷贝：

for (const auto& elem : container) // 安全高效遍历

特殊情况与注意事项

模板推导不支持隐式类型转换（如double转int），也不适用于重载函数名作为实参（需显式转换为函数指针）。

当使用decltype(auto)时，类型完全按表达式类型保留，包括引用和const。

模板别名和默认模板参数不影响推导过程，但可能影响最终实例化的类型。

基本上就这些。掌握这些规则能更好利用C++的泛型能力，减少冗余代码。