右值引用和左值引用

qq_41553944

已于 2023-11-23 10:45:48 修改

阅读量59

点赞数

文章标签： c++ 开发语言

于 2023-06-24 10:53:18 首次发布

本文链接：https://blog.csdn.net/qq_41553944/article/details/131354441

版权

一文读懂C++右值引用和std::move - 知乎 (zhihu.com)

右值引用（R-value reference）和左值引用（L-value reference）是 C++ 中引用的两种类型，它们具有不同的特性和用法。

左值（L-value）是一个表达式，它具有持久的内存地址，并且可以取址。左值可以是变量、对象、函数返回的左值引用或者具有名称的表达式。例如，变量、对象、函数名都是左值。

右值（R-value）是一个表达式，它要么是一个临时对象（匿名对象），要么是不具有持久的内存地址的表达式。右值不可以取址。例如，字面量、表达式的结果、临时对象都是右值。

右值引用是一种新引入的引用类型，用于绑定到右值。它使用 && 符号进行声明。右值引用可以延长右值的生命周期，并且可以实现移动语义，提高效率。通过右值引用，可以对右值进行修改或者将其转移所有权。

左值引用是对左值进行绑定的引用类型，使用 & 符号进行声明。左值引用可以用于传递参数、返回值、修改对象等操作。通过左值引用，可以对左值进行修改。

移动语义

移动语义是指在对象之间转移资源所有权而不进行深拷贝的能力。它允许高效地将资源从一个对象移动到另一个对象，而不需要进行不必要的复制和内存分配操作，从而提高程序的性能效率。

在传统的拷贝操作中，对象的资源被复制到新对象中，这涉及到动态分配内存、复制数据等操作，可能会消耗大量的时间和资源。然而，对于临时对象、将要被销毁的对象或可以移动资源的对象，复制操作是不必要的，而应该直接转移资源的所有权。

移动语义通过引入右值引用和移动构造函数、移动赋值运算符来实现。右值引用（Rvalue reference）是一种新的引用类型，它通过 && 符号进行声明。移动构造函数和移动赋值运算符是特殊的成员函数，用于从一个对象移动资源到另一个对象。

移动构造函数接受一个右值引用作为参数，它获取源对象的资源，并将其转移到新对象中，同时将源对象置于有效但可析构的状态。移动赋值运算符也接受一个右值引用参数，并在释放目标对象的资源后，将源对象的资源移动到目标对象中。

使用移动语义可以带来很多好处，包括：

减少内存分配和数据复制的开销，提高性能。

在管理动态分配的资源（如堆内存、文件句柄等）时，避免额外的内存分配和释放操作。

支持大型对象的高效传递和返回，避免不必要的复制操作。

移动语义在 C++11 中引入，是现代 C++ 编程中的重要特性。它为实现高效的资源管理、优化性能和编写更灵活的代码提供了基础。在使用移动语义时，需要遵循正确的资源所有权转移和生命周期管理的原则，以避免资源泄漏和未定义行为。

深拷贝和浅拷贝

深拷贝（Deep Copy）和浅拷贝（Shallow Copy）是两种对象复制的概念，它们在内存管理和对象语义上有所不同。

深拷贝是指在对象复制过程中，将对象的所有成员（包括动态分配的资源）都复制到新的对象中。这意味着新对象将拥有独立的资源副本，修改新对象不会影响原始对象，也不会发生资源冲突。深拷贝需要分配新的内存空间，并复制数据。例如，当使用动态内存分配（如使用 new 运算符）时，进行深拷贝可以复制对象的数据并创建新的内存块。

浅拷贝是指在对象复制过程中，只是简单地复制对象的成员变量的值，而不复制对象所指向的资源本身。这意味着新对象与原始对象共享相同的资源，修改其中一个对象可能会影响另一个对象。浅拷贝只是复制指针或引用，而不是复制实际数据。例如，当使用指针或引用类型的成员变量时，进行浅拷贝会导致多个对象共享同一块内存，可能导致意外的结果和资源管理问题。

在C++中，默认的复制构造函数和赋值运算符是执行浅拷贝的，即简单地复制成员变量的值。这对于某些情况下是合适的，但对于包含动态分配资源的对象来说，通常需要自定义深拷贝操作，以确保资源的独立性和正确管理。

对于需要自定义深拷贝的类，通常需要实现自己的复制构造函数和赋值运算符，以确保进行适当的资源复制和管理。深拷贝可以通过复制对象的资源，而不仅仅是复制指针或引用来实现。

需要注意的是，深拷贝可能涉及到额外的内存分配和数据复制开销，因此在性能要求较高的情况下，需要权衡深拷贝和浅拷贝之间的选择。

复制构造函数和移动构造函数

复制构造函数（Copy Constructor）和移动构造函数（Move Constructor）是 C++ 中用于创建对象的特殊成员函数，用于在创建新对象时初始化其值。
复制构造函数： 复制构造函数是用于创建一个新对象，并将其初始化为已有对象的副本。它接受一个同类型的对象作为参数，并根据这个对象创建新的对象。复制构造函数通常采用常量引用作为参数，以便接受传递的对象。它的语法形式如下：
class MyClass {
public:
    MyClass(const MyClass& other);  // 复制构造函数
};
复制构造函数在以下情况下被隐式调用：
在函数返回值中返回对象。
将对象作为函数参数传递给函数。
用一个对象初始化另一个对象。
如果没有显式定义复制构造函数，编译器会自动生成默认的复制构造函数，按成员变量逐个复制的方式创建新对象。
移动构造函数： 移动构造函数是用于创建一个新对象，并从一个临时对象（右值）中转移资源所有权。它接受一个右值引用作为参数，并将源对象的资源转移到新对象中。移动构造函数用于实现移动语义，避免不必要的资源拷贝和内存分配，提高性能。移动构造函数的语法形式如下：
class MyClass {
public:
    MyClass(MyClass&& other);  // 移动构造函数
};
移动构造函数在以下情况下被隐式调用：

如果没有显式定义移动构造函数，编译器会自动生成默认的移动构造函数，执行与复制构造函数类似的逐个成员变量的移动操作。

使用临时对象初始化新对象。
将临时对象作为函数参数传递给函数。
在函数返回值中返回临时对象。
通过定义适当的复制构造函数和移动构造函数，可以在对象的创建和资源管理过程中实现深拷贝和移动语义，从而提高性能和资源利用效率。在 C++11 之后，移动语义成为了现代 C++ 中的重要特性，并广泛应用于智能指针、容器、函数对象等库和框架中。