C++值类别分为lvalue、prvalue、xvalue、glvalue和rvalue，用于确定表达式是否可取地址或可移动。lvalue指有名字的对象，prvalue为临时值，xvalue是通过std::move转换的将亡值，glvalue包含lvalue和xvalue，rvalue包含prvalue和xvalue。不同值类别影响函数重载：T&绑定lvalue，T&&绑定rvalue，const T&可绑定所有值类别。模板中结合std::forward可实现完美转发，保留原值类别。常见误区包括认为“右值只能在赋值右边”或“字符串字面量是prvalue”，实际上"hello"是lvalue（const char[6]），而std::move(s)产生xvalue，标记对象资源可被移动，原对象进入有效但未指定状态。理解值类别需结合移动语义与生命周期意图，而非死记硬背。
理解C++的值类别（value categories）是掌握现代C++语言特性的关键一步，尤其在涉及移动语义、完美转发和临时对象优化时。C++中的每个表达式都属于一个值类别：lvalue、rvalue、prvalue、xvalue 或 glvalue。这些分类帮助编译器决定如何处理对象——是复制、移动还是直接复用资源。
1. 值类别的基本分类
C++11 将表达式的值类别细分为五种，但它们之间有包含关系：
- glvalue（generalized lvalue）：代表“某个对象”的表达式，包括 lvalue 和 xvalue。
- lvalue：可以取地址的持久对象，比如变量名、解引用操作等。
- rvalue：代表“值”的表达式，通常用于初始化或赋值，包括 prvalue 和 xvalue。
- xvalue（expired value）：即将过期的值，通常是通过 std::move 转换得到的右值引用表达式。
- prvalue（pure rvalue）：纯右值，比如字面量（除字符串字面量）、临时对象、函数返回非引用类型等。
可以用集合关系来记忆：
glvalue = lvalue + xvalue
rvalue = prvalue + xvalue
立即学习“C++免费学习笔记（深入）”；
2. 各类值的具体含义与示例
lvalue（左值）：指代一个有名字、生命周期尚未结束的对象。
例如：
int a = 42;
a = 50; // a 是 lvalue
int& getRef() { return a; }
getRef() = 60; // 函数返回左值引用，也是 lvalue
prvalue（纯右值）：没有名字的临时值，不能取地址。
例如：
int(42) // 字面量构造的临时对象
a + b // 表达式结果是 prvalue
std::string("abc") // 临时 string 对象
xvalue（将亡值）：表示资源可以被“窃取”的对象，通常由 std::move 产生。
例如：
std::string s = "hello"; std::move(s); // 返回 std::string&& —— xvalue
这个表达式本身不销毁 s，但它标记 s 的值为“可移动”，后续使用应视为无效（除非重新赋值）。
rvalue 的实际用途：主要用来触发移动构造或移动赋值。
std::string func() {
return std::string("temporary"); // 编译器可能移动而非复制
}
3. 值类别如何影响函数重载和模板推导
C++ 允许对不同值类别进行函数重载，尤其是通过引用类型区分：
- T&：绑定到 lvalue
- const T&：可绑定到 lvalue 或 rvalue（通用常量引用）
- T&&：通常绑定到 rvalue（特别是 xvalue 和 prvalue）
例如：
void foo(std::string& s) { /* 处理左值 */ }
void foo(std::string&& s) { /* 处理右值，可移动 */ }
std::string a = "hello";
foo(a); // 调用左值版本
foo(std::move(a)); // 调用右值版本
foo("world"); // 字符串字面量转 string 临时对象 → 右值版本
在模板中，配合引用折叠和完美转发（std::forward），可以保留原始参数的值类别。
4. 常见误解与注意事项
- “右值”不是只能出现在赋值右边。比如 std::move(x) 是右值，但可用在左边：std::move(x) = y;（如果类型支持）。
- 字符串字面量如 "hello" 是 lvalue（类型为 const char[6]），尽管它看起来像常量。
- 函数调用返回非引用类型是 prvalue；返回 T& 是 lvalue；返回 T&& 是 xvalue。
- 移动后原对象仍处于有效但未指定状态，不应再依赖其值。
基本上就这些。理解值类别不需要死记硬背，关键是结合移动语义和引用重载去体会每种表达式的“身份”和“生命周期意图”。
