右值引用和移动语义

Black.Spider

已于 2024-04-25 22:17:13 修改

阅读量299

点赞数 5

分类专栏： C++11 文章标签： C++11

于 2024-04-11 14:36:09 首次发布

本文链接：https://blog.csdn.net/weixin_43519984/article/details/137638102

版权

C++11 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

右值引用和移动语义是C++11中引入的关键特性，它们显著提升了C++程序的性能和资源管理效率。下面详细解释这两个概念及其相互关系。

右值引用

● 右值引用 是一种新的引用类型，用语法T&& 表示，其中T是被引用的类型。右值引用只能绑定到临时对象或者即将销毁的对象（即右值），而不能绑定到具有持久性（如变量名所代表的）的左值。右值引用的主要目的是为了实现移动语义。

右值与左值

在讨论右值引用之前，需要理解左值和右值的概念：
● 左值（Lvalue）通常是指具有持久性、可寻址、可命名的实体，可以出现在赋值操作的左侧，也可以出现在右侧。例如，变量、数组元素、解引用的指针、成员对象等都是左值。
● 右值（Rvalue）则是指那些不具持久性、不可寻址、通常没有名称的临时对象或纯数值。它们通常出现在赋值操作的右侧，如返回的临时对象、字面量、算术表达式的计算结果等。右值不能直接被赋值或取地址（除非通过特定的转换或扩展，如std::move()或std::addressof()）。

移动语义

● 移动语义 利用右值引用来实现资源的有效转移，而不是默认进行代价高昂的复制操作。它主要包括以下两部分：

移动构造函数与移动赋值运算符

● 移动构造函数 具有形式 T::T(T&& other)，它接受一个右值引用作为参数。当一个新对象通过移动构造函数创建时，它会从other对象那里“窃取”其资源（如动态分配的内存、文件句柄、网络连接等），而other对象则处于有效但未指定的状态（通常清空其内部资源）。
● 移动赋值运算符 具有形式 T& T::operator=(T&& rhs)，同样接收一个右值引用作为参数。它执行类似的操作，将rhs对象的资源转移给自己，然后将rhs置为空状态。

std::move

● std::move 是一个标准库函数，它接受任意类型的参数并返回该参数的右值引用。通过std::move，程序员可以显式地将一个左值转换为右值引用，从而允许将其资源“移动”给另一个对象。这在处理大型对象或资源密集型对象时特别有用，因为这样可以避免不必要的深拷贝。

示例

class ResourceIntensive {
public:
    ResourceIntensive() { /* 分配资源 */ }
    ~ResourceIntensive() { /* 释放资源 */ }

    // 移动构造函数
    ResourceIntensive(ResourceIntensive&& other) noexcept
        : resource_(std::exchange(other.resource_, nullptr)) {}

    // 移动赋值运算符
    ResourceIntensive& operator=(ResourceIntensive&& rhs) noexcept {
        if (this != &rhs) {
            releaseResource();
            resource_ = std::exchange(rhs.resource_, nullptr);
        }
        return *this;
    }

private:
    void releaseResource() { /* 释放当前对象的资源 */ }

    void* resource_; // 假设这是一个指向实际资源的指针
};

// 使用示例
ResourceIntensive createResource() {
    return ResourceIntensive(); // 返回一个临时对象（右值）
}

int main() {
    ResourceIntensive obj1;           // 正常创建对象
    ResourceIntensive obj2(createResource()); // 使用移动构造函数，资源从临时对象转移到obj2
    obj1 = std::move(obj2);         // 使用移动赋值运算符，资源从obj2转移到obj1
}