派生类对象复制控制

一、复制控制的核心概念与场景

复制控制机制是C++中处理对象创建、复制和销毁的核心手段。在继承体系中，当派生类对象被复制时，需要特别关注以下关键点：

1. 复制场景

   • 拷贝构造函数调用：当用已存在的对象初始化新对象时
   • 赋值操作符调用：当用一个对象赋值给另一个对象时
   • 析构函数调用：当对象生命周期结束时

2. 典型问题

   • 浅拷贝导致的指针悬挂（dangling pointer）
   • 资源泄漏（resource leak）
   • 自赋值（self-assignment）引发的异常

二、派生类复制的构造函数调用链

class Base {
public:
    Base() { /* 基类构造 */ }
    Base(const Base& other) { /* 基类拷贝构造 */ }
    ~Base() { /* 基类析构 */ }
};

class Derived : public Base {
public:
    Derived() : Base() { /* 派生类构造 */ }
    Derived(const Derived& other) : Base(other) { /* 派生类拷贝构造 */ }
    ~Derived() { /* 派生类析构 */ }
};

调用顺序分析：

1. 先调用基类构造函数（Base()）
2. 再调用派生类构造函数（Derived()）
3. 拷贝时先调用基类拷贝构造（Base(other)）
4. 再调用派生类拷贝构造（Derived()）
5. 析构时先调用派生类析构（~Derived()）
6. 再调用基类析构（~Base()）

注意点：

• 必须显式声明拷贝构造函数，否则将使用默认实现
• 未显式声明时，编译器会生成成员-wise拷贝（浅拷贝）
• 多态场景下，基类指针需要显式指定拷贝构造函数

三、浅拷贝与深拷贝的本质区别

class Base {
public:
    Base() : data(new int(0)) {}
    ~Base() { delete data; }
    // 浅拷贝版本
    Base(const Base& other) : data(other.data) {} // 仅复制指针
};

// 深拷贝实现方案
class Base {
public:
    Base() : data(new int(0)) {}
    ~Base() { delete data; }
    // 深拷贝版本
    Base(const Base& other) {
        data = new int(*other.data); // 显式分配新内存
        // 或通过成员初始化列表实现
        // Base(const Base& other) : data(new int(*other.data)) {}
    }
};

本质区别：

特征	浅拷贝	深拷贝
内存复制	仅复制指针值	重新分配内存并复制内容
内存管理	共享同一块内存	独立管理内存
异常安全	可能导致双重释放	保证内存分配失败时不会泄漏
对象独立性	两个对象共享资源	两个对象完全独立

四、包含指针成员的完整复制控制示例

class Base {
public:
    Base(int val) : data(new int(val)) {}
    ~Base() { delete data; }
    Base(const Base& other) {
        data = new int(*other.data);
        // 或使用成员初始化列表
        // Base(const Base& other) : data(new int(*other.data)) {}
    }
    int get() const { return *data; }
private:
    int* data;
};

class Derived : public Base {
public:
    Derived(int val, double dval) : Base(val), dblData(new double(dval)) {}
    ~Derived() { delete dblData; }
    // 显式声明拷贝构造函数
    Derived(const Derived& other) : Base(other), dblData(new double(*other.dblData)) {}
    double getDbl() const { return *dblData; }
private:
    double* dblData;
};

关键实现细节：

1. 成员初始化列表确保构造顺序正确
2. 拷贝构造函数需要显式初始化所有成员
3. 使用new/delete确保资源分配和释放
4. 通过指针成员实现对象状态的独立复制

五、最佳实践与常见错误规避

5.1 最佳实践

1. 显式声明复制控制函数：尤其是在涉及指针或资源时。
2. 深拷贝指针成员：使用new分配独立内存。
3. 遵循RAII原则：确保资源在对象生命周期结束时自动释放。
4. 避免手动内存管理：尽量使用智能指针（如std::unique_ptr）简化代码。

5.2 常见错误

• 浅拷贝：未复制指针指向的内容，导致内存泄漏。
• 未处理自赋值：拷贝时若对象赋值给自身，可能引发资源错误。
• 遗漏基类拷贝构造函数：仅实现派生类拷贝构造函数，导致基类资源未正确复制。
• 资源竞争：多线程中未加锁，导致复制过程破坏对象状态。

提示：若派生类包含指针成员或资源，必须显式定义拷贝构造函数和析构函数，否则编译器会生成浅拷贝版本，导致未定义行为（UB）。

---

六、总结

概念	关键洞察
构造顺序	派生类构造函数必须显式调用基类构造函数
拷贝模式	浅拷贝仅复制指针地址，深拷贝需要复制资源内容
内存管理	使用new分配资源，delete释放，遵循RAII
常见问题	自赋值、资源泄漏、未定义行为（UB）