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

核心提示： ravlue 引用：初始化 C++0x 引进了一种新的引用，ravlue 引用，VC10中的C++0x特性 Part 2 （1）：右值引用(9)，其语法是 Type&& 和 const Type&& ，目前 C++0x 草案 N2798 8.3.2/2 上说：“用 & 声明的引

ravlue 引用：初始化

C++0x 引进了一种新的引用，ravlue 引用，其语法是 Type&& 和 const Type&& 。目前 C++0x 草案 N2798 8.3.2/2 上说：“用 & 声明的引用类型被称作 lvalue 引用，而用 && 声明的引用类型被称作 rvalue 引用。lvalue 引用与 rvalue 引用是截然不同的类型。除非特别注明，两者在语意上是相当的并且一般都被称作引用。”这意味着对 C++98/03 中引用(即现在的 lvalue 引用)的直觉印象可以延伸用于 rvalue 引用；你只需要学习这两者的不同之处。

（说明：我选择把 Type& 读作 “Type ref”，Type&& 读作 "Type ref ref"。它们的全称分别是 “lvalue reference to Type” 和 "rvalue reference to Type"，就像 “cosnt pointer to int” 被写成 “int * const”，而被读作 “int star const”一样。）

两者有什么区别？与 lvalue 引用相比， rvalue 引用在初始化与重载决议时表现出不同的行为。两者的区别在于它们会优先绑定到什么东西上（初始化时）和什么东西会优先绑定到它们身上(重载决议时)。首先让我们来看看初始化：

· 我们已经明白为何非常量 lvalue 引用( Type& ) 只能绑定到非常量 lvalue 上，而其他的一概不能（如 const lvalues，非常量 rvalues，const rvalues）

· 我们已经明白为何 const lvalue 引用( const Type& ) 能绑定到任何东西上。

· 非常量 rvalue ( Type&& ) 能够绑定到非常量 lvalue 以及非常量 rvalue 上，而不能绑定到 const lvalues 和 const rvalues （这会违背 const 正确性）