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

核心提示： const Type& 可以绑定到： 非常量 lvalues， const lvalues，VC10中的C++0x特性 Part 2 （1）：右值引用(4)，非常量 rvalues 以及 const values，（然后你就可以用这个引用来观察它们）引用是具名的，在 C++ 0x中，答案有

const Type& 可以绑定到： 非常量 lvalues， const lvalues，非常量 rvalues 以及 const values。（然后你就可以用这个引用来观察它们）

引用是具名的，因此一个绑定到 rvalue 的引用，它本身是一个 lvalue（没错！是 L）。（因为只有 const 引用可以绑定到 rvalue，所以它是一个 const lvalue）。这让人费解，（不弄清楚的话）到后面会更难以理解，因此我将进一步解释。给定函数 void observe(const string& str)， 在 observe()'s 的实现中， str 是一个 const lvalue，在 observe() 返回之前可以对它取址并使用那个地址。这一点即使我们通过传一个 rvalue 参数来调用 observe()也是成立的 ，就像上面的 three() 和 four()。也可以调用 observe("purr")，它构建一个临时 string 并将 str 绑定到那个临时 string。three() 和 foure() 的返回对象是不具名的，因此他们是 rvalue，但是在 observe()中，str 是具名的，所以它是一个 lvalue。正如前面我说的“ lvalue 跟 rvalue 是针对表达式而言的，而不是对象”。当然，因为 str 可以被绑定到一个很快会被销毁的临时对象，所以在 observe() 返回之后我们就不应该在任何地方保存这个临时对象的地址。

你有没有对一个绑定到 rvalue 的 const 引用取址过么？当然，你有过！每当你写一个带自赋值检查的拷贝赋值操作符： Foo& operator=(const Foo& other), if( this != &other) { copy struff;}； 或从一个临时变量来拷贝赋值，像： Foo make_foo(); Foo f; f = make_foo(); 的时候，你就做了这样的事情。

这个时候，你可能会问“那么非常量 rvalues 跟 const rvalues 有什么不同呢？我不能将 Type& 绑定到非常量 rvalue 上，也不能通过赋值等操作来修改 rvalue，那我真的可以修改它们？” 问的很好！在 C++ 98/03 中，这两者存在一些细微的差异： non-constrvalues 可以调用 non-const 成员函数。 C++ 不希望你意外地修改临时对象，但直接在non-const rvalues上调用 non-const 成员函数，这样做是很明显的，所以这是被允许的。在 C++ 0x中，答案有了显著的变化，它能用来实现 move 语意。