C++移动构造函数与移动赋值优化

31次阅读

移动构造函数通过转移资源所有权避免深拷贝，利用右值引用和std::move将源对象资源“窃取”至新对象，并置源对象指针为nullptr，从而提升性能。

C++移动构造函数与移动赋值优化

移动构造函数和移动赋值优化主要解决的是对象在传递过程中不必要的复制问题，通过转移资源所有权，显著提升性能，尤其是在处理大型对象时。

移动构造函数与移动赋值优化主要通过转移对象内部资源的所有权来实现，避免深拷贝带来的性能损耗。关键在于理解右值引用和

std::move

的使用。

移动构造函数如何避免深拷贝？

移动构造函数的核心思想是“窃取”被移动对象（右值）的资源，而不是复制它们。例如，如果一个类包含一个指向动态分配内存的指针，移动构造函数会将该指针从源对象转移到新对象，并将源对象中的指针设置为

nullptr

。这样，新对象就拥有了资源的所有权，而源对象不再负责释放这些资源。

立即学习“C++免费学习笔记（深入）”；

考虑以下示例：

#include <iostream> #include <string> #include <vector>  class MyString { private:     char* data;     size_t length;  public:     // 构造函数     MyString(const char* str) : length(std::strlen(str)) {         data = new char[length + 1];         std::strcpy(data, str);         std::cout << "Constructor calledn";     }      // 拷贝构造函数     MyString(const MyString& other) : length(other.length) {         data = new char[length + 1];         std::strcpy(data, other.data);         std::cout << "Copy constructor calledn";     }      // 移动构造函数     MyString(MyString&& other) : data(other.data), length(other.length) {         other.data = nullptr;         other.length = 0;         std::cout << "Move constructor calledn";     }      // 赋值运算符     MyString& operator=(const MyString& other) {         if (this != &other) {             delete[] data;             length = other.length;             data = new char[length + 1];             std::strcpy(data, other.data);         }         std::cout << "Assignment operator calledn";         return *this;     }      // 移动赋值运算符     MyString& operator=(MyString&& other) {         if (this != &other) {             delete[] data;             data = other.data;             length = other.length;             other.data = nullptr;             other.length = 0;         }         std::cout << "Move assignment operator calledn";         return *this;     }      // 析构函数     ~MyString() {         delete[] data;         std::cout << "Destructor calledn";     }      void print() const {         std::cout << "String: " << (data ? data : "(null)") << ", Length: " << length << std::endl;     } };  MyString createString() {     MyString str("Hello, world!");     return str; // 返回时会触发移动构造 }  int main() {     MyString str1 = createString(); // 移动构造     str1.print();      MyString str2("Initial value");     str2 = std::move(str1); // 移动赋值     str2.print();     str1.print(); // str1 现在是空字符串      return 0; }

在这个例子中，

MyString

类的移动构造函数和移动赋值运算符都避免了深拷贝。当

createString

函数返回

MyString

对象时，会调用移动构造函数，将内部的

data

指针从临时对象转移到

str1

。移动赋值运算符也做了类似的操作，避免了不必要的内存分配和复制。

std::move

的本质是什么？

std::move

本身并不移动任何东西。它的作用是将一个左值转换为右值引用。这使得我们可以调用移动构造函数或移动赋值运算符，从而实现资源转移。

考虑以下代码：

Uberduck

开源的AI语音社区，拥有5000+电影动漫声库，适合做同人配音

176

查看详情

#include <iostream> #include <string> #include <utility>  int main() {     std::string str = "Hello";     std::string str2 = std::move(str);      std::cout << "str: " << str << std::endl;   // str 现在可能为空     std::cout << "str2: " << str2 << std::endl;  // str2 包含 "Hello"      return 0; }

在这里，

std::move(str)

将

str

转换为右值引用，使得

str2

可以通过移动构造函数获取

str

的资源。之后，

str

的状态变得不确定，通常为空。

什么情况下应该使用移动构造函数和移动赋值运算符？

<strong>类包含动态分配的资源：strong> 当类拥有指向动态分配内存、文件句柄、网络连接等资源的指针时，移动操作可以避免昂贵的复制操作。
<strong>对象生命周期短暂：strong> 当你知道一个对象即将销毁（例如，函数返回时），移动操作可以避免不必要的复制。
<strong>需要高性能：strong> 在性能敏感的应用中，移动操作可以显著提高效率。

如何避免移动操作失效？

<strong>正确实现移动构造函数和移动赋值运算符：strong> 确保在移动操作后，源对象处于一个有效但未定义的状态（通常是将指针设置为
```
nullptr
```
）。
<strong>避免移动常量对象：strong> 移动操作通常会修改源对象，因此不能用于常量对象。
<strong>注意异常安全：strong> 移动构造函数和移动赋值运算符应该提供基本的异常安全保证。这意味着即使操作抛出异常，对象也应该处于一个可析构的状态。

移动语义与

std::unique_ptr

的关系是什么？

std::unique_ptr

是一个独占所有权的智能指针，它利用移动语义来转移资源的所有权。由于

unique_ptr

禁止复制，移动操作是转移其所有权的唯一方式。

#include <iostream> #include <memory>  int main() {     std::unique_ptr<int> ptr1(new int(10));     // std::unique_ptr<int> ptr2 = ptr1; // 错误：unique_ptr 不可复制     std::unique_ptr<int> ptr2 = std::move(ptr1); // 正确：使用移动语义转移所有权      if (ptr1) {         std::cout << "ptr1 still owns the memoryn";     } else {         std::cout << "ptr1 no longer owns the memoryn"; // 输出此行     }      std::cout << "ptr2 points to: " << *ptr2 << std::endl;      return 0; }