模板参数推导结合通用引用和引用折叠实现完美转发，如std::make_unique通过T&&推导实参类型，依据引用折叠规则保持值类别，使std::forward能原样转发参数给目标函数。
在C++中，模板参数推导和引用折叠是理解泛型编程（尤其是完美转发和通用引用）的关键机制。它们共同支撑了现代C++中高效、灵活的接口设计，比如 std::make_unique、std::forward 和各种工厂函数。
模板参数推导规则（Template Argument Deduction）
当编译器根据函数调用的实参自动确定模板参数类型时，就发生了模板参数推导。最常见的场景是函数模板：
templatevoid func(T param);func(42); // T 被推导为 int，param 类型是 intfunc("hello"); // T 被推导为 const char[6]，param 是 const char*
但推导行为会因参数类型的不同而变化。以下是几种常见情况：
值类型（T param）：会忽略顶层 const 和引用，数组和函数会退化为指针。引用类型（T& param）：保留底层 const，不退化数组或函数类型。通用引用（T&& param）：这是最关键的场景，支持引用折叠，并允许实现完美转发。
通用引用（Universal References）与右值引用（Rvalue References）
Scott Meyers 提出“通用引用”这个术语来描述出现在模板和 auto 声明中的 T&&。它既可以绑定左值，也可以绑定右值，具体类型由初始化表达式决定：
立即学习“C++免费学习笔记（深入）”；
templatevoid func(T&& param) { /* param 是通用引用 */ }int x = 42;func(x); // x 是左值 → T 被推导为 int&，param 类型是 int&&（但实际是左值引用）func(42); // 42 是右值 → T 被推导为 int，param 类型是 int&&
注意：只有在模板参数推导发生时，T&& 才是通用引用。像 void func(int&&) 这样的明确右值引用就不是通用引用。
引用折叠规则（Reference Collapsing Rules）
引用折叠是 C++11 引入的核心规则，用于解决“引用的引用”这种非法语法。规则如下：
T&& && → T&&T&& & → T&T& && → T&T& & → T&
简化记忆：只要出现左值引用，结果就是左值引用；只有全是右值引用时，结果才是右值引用。
引用折叠在通用引用和 std::forward 中起关键作用。例如：
templatevoid wrapper(T&& arg) { target(std::forward(arg)); // 保持原始值类别}
当传入左值时，T 被推导为 U&（U 是实际类型），std::forward 返回 U&；传入右值时，T 是 U，std::forward 返回 U&&，从而实现完美转发。
实际应用：完美转发（Perfect Forwarding）
结合模板推导、通用引用和引用折叠，可以实现函数模板将参数原样转发给另一个函数：
template<typename T, typename U>std::unique_ptr make_unique(U&& u) { return std::unique_ptr(new T(std::forward<U>(u)));}
无论 u 是左值还是右值，std::forward 都能正确保留其值类别，调用匹配的构造函数。
基本上就这些。掌握这些规则后，就能理解 STL 中大多数泛型代码的设计原理。
以上就是c++++中的模板参数推导规则_c++ универсальные ссылки与引用折叠的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1489875.html
微信扫一扫 
支付宝扫一扫 
