C++值类别包含lvalue、prvalue、xvalue、glvalue和rvalue,其中glvalue涵盖lvalue和xvalue,rvalue包含xvalue和prvalue;lvalue具身份可取地址,prvalue为纯临时值,xvalue是具身份的将亡值,由std::move或右值引用产生;引用绑定规则限定左值引用绑定lvalue、右值引用绑定rvalue、const左值引用可绑定所有值类别;移动语义通过std::move将对象转为xvalue触发移动构造,完美转发依赖万能引用与std::forward保持原始值类别;字符串字面量和函数名属lvalue,临时对象初始为prvalue但经材料化可成xvalue。

在C++中,值类别(Value Categories)是用来描述表达式性质的重要概念。理解值类别对掌握移动语义、右值引用和完美转发等现代C++特性至关重要。C++中的值类别共有五种:lvalue、rvalue、prvalue、xvalue 和 glvalue,它们之间有明确的包含关系。
1. 五种值类别的定义
lvalue(locator value):代表一个具有身份(identity)的对象,可以取地址,通常能被多次使用。例如变量名、解引用指针、函数返回左值引用等。
例子:-
int a = 42; a;—— 变量 a 是 lvalue -
*ptr—— 指针解引用是 lvalue std::cout —— 表达式返回 std::ostream&,是 lvalue
rvalue(right value):表示临时值,通常位于赋值右侧。rvalue 不能取地址,生命周期短暂。rvalue 是 prvalue 和 xvalue 的统称。
prvalue(pure rvalue):纯右值,表示不具身份的计算结果或临时对象。例如字面量(除字符串字面量外)、临时对象、算术表达式结果等。
立即学习“C++免费学习笔记(深入)”;
例子:-
42、a + b—— 算术运算结果是 prvalue -
std::string("temp")—— 临时 string 对象 -
int()—— 默认构造的临时 int
xvalue(eXpiring value):将亡值,具有身份但可以被移动。由右值引用绑定产生,常见于 std::move 的结果。
例子:-
std::move(a)—— 将左值转为右值引用,结果是 xvalue - 返回右值引用的函数调用,如
T&& func();
glvalue(generalized lvalue):广义左值,包括 lvalue 和 xvalue。所有具有身份的表达式都是 glvalue。
2. 值类别的关系图
可以用集合关系来理解:
- glvalue = lvalue + xvalue
- rvalue = xvalue + prvalue
- lvalue 和 prvalue 不相交
- xvalue 是两者的交集(既有身份又可被移动)
3. 实际应用中的意义
值类别直接影响函数重载决议和引用绑定规则。
引用绑定规则:
- 左值引用(T&)只能绑定 lvalue
- const 左值引用(const T&)可绑定所有值类别(常用于接受临时对象)
- 右值引用(T&&)只能绑定 rvalue(即 prvalue 和 xvalue)
移动语义的基础:
std::move 并不真正“移动”数据,而是将一个对象转换为 xvalue,使其能匹配移动构造函数或移动赋值操作符。
示例:std::vectorv1(1000); std::vector v2 = std::move(v1); // v1 被转为 xvalue,触发移动构造
此时 v1 仍存在(有身份),但其内部资源可被合法“窃取”。
完美转发的关键:
模板中的万能引用(T&&)结合 std::forward,根据原始参数的值类别还原表达式类型,实现参数的原样传递。
4. 常见误解与辨析
-
字符串字面量是 lvalue:如
"hello"是 const char[6] 类型,有内存地址,属于 lvalue - 函数名是 lvalue:函数本身有地址,可以取址,是 lvalue
- std::move 的结果是 xvalue:虽然写作 move,但结果是一个可被移动的将亡值,不是 prvalue
-
临时对象初始化是 prvalue:如
MyClass()是 prvalue,但在构造过程中会经历材料化变为 xvalue 或对象
基本上就这些。掌握值类别有助于写出更高效、更安全的C++代码,尤其是在资源管理和泛型编程中。不复杂但容易忽略细节。











