C++值类别分为lvalue、prvalue和xvalue三类:lvalue有身份、可取地址;prvalue无身份、为纯计算结果;xvalue有身份但可移动,是移动语义基础。

在 C++ 中,值类别(value categories)是理解表达式行为、移动语义、引用绑定和资源管理的核心概念。C++11 引入了更精细的分类,将所有表达式划分为三类:lvalue、prvalue 和 xvalue。它们共同构成了“值类别体系”,直接影响拷贝/移动构造、函数重载决议、引用折叠等关键机制。
lvalue:有身份、不可移动的左值
lvalue(locator value)指具有明确内存地址、可取地址(&e 合法)、通常有名字、生命周期较长的对象。它代表“可以被多次读写”的实体。
- 变量名(如 int x = 42; 中的 x)是最典型的 lvalue
- 解引用表达式(*ptr)、成员访问(obj.member)、下标(arr[i],当 arr 是左值时)也通常是 lvalue
- lvalue 可以绑定到 const lvalue 引用(const T&) 和 lvalue 引用(T&),但不能直接绑定到 rvalue 引用(T&&)
prvalue:无身份、纯计算结果的纯右值
prvalue(pure rvalue)代表一个临时、无身份(no identity)、不占用持久存储的计算结果,比如字面量、返回非引用类型的函数调用、临时对象构造表达式等。
- 42、true、"hello"、std::string("temp") 都是 prvalue
- foo()(若 foo 返回 std::string 而非 std::string&)产生 prvalue
- prvalue 不能取地址(&(42) 非法),也不能绑定到非 const lvalue 引用(int& r = 42; 错误),但可绑定到 const T& 或 T&&
- prvalue 在需要时会触发临时对象的创建,并可能被移动(若类型支持移动语义)或复制(否则)
xvalue:有身份、可移动的“即将消亡”值
xvalue(eXpiring value)是 C++11 新增的关键类别,用于桥接 lvalue 的“有身份”与 prvalue 的“可移动性”。它表示一个**有明确身份但即将被销毁或资源被转移的对象**,典型来源是 std::move 和强制转换为右值引用的表达式。
立即学习“C++免费学习笔记(深入)”;
-
std::move(x)(x 是 lvalue)的结果是 xvalue;static_cast
(x) 同理 - 返回右值引用的函数调用(如 T&& get_rref(); auto&& r = get_rref(); 中的 get_rref())产生 xvalue
- xvalue 既可取地址(因有身份),又可绑定到 T&& 并触发移动操作——这正是移动语义的基石
- 注意:std::move 不移动任何东西,它只是把表达式转为 xvalue,让后续的移动构造/赋值有机会被选中
三者关系可简记为:lvalue 和 xvalue 统称 glvalue(generalized lvalue,有身份的值),prvalue 和 xvalue 统称 rvalue(可移动的值)。准确识别表达式的值类别,是写出高效、安全、符合预期的现代 C++ 代码的前提。










