C++如何实现复合对象的移动语义-C++-PHP中文网

C++如何实现复合对象的移动语义

P粉602998670

发布： 2025-09-02 08:43:01

原创

680人浏览过

实现复合对象的移动语义需定义移动构造函数和移动赋值运算符，通过std::move转移资源所有权而非深拷贝，提升效率；关键是要正确转移指针资源并置原对象为有效但未定义状态，且应声明noexcept以确保标准库能安全使用移动操作。

c++如何实现复合对象的移动语义

C++中实现复合对象的移动语义，简单来说，就是让对象内部的资源（比如指针指向的内存）所有权转移，而不是进行深拷贝。这样可以避免不必要的资源复制，提高效率。

实现复合对象的移动语义，关键在于正确地实现移动构造函数和移动赋值运算符。

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

移动构造函数：

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

MyClass(MyClass&& other) noexcept : member1(std::move(other.member1)), member2(std::move(other.member2)) {
    // 将 other 的资源所有权转移给 *this
    // 将 other 置于有效但未定义的状态
}

登录后复制

移动赋值运算符：

MyClass& operator=(MyClass&& other) noexcept {
    if (this != &other) {
        // 释放当前对象的资源
        delete member1; // 假设 member1 是一个指针
        delete member2;

        // 转移 other 的资源所有权
        member1 = other.member1;
        member2 = other.member2;

        // 将 other 置于有效但未定义的状态
        other.member1 = nullptr;
        other.member2 = nullptr;
    }
    return *this;
}

登录后复制

为什么需要

noexcept

登录后复制

？

noexcept

登录后复制

关键字告诉编译器，这个函数不会抛出异常。这对于移动构造函数非常重要，因为标准库中的某些操作（例如

std::vector

登录后复制

的重新分配）依赖于移动构造函数不抛出异常。如果移动构造函数可能抛出异常，那么标准库可能不得不使用拷贝构造函数，从而失去移动语义的优势。

如何判断是否应该使用移动语义？

移动语义通常适用于以下情况：

对象拥有大量的资源，拷贝代价很高。
对象是临时的，拷贝后立即销毁。
对象是独占资源的管理者。

示例：一个简单的字符串类

#include <iostream>
#include <cstring>

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 called" << std::endl;
    }

    // 拷贝构造函数
    MyString(const MyString& other) : length(other.length) {
        data = new char[length + 1];
        std::strcpy(data, other.data);
        std::cout << "Copy constructor called" << std::endl;
    }

    // 移动构造函数
    MyString(MyString&& other) noexcept : data(other.data), length(other.length) {
        other.data = nullptr;
        other.length = 0;
        std::cout << "Move constructor called" << std::endl;
    }

    // 拷贝赋值运算符
    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 << "Copy assignment operator called" << std::endl;
        return *this;
    }

    // 移动赋值运算符
    MyString& operator=(MyString&& other) noexcept {
        if (this != &other) {
            delete[] data;
            data = other.data;
            length = other.length;

            other.data = nullptr;
            other.length = 0;
        }
        std::cout << "Move assignment operator called" << std::endl;
        return *this;
    }

    // 析构函数
    ~MyString() {
        delete[] data;
        std::cout << "Destructor called" << std::endl;
    }

    // 获取字符串内容
    const char* c_str() const {
        return data;
    }
};

int main() {
    MyString str1("Hello");
    MyString str2 = std::move(str1); // 调用移动构造函数
    std::cout << "str2: " << str2.c_str() << std::endl;

    MyString str3("World");
    str3 = std::move(str2); // 调用移动赋值运算符
    std::cout << "str3: " << str3.c_str() << std::endl;

    return 0;
}

登录后复制

输出结果:

ViiTor实时翻译

AI实时多语言翻译专家！强大的语音识别、AR翻译功能。

116

查看详情

Constructor called
Move constructor called
str2: Hello
Constructor called
Move assignment operator called
str3: Hello
Destructor called
Destructor called
Destructor called

登录后复制

从输出结果可以看出，移动构造函数和移动赋值运算符被成功调用，并且没有进行深拷贝。

std::move 的作用是什么？