模板参数推导是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变量声明。理解其规则有助于写出更清晰、高效的泛型代码。
函数模板的类型推导规则
当调用函数模板时，编译器根据传入的实参自动推导模板参数类型。基本形式如下：
templatevoid func(T param);
func(expr); // 编译器根据 expr 推导 T
推导过程遵循以下关键规则：
- 若形参为普通类型
T param，则expr的顶层const和引用会被忽略，T推导为不含顶层修饰的基础类型 - 若形参为
T&或const T&，则保留左值引用特性，T推导出原始类型（保留底层const） - 若形参为
T&&（万能引用），对左值实参推导为T&，对右值推导为T - 数组或函数名作为实参时，会退化为指针（除非形参是引用）
例如：
int arr[10];func(arr); // T 推导为 int*，因为数组退化为指针
类模板的参数推导（C++17起）
C++17引入了类模板参数推导（CTAD），允许在构造对象时不显式指定模板参数。
templatestruct Pair {
T first, second;
Pair(const T& a, const T& b) : first(a), second(b) {}
};
Pair p(1, 2); // T 自动推导为 int
推导依据构造函数参数，类似函数模板。注意：
- 必须有可用的构造函数参与推导
- 多个构造函数可能导致歧义
- 可自定义推导指引（deduction guides）来控制推导行为
auto的类型推导机制
auto的推导规则与函数模板相同，但不包含顶层const和引用，除非使用auto&或const auto&。
auto y = x; // y 是 int，顶层const被丢弃
auto& z = x; // z 是 const int&
对于初始化列表，auto推导为具体类型而非std::initializer_list，而auto配合= {}会推导为std::initializer_list。
在范围for循环中，常使用auto&避免拷贝：
特殊情况与注意事项
模板推导不支持隐式类型转换（如double转int），也不适用于重载函数名作为实参（需显式转换为函数指针）。
当使用decltype(auto)时，类型完全按表达式类型保留，包括引用和const。
模板别名和默认模板参数不影响推导过程，但可能影响最终实例化的类型。
基本上就这些。掌握这些规则能更好利用C++的泛型能力，减少冗余代码。
