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

核心提示： 前面的例子不考虑操作符重载的情况，它只是普通的函数调用语义，VC10中的C++0x特性 Part 2 （1）：右值引用(3)，“一个函数调用是一个 lvalue 当且仅当它返回一个引用”（见 C++ 03 5.2.2/10），因此，也不能把它绑定到 const ra

前面的例子不考虑操作符重载的情况，它只是普通的函数调用语义。“一个函数调用是一个 lvalue 当且仅当它返回一个引用”（见 C++ 03 5.2.2/10）。因此，给定语句 vercor<int> v(10, 1729); ， v[0] 是一个 lvalue，因为操作符 []() 返回 int& (且 &v[0] 是合法可用的)； 而给定语句 string s("foo");和 string t("bar");，s + t 是一个rvalue，因为操作符 +() 返回 string（而 &(s + t) 也不合法）。

lvalue 和 rvalue 两者都有非常量（modifiable，也就是说non-const）与常量（const ）之分。举例来说：

string one("cute");
const string two("fluffy");
string three() { return "kittens"; }
const string four() { return "are an essential part of a healthy diet"; }

one;　　　　 // modifiable lvalue
two;　　　　 // const lvalue
three(); // modifiable rvalue
four();　 // const rvalue

Type& 可绑定到非常量 lvalue （可以用这个引用来读取和修改原来的值），但不能绑定到 const lvalue，因为那将违背 const 正确性；也不能把它绑定到非常量 rvalue，这样做极端危险，你用这个引用来修改临时对象，但临时对象早就不存在了，这将导致难以捕捉而令人讨厌的 bug，因此 C++ 明智地禁止这这么做。（我要补充一句：VC 有一个邪恶的扩展允许这么蛮干，但如果你编译的时候加上参数 /W4 ，编译器通常会提示警告"邪恶的扩展被激活了”）。也不能把它绑定到 const ravlue，因为那会是双倍的糟糕。（细心的读者应该注意到了我在这里并没有谈及模板参数推导）。