[C++] 拷贝构造函数 && 深拷贝、浅拷贝

说明：在C++中，拷贝构造函数是一个特殊的构造函数，它用于创建一个新对象，这个新对象是另一个同类型对象的副本。拷贝构造函数通常接受一个参数，这个参数是对另一个对象的引用，并且这个引用是一个常量引用，以确保不会通过拷贝构造函数修改原始对象的状态。

拷贝构造函数的基本声明格式如下：

class MyClass {

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

这里的MyClass是类的名称，other是传递给拷贝构造函数的常量引用参数，表示要拷贝的对象。拷贝构造函数的主要作用主要有3个，包括：

1. 创建对象副本：当你需要根据一个已存在的对象创建一个新的对象时，拷贝构造函数非常有用。这个新对象将拥有原始对象的所有数据成员的副本。
2. 值传递：在函数参数传递或从函数返回时，如果需要传递对象的副本而不是引用或指针，拷贝构造函数将被自动调用。
3. 容器操作：在使用如std::vector、std::list等容器时，当插入或赋值操作需要复制对象时，会调用拷贝构造函数。

关于深拷贝、浅拷贝的解读：浅拷贝仅复制对象的成员变量的值，如果包含指针，则新旧对象共享同一内存地址。深拷贝则为新对象创建独立的资源副本，包括指针指向的内容，避免共享。

在对拷贝构造函数、深拷贝、浅拷贝有了一定了解的基础上，我们再详细了解下C++中为什么引入拷贝构造函数。

1 C++中为什么引入拷贝构造函数？

在C++程序设计中，引入拷贝构造函数是为了确保当对象被复制时，其数据和状态也能被正确复制。拷贝构造函数是一个特殊的构造函数，它接受一个同类型对象的引用作为参数，并用这个参数对象的状态来初始化新创建的对象。

以下是引入拷贝构造函数的几个主要原因：

• 保证对象的深拷贝：默认的复制操作可能只是简单地复制对象的成员变量，这被称为浅拷贝。如果对象中包含指针等指向动态分配内存的成员，浅拷贝会导致新旧对象指向同一块内存，这可能会导致资源泄露或内存错误。通过自定义拷贝构造函数，可以实现深拷贝，为新对象分配独立的内存空间，确保对象的独立性和正确性。
• 管理资源：当对象拥有资源（如动态内存、文件句柄等）时，拷贝构造函数可以用来确保每次复制对象时，这些资源也能被正确管理。例如，可以确保每个对象都有自己的资源副本，避免资源冲突。
• 保持对象状态的一致性：在某些情况下，对象的状态需要与其他对象或系统状态同步。通过自定义拷贝构造函数，可以确保新对象的状态与原对象保持一致，或者根据需要进行适当的调整。
• 实现对象的多态行为：在使用基类指针或引用指向派生类对象时，拷贝构造函数能够确保派生类对象的特定行为被正确复制。这有助于保持对象的多态性，使得代码更加灵活和可扩展。
• 遵循值语义：在C++中，值语义是一种编程习惯，它鼓励使用对象的副本而不是引用或指针。自定义拷贝构造函数可以提供符合预期的值语义，使得对象的复制行为更加清晰和可控。
• 优化性能：在某些情况下，通过自定义拷贝构造函数，可以优化对象复制的性能。例如，可以通过使用引用计数等技术来避免不必要的深拷贝操作，从而提高程序的效率。
• 满足标准库要求：当对象需要与C++标准库中的容器（如std::vector、std::map等）一起使用时，这些容器可能会在插入、删除或排序操作中复制对象。自定义拷贝构造函数可以确保这些操作的正确性和效率。

总之，引入拷贝构造函数是为了提供更加安全、可靠和高效的对象复制机制，确保对象的资源得到正确管理，保持对象状态的一致性，并支持对象的多态性和值语义。通过自定义拷贝构造函数，开发者可以对对象复制的过程进行精细控制，从而提高代码的质量和可维护性。

2 拷贝构造函数使用详解

在C++中，拷贝构造函数是类定义中的一个重要部分，它用于创建一个对象的新副本。以下是一些在C++11标准之前版本中常见的拷贝构造函数使用案例。

2.1 简单数据类型拷贝（浅拷贝）

对于只包含简单数据类型（如基本类型、指针等）的类，编译器会自动生成拷贝构造函数。参考代码如下：

class Point {
public:
    int x, y;
    // 拷贝构造函数
    Point(const Point& p) : x(p.x), y(p.y) {}
};

在这个例子中，Point 类包含两个 int 类型的成员变量 x 和 y。拷贝构造函数接受一个 Point 类型的常量引用，并将其成员变量的值复制给新创建的对象。

2.2 含动态分配内存的拷贝（深拷贝）

当类包含动态分配的内存时，需要自定义拷贝构造函数来确保每次复制对象时，内存也被正确地复制。参考代码如下：

class String {

public:
    char* data;

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

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

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

在这个例子中，String 类使用 new 分配了一个字节数组来存储字符串。拷贝构造函数会创建一个新的数组，并复制原始字符串的内容到这个新数组中。

2.3 含有引用成员的类的拷贝

如果类中包含引用成员，通常需要在拷贝构造函数中进行特殊处理，因为不能有两个对象同时拥有同一个引用。参考代码如下：

class Container {

public:
    int& ref;
    // 拷贝构造函数
    Container(const Container& c) : ref(c.ref) {}
};

int main() {
    int value = 42;
    Container a(value);
    Container b(a); // 这里会调用拷贝构造函数，但是需要谨慎处理引用
    return 0;
}

在这个例子中，Container 类包含一个对 int 的引用。拷贝构造函数简单地将引用传递给新对象，但在实际应用中，这通常不是安全或有效的处理方式，可能需要考虑其他设计选择。

2.4 含有复杂类型成员的类的拷贝

当类包含其他对象作为成员时，拷贝构造函数会自动调用这些成员对象的拷贝构造函数。参考代码如下：

class Inner {

public:
    int data;
    Inner(int d) : data(d) {}
};

class Outer {

public:
    Inner inner;
    // 拷贝构造函数
    Outer(const Outer& o) : inner(o.inner) {}

};

在这个例子中，Outer 类包含一个 Inner 类型的对象作为成员。拷贝构造函数会自动调用 Inner 类的拷贝构造函数来复制成员对象。

2.5 禁止拷贝的类的拷贝构造函数

如果类不应该被拷贝，可以将拷贝构造函数声明为私有，并且不提供定义。参考代码如下：

class NonCopyable {

public:
    NonCopyable() {}
    // 拷贝构造函数声明为私有，防止类被拷贝

private:
    NonCopyable(const NonCopyable&);
};

在这个例子中，NonCopyable 类的拷贝构造函数被声明为私有，但没有定义，这样编译器就不会生成默认的拷贝构造函数，从而防止类的实例被拷贝。

以上案例展示了在C++标准之前版本中，拷贝构造函数在不同情况下的使用和实现。开发者需要根据类的具体需求来决定是否需要自定义拷贝构造函数，以及如何实现它。

3 C++11后，拷贝构造函数的升级

C++11标准引入了一系列新特性，对拷贝构造函数进行了扩展和提升，主要包括以下几个方面：

• 移动构造函数：C++11引入了移动构造函数，它专门用于处理右值引用，可以在不转移资源所有权的情况下，优化临时对象的拷贝或移动操作。移动构造函数通常与移动赋值运算符一起使用，以实现资源的高效转移。
• 拷贝构造函数的=delete：C++11允许显式地删除（=delete）或默认地删除（=default）拷贝构造函数，这样可以防止类的实例被拷贝或移动。这在设计不可拷贝或不可移动类时非常有用。
• 右值引用：C++11引入了右值引用，它允许开发者区分临时对象和非临时对象，从而优化拷贝和移动操作。

这些新特性使得C++11之后的版本在处理对象的拷贝和移动时更加灵活、高效和安全。开发者可以利用这些特性来设计出更加健壮和高效的类。