C++11中value category（值类别）及move semantics（移动语义）的介绍

其中，vec和another_vec都是vector<int>类型的变量。

这两个语句都是“vec = XXXX;”的形式，但是语句1是把XXXX移动到变量vec，语句2是把XXXX拷贝给vec。两个语句中都有“=”运算符，但是语句1中的意思是“移动到”，语句2中的意思是“拷贝给”。所以“=”运算符和整个句子的意思是由XXXX的类型决定的。我们可以说语句1有移动的意思，语句2有拷贝的意思，或者说，语句1中的“=”是移动的意思，语句2中的“=”是拷贝的意思。更正式地说，语句1呈现了移动语义，语句2呈现了拷贝语义，语句1中的“=”呈现了移动语义，语句2中的“=”呈现了拷贝语义。用英文说则是，statement 1 displayed move semantics; statement 2 displayed copy semantics; operator= in statement 1 displayed move semantics; operator= in statement 2 displayed copy semantics。

其实“移动语义”翻译成白话就是“移动的意思”。

怎么理解5种value categories（值类别）？

C++中的每个表达式都有两种属性，一个是type（类型），另一个就是value category（值类别）。每个表达式的值类别一定属于且仅属于prvalue (pure rvalue), xvalue, lvalue三种中的一种。prvalue和xvalue统称为rvalue，xvalue和lvalue统称为glvalue (generalized lvalue)，如下图所示：