C++中的左值和右值

沉夢志昂丶

于 2024-06-04 10:26:24 发布

阅读量710

点赞数 16

分类专栏： C++的自我救赎学习分享文章标签：开发语言 c++ 数据结构左值右值

本文链接：https://blog.csdn.net/GOLOJO/article/details/139435096

版权

分享同时被 3 个专栏收录

61 篇文章 0 订阅

订阅专栏

学习

59 篇文章 0 订阅

订阅专栏

C++的自我救赎

52 篇文章 1 订阅

订阅专栏

摘要

左值（lvalue）与右值（rvalue）

左值（lvalue）

右值（rvalue）

C++11及以后的扩展

右值引用（rvalue reference）

摘要

在C++中，左值（lvalue）和右值（rvalue）是两个重要的概念。左值和右值的区分在C++11引入移动语义和右值引用后变得更加重要。

左值（lvalue）与右值（rvalue）

左值（lvalue）

左值（lvalue，locator value）表示一个能够标识内存中某个位置的表达式，可以取地址。因此，左值可以出现在赋值操作符的左边。

- 特性：
- 可以取地址。
- 通常表示变量、数组元素、结构体成员等。
- 生命周期通常超出表达式本身。

int x = 5;        // x是一个左值
int* p = &x;      // 可以对x取地址
x = 10;           // 可以对x进行赋值

右值（rvalue）

右值（rvalue，read value）表示一个不能取地址的值，通常是临时对象或字面值，存在于表达式的求值过程中，但生命周期较短，不能出现在赋值操作符的左边。

- 特性：
- 不能取地址。
- 通常表示临时对象、字面值、返回值等。
- 生命周期通常仅限于表达式本身。

int y = 5 + 3;    // 5 + 3是一个右值
int z = x + y;    // x + y是一个右值

C++11及以后的扩展

C++11引入了右值引用（rvalue reference）和移动语义（move semantics），扩展了左值和右值的概念。

右值引用（rvalue reference）

右值引用通过`T&&`语法引入，用于绑定右值，允许对右值进行修改和移动操作。右值引用的引入提高了对象的转移效率，减少了不必要的复制。

#include <iostream>
#include <utility>

void processValue(int&& x) {
    std::cout << "Processing right value: " << x << std::endl;
}

int main() {
    int a = 5;
    // processValue(a);       // 错误，a是左值
    processValue(10);         // 正确，10是右值
    processValue(std::move(a)); // 正确，std::move(a)是右值
    return 0;
}

移动语义（Move Semantics）

移动语义通过`std::move`将对象转换为右值引用，允许转移资源所有权而不是复制，从而提高效率。

#include <iostream>
#include <vector>

int main() {
    std::vector<int> vec1 = {1, 2, 3, 4, 5};
    std::vector<int> vec2 = std::move(vec1);  // 移动语义，vec1的资源转移到vec2

    std::cout << "vec1 size: " << vec1.size() << std::endl; // 输出：0
    std::cout << "vec2 size: " << vec2.size() << std::endl; // 输出：5
    return 0;
}

左值和右值的关系

1. 左值引用（lvalue reference）：可以绑定到左值，可以通过`&`获取其地址。
2. 右值引用（rvalue reference）：只能绑定到右值，通常用于实现移动语义。
3. 常量左值引用（const lvalue reference）：可以绑定到左值和右值，常用于函数参数避免不必要的复制。

#include <iostream>

void printValue(const int& x) {  // const lvalue reference
    std::cout << "Value: " << x << std::endl;
}

int main() {
    int a = 5;
    printValue(a);     // a是左值
    printValue(10);    // 10是右值，可以绑定到const lvalue reference
    return 0;
}

右值引用和移动构造函数

通过定义移动构造函数和移动赋值运算符，可以优化对象的转移。

#include <iostream>
#include <utility>

class MyClass {
public:
    int* data;
    MyClass(int size) : data(new int[size]) { std::cout << "Constructed\n"; }
    ~MyClass() { delete[] data; std::cout << "Destructed\n"; }
    
    // 移动构造函数
    MyClass(MyClass&& other) noexcept : data(other.data) {
        other.data = nullptr;
        std::cout << "Moved\n";
    }
    
    // 移动赋值运算符
    MyClass& operator=(MyClass&& other) noexcept {
        if (this != &other) {
            delete[] data;
            data = other.data;
            other.data = nullptr;
        }
        std::cout << "Move Assigned\n";
        return *this;
    }
};

int main() {
    MyClass obj1(10);
    MyClass obj2 = std::move(obj1);  // 调用移动构造函数

    MyClass obj3(20);
    obj3 = std::move(obj2);  // 调用移动赋值运算符
    
    return 0;
}


// Out
Constructed
Moved
Constructed
Move Assigned
Destructed
Destructed