C++ 类和对象：拷贝构造与赋值运算符重载详解

深拷贝的实现： 为了避免上述问题，我们需要手动分配新空间并复制数据。

Stack(const Stack& s) {
    _a = (STDataType*)malloc(sizeof(STDataType) * s._capacity);
    if (_a == NULL) {
        perror("realloc fail");
        return;
    }
    memcpy(_a, s._a, s._top * sizeof(STDataType));
    _capacity = s._capacity;
    _top = s._top;
}

1.2 关键：拷贝构造的调用场景

拷贝构造函数主要在以下情况被调用：

1. 用一个对象初始化另一个同类的对象（创建同时初始化）。

   Example a;
   Example b(a); // 调用拷贝构造函数
   Example c = a; // 调用拷贝构造函数
   

2. 函数参数按值传递该类的对象。

   void func(Example obj) { ... }
   Example a;
   func(a); // 调用拷贝构造函数
   

   注意：形参是用实参拷贝构造出来的新对象，进入函数体前已完成拷贝。

二、赋值运算符重载

2.1 铺垫：运算符重载特点

当运算符用于类类型的对象时，C++ 允许通过运算符重载指定新的含义。以下是关键点：

1. 运算符重载本质是具有特殊名字的函数，名称由 operator 和运算符构成。
2. 参数个数需与操作对象数量匹配。一元运算符一个参数，二元运算符两个参数。
3. 若作为成员函数，第一个运算对象隐式为 this 指针，参数比运算对象少一个。
4. 不能改变内置类型运算符的含义，至少有一个参数必须是类类型。
5. .*, ::, sizeof, ? :, . 这五个运算符不可重载。
6. 后置 ++ 重载时需增加一个 int 形参以区分前置 ++。
7. << 和 >> 通常重载为全局函数，以便左侧为流对象，右侧为类对象。

2.2 进阶：赋值运算符重载特点

赋值运算符重载用于完成两个已存在对象之间的拷贝，需与拷贝构造区分开。

1. 必须是成员函数，参数建议写成当前类类型引用传参。
2. 返回值：建议写成当前类类型引用，支持连续赋值（如 a = b = c）。
3. 自赋值检查：实现时必须检查 this != &d，防止自我赋值导致资源丢失。
4. 浅拷贝与深拷贝：原则与拷贝构造一致，有资源管理的类需自定义深拷贝。

核心：理解赋值运算符重载

#include <iostream>
using namespace std;

class Date {
public:
    Date(int day = 8, int month = 1, int year = 2026) {
        _day = day; _month = month; _year = year;
    }
    // 拷贝构造
    Date(const Date& d) {
        _day = d._day; _month = d._month; _year = d._year;
    }
    // 赋值重载
    Date& operator=(const Date& d) {
        if (this != &d) {
            _day = d._day;
            _month = d._month;
            _year = d._year;
        }
        return *this; // 返回 d1 别名，支持链式赋值
    }
    void Print() {
        cout << _year << '/' << _month << '/' << _day << endl;
    }
private:
    int _day;
    int _month;
    int _year;
};

int main() {
    Date d1(1, 1, 1);
    Date d2(d1);      // 拷贝构造
    Date d3 = d1;     // 拷贝构造
    d2.Print();
    d3.Print();
    
    Date d4;
    d4 = d1;          // 赋值重载
    d4.Print();
    return 0;
}

为什么可以传引用返回？ 在赋值运算符中，this 指向的对象并非局部变量，函数结束后不会销毁，因此返回引用无需担心对象失效，反而能提高效率。

总结

拷贝构造函数与赋值运算符重载构成了 C++ 对象复制机制的核心支柱。前者负责对象初始化时的复制，后者负责已存在对象间的赋值。掌握这些复制控制机制，不仅能写出更安全的代码，更能深入理解 C++ 对象生命周期的管理哲学。这是从 C++ 使用者迈向设计者的重要一步。