通常我们不能将一个右值引用绑定到一个左值上。但是,C++语言在正常的绑定规则之外定义了两个例外规则:
第一个例外规则影响右值引用参数的推断如何进行。当我们将一个左值传递给函数的右值引用参数,且此右值引用指向模板类型参数(如T&&)时,编译器推断模板类型参数为实参的左值引用类型。
第二个例外绑定规则:如果我们间接创建一个引用的引用,则这些引用形成了“折叠”。在所有情况下(除了一个例外),引用会折叠成一个普通的左值类型。在新标准中,折叠规则扩展到右值引用。只在一种特殊情况下引用会折叠成右值引用:右值引用的右值引用。即对于一个给定类型X:
1。X& &、X& &&和X&& &都折叠成类型X&。
2。类型X&& &&折叠成X&&。
这两个规则导致了两个重要结果:
1。如果一个函数参数是一个指向模板类型参数的右值引用(如T&&),则它可以被绑定到一个左值;且
2。如果实参是一个左值,则推断出的模板实参类型将是一个左值引用,且函数参数将被实例化为一个(普通)左值引用参数(T&)。
另外值得注意的是,这两个规则暗示我们:可以将任意类型的实参传递给T&&类型的函数参数。
在实际中,右值引用通常用于两种情况:模板转发其实参或模板被重载。