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

核心提示： 如果 inner（）接收 int& 型参数，那就会违法 const 正确性，VC10中的C++0x特性 Part 2 （3）：右值引用(2)，编译都过不了，现在，（ C++0x 的变长模板技术解决了“任意数目”这部分，我们在这里把 N 看做任意数目），你可以重载两个

如果 inner（）接收 int& 型参数，那就会违法 const 正确性，编译都过不了。

现在，你可以重载两个分别带 T& 和 const T& 参数的 outer（），这确实管用。当你调用 outer（）时，就像直接调用 inner（） 一样。

可惜的是，这中方法在多参数的情况下就麻烦了（译注：要写的重载函数太多了）。你就得为每一个参数像 T1& 和 const T1&, T2& 和 const T2& 等这样进行重载，要重载的函数数目呈指数级增长。（VC9 SP1 的 tr1：：bind() 就够让人感到绝望了，它为 5 个参数这么重载出了 63 个函数。如果不这么蛮干的话，没有像这里的长篇累述，我们就很难跟使用者解释为什么不能调用用 1729 这样的 ravlue 做参数的函数。为了产生出这些重载函数使用了令人作呕的预处理机制，恶心到你都不想知道它）。

在 C++98/03 中，转发问题是很严重的，而且本质上无解（必须求助于恶心的预处理机制，这会严重拖慢编译速度，还让代码变得难以阅读）。总算， rvalue 优雅地解决了这个问题。

完美转发： 模式

完美转发让你能简单而清晰地只写一个模板函数就可以转发所有的参数给任意函数，不管它带几个参数，也不管参数类型是什么。而且参数的非常量/常量， lvalue/rvalue 属性都能得以保留，让你可以像使用 inner（） 一样使用 outer（），还可以和 move 语意一起用从而获得额外的好处。（ C++0x 的变长模板技术解决了“任意数目”这部分，我们在这里把 N 看做任意数目）。乍看之下很神奇，实际上很简单：

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

template <typename T> struct Identity {
　　　 typedef T type;
};

template <typename T> T&& Forward(typename Identity<T>::type&& t) {
　　　 return t;
}

void inner(int&, int&) {
　　　 cout << "inner(int&, int&)" << endl;
}

void inner(int&, const int&) {
　　　 cout << "inner(int&, const int&)" << endl;
}

void inner(const int&, int&) {
　 　　cout << "inner(const int&, int&)" << endl;
}

void inner(const int&, const int&) {
　　　 cout << "inner(const int&, const int&)" << endl;
}

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

int main() {
　　　 int a = 1;
　　　 const int b = 2;

　　　 cout << "Directly calling inner()." << endl;

　　　 inner(a, a);
　　　 inner(b, b);
　　　 inner(3, 3);

　　　 inner(a, b);
　　　 inner(b, a);

　　　 inner(a, 3);
　　　 inner(3, a);

　　　 inner(b, 3);
　　　 inner(3, b);

　　　 cout << endl << "Calling outer()." << endl;

　　　 outer(a, a);
　　　 outer(b, b);
　　　 outer(3, 3);

　　　 outer(a, b);
　　　 outer(b, a);

　　　 outer(a, 3);
　　　 outer(3, a);

　　　 outer(b, 3);
　　　 outer(3, b);
}

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

C:Temp>perfect
Directly calling inner().
inner(int&, int&)
inner(const int&, const int&)
inner(const int&, const int&)
inner(int&, const int&)
inner(const int&, int&)
inner(int&, const int&)
inner(const int&, int&)
inner(const int&, const int&)
inner(const int&, const int&)

Calling outer().
inner(int&, int&)
inner(const int&, const int&)
inner(const int&, const int&)
inner(int&, const int&)
inner(const int&, int&)
inner(int&, const int&)
inner(const int&, int&)
inner(const int&, const int&)
inner(const int&, const int&)