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

核心提示： 恭喜！你已经具备了我所谓的“lvalue/rvalue 观”，这样你就能够一眼就判断出一个表达式到底是 lvalue 还是 rvalue，VC10中的C++0x特性 Part 2 （1）：右值引用(5)，再加上你原来对 const 的认识，你就能完全理解为什么给定语

恭喜！你已经具备了我所谓的“lvalue/rvalue 观”，这样你就能够一眼就判断出一个表达式到底是 lvalue 还是 rvalue。再加上你原来对 const 的认识，你就能完全理解为什么给定语句 void mutate(string& ref) 以及前面的变量定义， mutate(one) 是合法的，而 mutate(two)， mutate(three())， mutate(four())， mutate("purr") 都是不合法的。如果你是 C++ 98/03 程序员，你已经可以分辨出这些调用中的哪些是合法的，哪些是不合法的；是你的“本能直觉”，而不是你的编译器，告诉你 mutate(three()) 是假冒的。你对 lvalue/rvalue 的新认识让你明确地理解为什么 three() 是一个 rvalue，也知道为什么非常量引用不能绑定到右值。知道这些有用么？对语言律师而言，有用，但对普通程序员来说并不见得。毕竟，你如果不理解关于 lvalues 和 rvalues 一切就要领悟这个还隔得远呢。但是重点来了：与 C++ 98/03 相比， C++ 0x 中的 lvalue 和 rvalue 有着更广泛更强劲的含义（尤其是判断表达式是否是 modifiable / const 的 lvalue/rvalue，并据此做些处理）。要有效地使用 C++ 0x，你也需具备对 lvalue/rvalue 的理解。现在万事具备，我们能继续前行了。

拷贝的问题

C++ 98/03 将不可思议的高度抽象和不可思议的高效执行结合到了一起，但有个问题：它过度滥用拷贝。对行为像 int 那样有着值语意的对象而言，源对象的拷贝是独立存在的，并不会影响源对象。值语意很好，除了在会导致冗余拷贝之外，像拷贝 strings，vectors 等重型对象那样的情况。（“重型”意味着“昂贵的拷贝开销”；有着100万个元素的 vector 是重型的）。返回值优化（RVO） 和命名返回值优化（NRVO）在特定情况下可以优化掉拷贝构造操作，这有助于减缓问题的严重性，但是它们不能够消除所有冗余的拷贝。