只谈C++11新特性 - 用于移动语义的特殊成员函数-优快云博客

本文链接：https://blog.youkuaiyun.com/magicworkshop/article/details/144838840

用于移动语义的特殊成员函数

引言

在 C++11 之前，C++ 的资源管理通常依赖于拷贝构造函数和赋值运算符。然而，在处理动态资源时，这种方式可能会导致性能问题。让我们通过一个具体的例子来说明：

#include <iostream>
#include <vector>

class MyClass {
private:
    int* data;

public:
    MyClass(int value) : data(new int(value)) {}

    ~MyClass() { delete data; }

    // 拷贝构造函数
    MyClass(const MyClass& other) : data(new int(*other.data)) {
        std::cout << "Copy Constructor Called\n";
    }

    int getValue() const { return *data; }
};

MyClass createObject() {
    return MyClass(42);
}

int main() {
    MyClass obj1 = createObject();
    return 0;
}

在这个示例中，createObject 函数返回一个临时对象。在 C++98 中，临时对象会通过拷贝构造函数将数据复制到目标对象中，导致性能低下。对于资源密集型的对象（如动态分配的内存、大型数组或文件句柄），这种复制操作是非常昂贵的。

为了优化这种情况，C++11 引入了移动语义和相应的特殊成员函数。

移动语义的引入

C++11 引入了以下两种新的特殊成员函数：

移动构造函数：允许对象的资源从一个临时对象（右值）“移动”到另一个对象，而不是复制。
移动赋值运算符：允许对象在赋值过程中“接管”另一个对象的资源。

特性引入的目的

通过移动语义，可以避免不必要的资源分配和释放操作，从而显著提升性能。移动语义的核心思想是：将资源的所有权从一个对象转移到另一个对象，而不是复制资源。

实现移动语义的代码示例

以下是上述示例的改进版本，使用了 C++11 的移动语义：

#include <iostream>
#include <utility>

class MyClass {
private:
    int* data;

public:
    MyClass(int value) : data(new int(value)) {}

    ~MyClass() { delete data; }

    // 拷贝构造函数
    MyClass(const MyClass& other) : data(new int(*other.data)) {
        std::cout << "Copy Constructor Called\n";
    }

    // 移动构造函数
    MyClass(MyClass&& other) noexcept : data(other.data) {
        other.data = nullptr;
        std::cout << "Move Constructor Called\n";
    }

    // 移动赋值运算符
    MyClass& operator=(MyClass&& other) noexcept {
        if (this != &other) {
            delete data; // 释放当前对象的资源
            data = other.data;
            other.data = nullptr;
            std::cout << "Move Assignment Operator Called\n";
        }
        return *this;
    }

    int getValue() const { return data ? *data : 0; }
};

MyClass createObject() {
    return MyClass(42);
}

int main() {
    MyClass obj1 = createObject(); // 调用移动构造函数
    return 0;
}

代码解析

移动构造函数
- 参数是右值引用类型（MyClass&&）。
- 将资源的所有权转移到新对象中，并将源对象的指针置为 nullptr，以避免重复释放资源。
移动赋值运算符
- 检查自赋值情况（if (this != &other)）。
- 释放当前对象的资源，然后接管源对象的资源。
右值优化
- 当 createObject 返回一个临时对象时，编译器会优先使用移动构造函数，而不是拷贝构造函数。