【C++】014、左值与右值的区别

【C++】014、左值与右值的区别

一、左值&右值

左值:

  • 左值是有内存地址的持久对象,可以取他的地址值

右值:

  • 右值是临时的,即将销毁的对象,不能取他的地址,但可以窃取他的资源。右值的存储位置通常在栈或者寄存器内。

右值引用(T&&)

  • 右值引用是为了把右值这种临时资源拿来继续使用

二、左值与右值的鉴别方法

  • 在C++中,能对表达式使用取地址运算符&的就是左值,不能取地址的就是右值

int a = 10; // a 是左值(&a 合法) int* p = &a; // ✅ OK // int* p2 = &10; // ❌ 编译错误!不能对字面量取地址,所以 10 是右值

三、对比

对比维度

左值

右值

别名

有身份的

无身份的(临时)

取地址操作(&)

可以

不可以

生命周期

长(有自己的作用域)

短(面临销毁)

例子

变量(a),++i,*ptr

字面量10,i++,MyClass()

能否放在=左边

通常可以

不可以(除非使用move)

右值引用(T&&)

不可以(除非使用move)

可以

四、移动赋值操作:std::move

1、窃取资源

  • std::move 本质上只是一个强制类型转换(static_cast),不移动任何东西,只是将左值变成右值。

  • 真正的移动发生在移动构造函数和移动赋值运算赋里,编译器看到右值,从而窃取资源而非深拷贝

  • 代码

#include <iostream> #include <vector> #include <utility> // for std::move class BigData { private: std::vector<int> data; // 假设很大,10000个元素 public: // 1. 构造函数(建立资源) explicit BigData(size_t size) : data(size, 1) { std::cout << "Constructed (allocated memory)\n"; } // 2. 拷贝构造函数(深拷贝,开销大) BigData(const BigData& other) : data(other.data) { std::cout << "Copied (expensive deep copy)!\n"; } // 3. 移动构造函数(轻量级指针交换,C++11核心!) BigData(BigData&& other) noexcept : data(std::move(other.data)) { // 精髓:直接窃取 other 的内部指针,other.data 变为空 std::cout << "Moved (cheap pointer swap)!\n"; } }; BigData createBigData() { BigData temp(10000); // 创建临时对象(左值) return temp; // 返回时触发移动语义(C++17强制拷贝省略前,优先选移动) } int main() { BigData obj1(10000); // 构造 BigData obj2 = obj1; // 拷贝(深复制,慢) -> 输出 "Copied!" BigData obj3 = std::move(obj1); // 移动(偷数据,快) -> 输出 "Moved!" // 注意:此时 obj1 处于“有效但未指定”的状态(通常是空),不要再使用 obj1! }

2、右值引用(T&&)专门用来捕获右值,从而在不拷贝的情况下转移资源

  • 右值引用智能绑定右值,如果想把左值当右值用,必须通过move显示转换

int a = 5; int& lr = a; // OK // int& lr2 = 10; // ❌ 错误 const int& clr = 10; // ✅ OK(临时对象生命周期被延长到引用生命周期) int&& rr = 10; // ✅ OK // int&& rr2 = a; // ❌ 错误(不能直接绑左值) int&& rr3 = std::move(a); // ✅ OK(强制转换,此时a的资源可以被偷)

3、总结:

  • 左值是有户口本的居民; 右值是有暂住证的旅客; move是让居民办理临时注销,把资源合法转移给新用户。