模板参数推导结合通用引用和引用折叠实现完美转发，如std::make_unique通过T&&推导实参类型，依据引用折叠规则保持值类别，使std::forward能原样转发参数给目标函数。
在C++中，模板参数推导和引用折叠是理解泛型编程（尤其是完美转发和通用引用）的关键机制。它们共同支撑了现代C++中高效、灵活的接口设计，比如 std::make_unique、std::forward 和各种工厂函数。
模板参数推导规则（Template Argument Deduction）
当编译器根据函数调用的实参自动确定模板参数类型时，就发生了模板参数推导。最常见的场景是函数模板：
template<typename T>
void func(T param);
<p>func(42); // T 被推导为 int，param 类型是 int
func("hello"); // T 被推导为 const char[6]，param 是 const char*</p>但推导行为会因参数类型的不同而变化。以下是几种常见情况：
- 值类型（T param）：会忽略顶层 const 和引用，数组和函数会退化为指针。
- 引用类型（T& param）：保留底层 const，不退化数组或函数类型。
- 通用引用（T&& param）：这是最关键的场景，支持引用折叠，并允许实现完美转发。
通用引用（Universal References）与右值引用（Rvalue References）
Scott Meyers 提出“通用引用”这个术语来描述出现在模板和 auto 声明中的 T&&。它既可以绑定左值，也可以绑定右值，具体类型由初始化表达式决定：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
void func(T&& param) { /* param 是通用引用 */ }
<p>int x = 42;
func(x); // x 是左值 → T 被推导为 int&，param 类型是 int&&（但实际是左值引用）
func(42); // 42 是右值 → T 被推导为 int，param 类型是 int&&</p>注意：只有在模板参数推导发生时，T&& 才是通用引用。像 void func(int&&) 这样的明确右值引用就不是通用引用。
引用折叠规则（Reference Collapsing Rules）
引用折叠是 C++11 引入的核心规则，用于解决“引用的引用”这种非法语法。规则如下：
T&& && → T&&T&& & → T&T& && → T&T& & → T&
简化记忆：只要出现左值引用，结果就是左值引用；只有全是右值引用时，结果才是右值引用。
引用折叠在通用引用和 std::forward 中起关键作用。例如：
template<typename T>
void wrapper(T&& arg) {
target(std::forward<T>(arg)); // 保持原始值类别
}
当传入左值时，T 被推导为 U&（U 是实际类型），std::forward<U&> 返回 U&；传入右值时，T 是 U，std::forward<U> 返回 U&&，从而实现完美转发。
实际应用：完美转发（Perfect Forwarding）
结合模板推导、通用引用和引用折叠，可以实现函数模板将参数原样转发给另一个函数：
template<typename T, typename U>
std::unique_ptr<T> make_unique(U&& u) {
return std::unique_ptr<T>(new T(std::forward<U>(u)));
}
无论 u 是左值还是右值，std::forward 都能正确保留其值类别，调用匹配的构造函数。
基本上就这些。掌握这些规则后，就能理解 STL 中大多数泛型代码的设计原理。
