C++11 移动语义（Move Semantics）

C++11 引入的移动语义（Move Semantics）主要解决了在复制大量资源时产生的性能问题，尤其是在处理动态分配的内存、大型容器或文件等场景中。相比传统的复制语义（Copy Semantics），移动语义允许资源的所有权转移，而不需要进行昂贵的深度复制。下面将详细解释两者的区别。

1. 复制语义（Copy Semantics）

复制语义是在创建对象副本时复制对象的所有内容。通常，通过复制构造函数或复制赋值运算符来实现：

• 复制构造函数：当一个对象通过另一个对象初始化时，复制构造函数会创建该对象的副本，所有资源都会被复制。

• 复制赋值运算符：当对象之间赋值时，也会触发对象所有资源的深拷贝。

复制语义的示例：

class MyClass {
public:
    int* data;
    
    // 构造函数
    MyClass(int value) {
        data = new int(value);  // 动态分配资源
    }
    
    // 复制构造函数（深拷贝）
    MyClass(const MyClass& other) {
        data = new int(*(other.data));  // 深拷贝 data
    }
    
    ~MyClass() {
        delete data;  // 释放资源
    }
};

 在上面的例子中，如果我们复制一个对象，data 指向的内存会被完全复制，两个对象的 data 都指向不同的内存空间。这种深拷贝对于动态分配资源较多的对象来说，可能会很昂贵。

 

2. 移动语义（Move Semantics）

移动语义的核心思想是资源的转移，而不是复制。C++11 引入了移动构造函数和移动赋值运算符，它们允许在不需要深度复制的情况下，直接将资源的所有权从一个对象“移动”到另一个对象。移动语义可以大大减少不必要的资源复制，提升性能。

移动语义的示例：

class MyClass {
public:
    int* data;

    // 构造函数
    MyClass(int value) {
        data = new int(value);
    }

    // 移动构造函数
    MyClass(MyClass&& other) noexcept {
        data = other.data;      // 移动资源
        other.data = nullptr;   // 释放源对象的指针
    }

    ~MyClass() {
        delete data;
    }
};

在上面的例子中，移动构造函数直接将 other.data 的资源指针移动到当前对象，并将 other.data 设为 nullptr，表示 other 不再拥有该资源。这意味着我们不需要进行内存的深拷贝，大大节省了资源和时间。

移动赋值运算符也类似：

MyClass& operator=(MyClass&& other) noexcept {
    if (this != &other) {
        delete data;  // 释放已有资源
        data = other.data;  // 移动资源
        other.data = nullptr;  // 释放源对象的指针
    }
    return *this;
}

3. 复制语义 vs 移动语义

特性	复制语义	移动语义
资源处理方式	复制资源的内容（深拷贝）	移动资源的所有权，转移指针或句柄
效率	慢，尤其是在涉及动态内存或大型数据时	快，无需复制资源，资源直接转移
典型使用场景	通常用于简单的对象拷贝	用于避免不必要的资源复制，常用于临时对象的转移
对象状态	源对象和目标对象各自拥有独立的资源	源对象的资源被转移后进入"空状态"（如 nullptr）

4. 什么时候使用移动语义

移动语义主要用于以下场景：

1. 临时对象：函数返回大对象时，避免不必要的拷贝。

   示例：

std::vector<int> createVector() {
    std::vector<int> vec(1000);
    return vec;  // C++11 前需复制返回，C++11 后直接移动
}

1. 资源管理类：如智能指针、容器类等，使用移动语义可以避免复制开销。
2. 避免不必要的复制：当对象的大部分数据通过堆分配时，移动比复制更加高效。

5. 如何启用移动语义

在 C++ 中，想要启用移动语义，通常需要以下步骤：

• 定义移动构造函数和移动赋值运算符。
• 使用 std::move() 函数，显式地将左值转换为右值，以启用移动语义。

使用 std::move() 的示例：

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

在此例中，vec1 的内容被移动到 vec2 中，而不再进行深拷贝。vec1 在移动后进入空状态。