c++怎么理解C++的值类别(lvalue, rvalue, prvalue, xvalue)_C++表达式类型与值类别解析

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

c++怎么理解C++的值类别(lvalue, rvalue, prvalue, xvalue)_C++表达式类型与值类别解析

2025-11-15

浏览次数：次

返回列表

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++怎么理解c++的值类别(lvalue, rvalue, prvalue, xvalue)_c++表达式类型与值类别解析

理解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

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 产生。

Reachout.ai

一个AI驱动的视频开发平台，专为忙碌的企业家和销售团队打造

142 查看详情 Reachout.ai

例如：

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) { /* 处理右值，可移动 */ }
<p>std::string a = "hello";
foo(a);                    // 调用左值版本
foo(std::move(a));         // 调用右值版本
foo("world");              // 字符串字面量转 string 临时对象 → 右值版本

在模板中，配合引用折叠和完美转发（std::forward），可以保留原始参数的值类别。