引言

移动语义是 C++11 里引入的一个重要概念。在理解移动语义之前，需要先了解 C++ 表达式中的左值右值。

在C++标准中，定义了如下值类别 ( value categories )

• lvalue 是通常可以放在等号左边的表达式，左值
• rvalue 是通常只能放在等号右边的表达式，右值
• glvalue 是 generalized lvalue，广义左值
• xvalue 是 expiring lvalue，将亡值
• prvalue 是 pure rvalue，纯右值

lvalue

通常，左值 lvalue 是有标识符、可以取地址的表达式，最常见的情况有：

• 变量、函数或数据成员的名字
• 返回左值引用的表达式，如 ++x、x = 1、cout << ' '
• 字符串字面量如 "hello world"

在函数调用中，左值可以绑定到左值引用的参数，如 T&。一个常量只能绑定到常左值引用，如 const T&。

void func1(int & v) {}
void func2(const int & v) {}  // 如果这里接收参数类型是 const int &, 无法编译

int a = 0;
const int b = 0;
func1(a);  // a是左值，绑定到左值引用
func2(b);

prvalue

纯右值 prvalue 是没有标识符、不可以取地址的表达式，一般也称之为“临时对象”。最常见的情况有：

• 返回非引用类型的表达式，如 x++、x + 1、make_shared<int>(42)
• 除字符串字面量之外的字面量，如 42、true

<aside> 💡 可以理解为 a 这个对象 就是左值，a 这个对象内的内容，就是右值

</aside>

右值引用

在 C++11 之前，右值可以绑定到常左值引用（const lvalue reference）的参数，如 const T&，但不可以绑定到非常左值引用（non-const lvalue reference），如 T&。从C++11 开始，C++ 语言里多了一种引用类型——右值引用。右值引用的形式是 T&&，比左值引用多一个 & 符号。

<aside> 💡 不要理解为是 引用的引用

</aside>