Modern Effective C++ 条款二十八：理解引用折叠

对通用引用和左值/右值编码的观察意味着对于这个模板

template<typename T>
void func(T&& param);

不管传给param的实参是左值还是右值，模板形参T都会编码。

编码机制是简单的。当左值实参被传入时，T被推导为左值引用。当右值被传入时，T被推导为非引用。（请注意不对称性：左值被编码为左值引用，右值被编码为非引用。）因此：

Widget widgetFactory();   //返回右值的函数
Widget w;                 //一个变量（左值）
func(w);                  //用左值调用func；T被推导为Widget&
func(widgetFactory());    //用右值调用func；T被推导为Widget

上面的两种func调用中，Widget被传入，因为一个是左值，一个是右值，模板形参T被推导为不同的类型，这决定了通用引用成为左值还是右值，也是std::forward的工作基础。

明确在C++中引用的引用是非法的。下面的写法，编译器会报错：

int x;
auto& & rx = x;             //错误！不能声明引用的引用

考虑下，如果一个左值传给接受通用引用的模板函数会发生什么：

template<typename T>
void func(T&& param);       //同之前一样
func(w);                    //用左值调用func；T被推导为Widget&

如果用T推导出来的类型(即Widget&)初始化模板,会得到：

void func(Widget& && param);

引用的引用!

当用一个左值调用 func(w)时，w 是一个已经存在的对象(左值)，编译器会推导出 T 为 Widget&。因此原本的 T&& 实际上变成了 Widget& &&。

当用一个右值调用 func(widgetFactory())时，widgetFactory()返回的是一个临时对象(右值)，编译器会推导出 T 为 Widget。因此，原本的 T&& 变成了 Widget&&。但是编译器没有报错。从item24中了解到因为通用引用param被传入一个左值，所以param的类型应该为左值引用，但是编译器如何把T推导的类型带入模板变成如下的结果，也就是最终的函数签名？

void func(Widget& param);

答案是引用折叠。引用折叠规则有两条核心原则：

（1）左值引用优先：如果参与引用组合中的任一引用为左值引用（&），那么最终结果总是左值引用。

（2）右值引用次之：如果两个引用都是右值引用（&&