c++中的值类别有哪些 c++ prvalue/xvalue/lvalue详解【核心】

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 和强制转换为右值引用的表达式。

• 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++ 代码的前提。