函数模板类型推导根据实参自动确定T，如值类型忽略顶层const和引用，引用类型保留const；C++17类模板参数推导（CTAD）通过构造函数参数推导模板类型，支持deduction guide；auto遵循类似规则，但花括号初始化特殊处理；可用std::type_identity_t阻止参数参与推导。
在C++中，模板参数类型推导是编译器根据函数调用时传入的实参自动确定模板参数类型的过程。这一机制广泛应用于函数模板和类模板（尤其是C++17后的类模板参数推导），能够简化代码并提高通用性。
函数模板中的类型推导
当使用函数模板时，编译器会根据传入的函数实参来推导模板参数类型。
例如：
template <typename T>
void foo(T param) { }
int x = 42;
foo(x); // T 被推导为 int
foo(42); // T 被推导为 int
类型推导规则与形参的声明方式有关：
立即学习“C++免费学习笔记（深入）”；
- 值类型 T param：忽略顶层const和引用，实参的const或引用属性不会被保留
- T& param：要求左值引用，T 推导包含const但不包含引用
- const T& param：可绑定到任意类型（包括右值），常用于通用引用场景
- T&& param：万能引用（universal reference），可推导出左值或右值引用类型
例如：
template <typename T>
void bar(T&& param) { }
int i = 0;
bar(i); // T 推导为 int& （左值）
bar(42); // T 推导为 int （右值）
类模板参数推导（C++17起）
C++17引入了类模板参数推导（Class Template Argument Deduction, CTAD），允许在构造对象时不显式指定模板参数。
例如：
template <typename T>
class Vector {
public:
Vector(std::initializer_list<T> list);
};
Vector v = {1, 2, 3}; // T 自动推导为 int
编译器根据构造函数参数推导出模板参数类型。也可以通过定义deduction guide来辅助推导：
template <typename T> Vector(const T&, const T&) -> Vector<T>;
auto 与类型推导
auto 关键字也依赖于模板类型推导规则（除了支持初始化列表）。
例如：
auto x = 42; // x 是 int auto& y = x; // y 是 int& const auto z = x; // z 是 const int auto [a, b] = std::pair(1, 2.0); // C++17结构化绑定，a=int, b=double
注意：auto 的推导类似于函数模板中 T param 的规则，但对花括号初始化有特殊处理。
显式控制推导行为
可以使用 std::type_identity_t 或其他包装来阻止某些参数参与推导：
template <typename T> void func(T a, std::type_identity_t<T> b); // b 不参与推导
这样第一个参数用于推导 T，第二个参数必须匹配已推导出的类型。
基本上就这些常见推导方式。理解这些规则有助于写出更清晰、安全的泛型代码，同时避免因推导失败或误推导导致的编译错误。
