【C++】拷贝构造函数、拷贝赋值函数与析构函数

在C++中，拷贝构造函数、拷贝赋值函数和析构函数是类的重要组成部分，它们共同管理着对象的生命周期和内存使用。本文将对这三个函数进行详细的阐述，并通过代码实例来加深理解。

一、拷贝构造函数（Copy Constructor）

拷贝构造函数是一种特殊的构造函数，用于创建一个新对象作为另一个已存在对象的副本。其一般形式如下：

cpp

class MyClass {
public:
    MyClass(const MyClass& other); // 拷贝构造函数
    // ... 其他成员函数 ...
};

拷贝构造函数通常在以下情况下被调用：
使用一个对象去初始化另一个对象时（非直接初始化）。
对象作为函数参数，以值传递的方式传入时。
对象作为函数返回值，以值返回的方式返回时。
下面是一个简单的示例：

cpp

#include <iostream>

class String {
private:
    char* data;
    int length;

public:
    // 构造函数
    String(const char* str) {
        length = strlen(str);
        data = new char[length + 1];
        strcpy(data, str);
    }

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

    // 析构函数
    ~String() {
        delete[] data;
    }

    // 省略其他成员函数...
};

int main() {
    String str1("Hello");
    String str2 = str1; // 调用拷贝构造函数
    return 0;
}

在上面的例子中，String类的拷贝构造函数确保了str2是str1的一个深拷贝，而不是简单的浅拷贝，从而避免了在str1析构后str2中指向的内存被释放的问题。

二、拷贝赋值函数（Copy Assignment Operator）

拷贝赋值函数是一个类的成员函数，用于将一个对象的值复制到另一个对象中。其一般形式如下：

cpp

class MyClass {
public:
    MyClass& operator=(const MyClass& other); // 拷贝赋值函数
    // ... 其他成员函数 ...
};

拷贝赋值函数在以下情况下被调用：
对象使用=操作符进行赋值时。
下面是拷贝赋值函数的一个示例：

cpp

class String {
    // ... 省略之前的成员和构造函数 ...

    // 拷贝赋值函数
    String& operator=(const String& other) {
        if (this != &other) { // 避免自赋值
            delete[] data; // 释放原有内存
            length = other.length;
            data = new char[length + 1];
            strcpy(data, other.data);
        }
        return *this;
    }

    // ... 省略其他成员函数...
};

int main() {
    String str1("Hello");
    String str2("World");
    str2 = str1; // 调用拷贝赋值函数
    return 0;
}

在这个例子中，我们需要注意拷贝赋值函数中的自赋值检查，以防止对同一对象进行赋值操作时出现错误。

三、析构函数（Destructor）

析构函数是一个特殊的成员函数，当对象的生命周期结束时，它会被自动调用。析构函数用于释放对象所使用的资源。其一般形式如下：

cpp

class MyClass {
public:
    ~MyClass(); // 析构函数
    // ... 其他成员函数 ...
};

析构函数在以下情况下被调用：
对象离开其作用域时（例如离开函数体或块作用域）。
对象被显式删除时（使用delete操作符）。
容器对象（如std::vector）的元素被销毁时。
对于String类，我们已经在前面定义了析构函数，它负责释放data指针所指向的内存。

四、总结

拷贝构造函数、拷贝赋值函数和析构函数是C++中管理对象生命周期和资源的重要工具。正确地实现这些函数可以避免许多常见的内存问题，如内存泄漏、野指针等。在编写类时，我们需要特别注意这些函数的实现，确保它们能够正确地处理对象的内存和资源。