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

核心提示： RemoveReference 机制基本上是复制 C++0x <type_traits> 中的 std::remove_reference ，举例来说，VC10中的C++0x特性 Part 2 （3）：右值引用(8)，RemoveReference<string>:

RemoveReference 机制基本上是复制 C++0x <type_traits> 中的 std::remove_reference 。举例来说，RemoveReference<string>::type , RemoveReference<string&>::type 和 RemoveReference<string&&>::type 都是 string 。

同样， move() 机制也基本上是复制 C++0x <utility> 中的 std::move()。

· 当调用 Move(string), string 是一个 lvalue 时， T 会被推导为 string& ，于是 Move() 接收的就是 string& (经折叠之后)并返回 string&& (经 RemoveReference 之后)。

· 当调用 Move(const string), const string 是一个 lvalue 时， T 会被推导为 const string& ，于是 Move() 接收的就是 const string&& (经折叠之后)并返回 const string&& (经 RemoveReference 之后)。

· 当调用 Move(string), string 是一个 rvalue 时， T 会被推导为 string ，于是 Move() 接收的就是 string&& 并返回 string&& 。

· 当调用 Move(const string), const string 是一个 rvalue 时， T 会被推导为 const string ，于是 Move() 接收的就是 const string&& 并返回 const string&& 。

这就是 Move() 如何保持其参数的类型和常量性，还能把 lvalue 转换成 rvalue 的过程。

回顾

如果你想对 rvalue 引用有更多了 解，你可以去读有关它们的提案。要注意，提案与现在的决定可能已经不同了， rvalue 引用已经被整合到 C++0x 草案中来了，在那里它得到持续的改进。有些提案或已不再正确，或已过时，或已有了替代方案，就没有被采纳。无论怎样，它们还是能提供一些有用信息的。

N1377, N1385, 和 N1690 是主要的提案，N2118 包含被整合进标准草案之前的最后版本。 N1784, N1821, N2377, 和 N2439 记录了“将 Move 语意扩展到 *this ”的演化过程，这个也被整合到 C++0x 中来了，但还没有在VC10 中得到实现。

展望

N2812 “Rvalue 引用的安全问题（以及如何解决）” 提出了对初始化规则的修改，它禁止 rvalue 引用绑定到 lvalue 。 这不会影响 move 语意和完美转发，所以它不会让你刚学到的新技术失效（它只是修改了 std::move() 和 std::forward() 的实现）。

来源：vcblog 作者：Stephan T. Lavavej

系列文章：

VC10中的C++0x特性 Part 1：Lambdas，auto，以及 static_assert

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

VC10中的C++0x特性 part 2（2）:右值引用

VC10中的C++0x特性 part 3 ：声明之类型