深度解析C++11拷贝构造函数与拷贝赋值函数的调用时机

1次阅读

没有评论

共计 1760 个字符，预计需要花费 5 分钟才能阅读完成。

在 C ++11 中，拷贝构造函数和拷贝赋值函数是控制对象拷贝行为的核心机制。理解它们的调用时机和正确实现方式，对编写高效、安全的代码至关重要。本文将围绕这一主题展开详细讨论。

拷贝构造函数和拷贝赋值函数是 C ++ 中用于对象拷贝的特殊成员函数。

拷贝构造函数：当用一个已存在的对象初始化一个新对象时调用，其典型声明形式为ClassName(const ClassName& other)。
拷贝赋值函数：当已存在的对象被赋予另一个已存在对象的值时调用，通常声明为ClassName& operator=(const ClassName& other)。

在 C ++11 中，这两个函数可以配合移动语义（move 语义）使用，从而提高性能。

开发者在使用拷贝构造函数和拷贝赋值函数时，常会遇到以下问题：

不必要的拷贝：频繁的深拷贝会导致性能下降，尤其是在处理大型对象时。
浅拷贝陷阱：如果类中管理了动态内存或其他资源，默认的拷贝行为（浅拷贝）会导致内存泄漏或双重释放。
移动语义的误用：C++11 引入了移动语义，但如果不正确实现移动构造函数和移动赋值函数，反而会引入新的问题。

以下是一个简单的示例，展示如何正确实现这两个函数：

class MyString {
public:
    // 构造函数
    MyString(const char* str = "") {if (str) {m_data = new char[strlen(str) + 1];
            strcpy(m_data, str);
        } else {m_data = new char[1];
            *m_data = '\0';
        }
    }

    // 拷贝构造函数
    MyString(const MyString& other) {m_data = new char[strlen(other.m_data) + 1];
        strcpy(m_data, other.m_data);
    }

    // 拷贝赋值函数
    MyString& operator=(const MyString& other) {if (this != &other) {  // 防止自赋值
            delete[] m_data;    // 释放原有资源
            m_data = new char[strlen(other.m_data) + 1];
            strcpy(m_data, other.m_data);
        }
        return *this;
    }

    // 析构函数
    ~MyString() {delete[] m_data;
    }

private:
    char* m_data;
};

C++11 中可以通过实现移动构造函数和移动赋值函数来避免不必要的拷贝：

// 移动构造函数
MyString(MyString&& other) noexcept {
    m_data = other.m_data;
    other.m_data = nullptr;  // 将原对象的资源置空
}

// 移动赋值函数
MyString& operator=(MyString&& other) noexcept {if (this != &other) {delete[] m_data;
        m_data = other.m_data;
        other.m_data = nullptr;
    }
    return *this;
}