前言
C++11之前value categories只有两类，lvalue和rvalue，在C++11之后出现了新的value categories，即prvalue, glvalue, xvalue。不理解value categories可能会让我们遇到一些坑时不知怎么去修改，所以理解value categories对于写C++的人来说是比较重要的。而理解value categories离不开一个概念——move semantics。了解C++11的人我相信都了解了std::move，右值引用，移动构造/移动复制等概念，但是对move semantics这个概念的准确定义，可能还有很多人比较模糊。我想通过这篇文章谈一谈我对value categories和move semantics的理解。首先从move semantics开始。
什么是move semantics（移动语义）？
semantics是来自语言学的一个概念，翻译成中文就是“语义”。说到计算机语言，可能有很多人认为他是计算机科学下面的子门类。实际上他是计算机科学和语言学的交叉科目，里面有很多概念都来自语言学的内容，甚至也有语言学科班的学生之后去做编译的研究/工作。所以我们先从自然语言入手，通过类比能够更好地理解move semantics。下面有两个句子：
- 他是饭桶。
- 这是饭桶。
这两句话里面都有“饭桶”这个词，但是两个句子中“饭桶”意思却不一样。从语法上来看，这俩都是“<代词>是饭桶”的形式，只有代词不一样，但句子意思却完全不一样了。句子1的意思是骂一个人很没用，句子2的意思是说明这个物体是盛饭的桶。这个例子说明，要理解一个单词的意思（例如“饭桶”）是要结合句中其他单词，以及整个句子的。
在C++语言中也是类似的。下面有两个“句子”（语句）：
