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

核心提示： 两行！完美转发只用了两行！够简洁吧！这个例子示范了怎么把 t1 和 t2 从 outer（） 透明地转发给 inner（）； inner（） 可以知道它们的非常量/常量， lvalue/ravlue 属性，VC10中的C++0x特性 Part 2 （3）：右值引用(3)，就像inner是被

两行！完美转发只用了两行！够简洁吧！

这个例子示范了怎么把 t1 和 t2 从 outer（） 透明地转发给 inner（）； inner（） 可以知道它们的非常量/常量， lvalue/ravlue 属性，就像inner是被直接调用的那样。

跟 std：：move() 一样， std::identify 和 std::forward() 都是在 C++<utility> 中定义的（ VC10 会有， VC10 CTP中没有）。我将演示怎么来实现它们。（再次，我将交替使用 std::identity 和我的 Identity， std::forward() 和我的 Forward()，因为他们的实现是等价的。）

现在，让我们来揭开“魔术“的神秘面纱，其实它靠的就是模板参数推导和引用折叠(reference collapsing)技术。

rvalue 引用：模板参数推导和引用折叠(reference collapsing)

rvalue 引用与模板以一种特别的方式相互作用。下面是一个示例：

C:Temp>type collapse.cpp
#include <iostream>
#include <ostream>
#include <string>
using namespace std;

template <typename T> struct Name;

template <> struct Name<string> {
　　　 static const char * get() {
　　　　　　　 return "string";
　　　 }
};

template <> struct Name<const string> {
　　　 static const char * get() {
　　　　　　　 return "const string";
　　　 }
};

template <> struct Name<string&> {
　　　 static const char * get() {
　　　　　　　 return "string&";
　　　 }
};

template <> struct Name<const string&> {
　　　 static const char * get() {
　　　　　　　 return "const string&";
　　　 }
};

template <> struct Name<string&&> {
　　　 static const char * get() {
　　　　　　　 return "string&&";
　　　 }
};

template <> struct Name<const string&&> {
　　　 static const char * get() {
　　　　　　　 return "const string&&";
　　　 }
};

template <typename T> void quark(T&& t) {
　　　 cout << "t: " << t << endl;
　　　 cout << "T: " << Name<T>::get() << endl;
　　　 cout << "T&&: " << Name<T&&>::get() << endl;
　　　 cout << endl;
}

string strange() {
　　　 return "strange()";
}

const string charm() {
　　　 return "charm()";
}

int main() {
　　　 string up("up");
　　　 const string down("down");

　　　 quark(up);
　　　 quark(down);
　　　 quark(strange());
　　　 quark(charm());
}

C:Temp>cl /EHsc /nologo /W4 collapse.cpp
collapse.cpp

C:Temp>collapse
t: up
T: string&
T&&: string&

t: down
T: const string&
T&&: const string&

t: strange()
T: string
T&&: string&&

t: charm()
T: const string
T&&: const string&&