c++中的值类别(Value Categories)详解_c++ lvalue, rvalue, prvalue, xvalue

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::o<a style="color:#f60; text-decoration:underline;" title="stream" href="https://www.php.cn/zt/19633.html" target="_blank">stream</a>&，是 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. 实际应用中的意义

值类别直接影响函数重载决议和引用绑定规则。

ChatDOC

ChatDOC是一款基于chatgpt的文件阅读助手，可以快速从pdf中提取、定位和总结信息

262

查看详情

引用绑定规则：

• 左值引用（T&）只能绑定 lvalue
• const 左值引用（const T&）可绑定所有值类别（常用于接受临时对象）
• 右值引用（T&&）只能绑定 rvalue（即 prvalue 和 xvalue）

移动语义的基础：

std::move 并不真正“移动”数据，而是将一个对象转换为 xvalue，使其能匹配移动构造函数或移动赋值操作符。

std::vector<int> v1(1000);
std::vector<int> 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++代码，尤其是在资源管理和泛型编程中。不复杂但容易忽略细节。

以上就是c++++中的值类别(Value Categories)详解_c++ lvalue, rvalue, prvalue, xvalue的详细内容，更多请关注php中文网其它相关文章！