VC10中的C++0x特性 Part 2 （3）：右值引用

核心提示： 在 quark(up) 中， T 是 string& ，VC10中的C++0x特性 Part 2 （3）：右值引用(5)，进行替换的话 T&& 就成了 string& && ，在 C++0x 中会折叠（collapse）引用的引用，类型 T&& 有着和传给 quark() 的实参一样的左/

在 quark(up) 中， T 是 string& 。进行替换的话 T&& 就成了 string& && ，在 C++0x 中会折叠（collapse）引用的引用，引用折叠的规则就是“lvalue 引用是传染性的”。 X& &, X& && 和 X&& & 都会被折叠成 X& ，只有 X&& && 会被折叠成 X&& 。因此 string& && 被折叠成 string& 。在模板世界里，那些看起来像 rvalue 引用的东西并不一定真的就是。 因而 quark(up) 被实例化为 quark<string&>() ，进而 T&& 经替换与折叠之后变成 string& 。我们可以调用 Name<T&&>::get() 来验证这个。 同样， quark(down) 被实例化为 quark<const string&>() ，进而 T&& 经替换与折叠之后变成 const string& 。在 C++98/03中，你可能习惯了常量性(constness)隐藏于模板形参中(也就是说可以传 const Foo 对象作实参来调用形参为 T& 的模板函数，就像 T& 会是 const Foo& 一样)，在 C++0x 中，左值属性(lvalueness) 也能隐藏于模板形参中。

那好，这两条特殊规则对我们有什么影响？在 quark() 内部，类型 T&& 有着和传给 quark() 的实参一样的左/右值属性(lvalueness/rvalueness)和常量性。这样 rvalue 引用就能保持住左右值属性和常量性，做到完美转发。

完美转发： std::forward() 和 std::identidy 是怎样工作的

让我们再来看看 outer() :

template <typename T1, typename T2> void outer(T1&& t1, T2&& t2) {
　　　 inner(Forward<T1>(t1), Forward<T2>(t2));
}