C++类class：构造函数，析构函数，拷贝构造函数

C++中定义一个类的时候，编译器会提供几个构造函数和析构函数，以及拷贝构造函数，但是我们在使用的时候依靠编译器给的函数往往是无法构成我们想要的完整功能，此时则需要我们自己定义这几个成员函数。

默认构造函数根据默认值初始化类中成员，编译器自带一个空执行默认构造函数。

有参构造函数根据传入参数初始化类中成员。

拷贝构造函数则是类对象需要拷贝时用于拷贝的构造函数，编译器自带一个直接复制所有成员的拷贝构造函数。

析构函数是在对象生命周期结束时用于释放内存的函数，编译器自带一个空执行析构函数。

值得注意的是，在类中如果申请了堆内存，一定要重写拷贝构造函数和析构函数，不然在运行过程中会产生野指针重复析构等bug。

以一个数组类c_array为例：

class c_array
{
private:
    int arr_size;
    int* arr;
};

c_array类的成员分别是arr_size以及arr，分别为数组的元素个数以及数组的存放地址。

首先我们需要一个默认构造函数，默认构造函数是在没有参数的情况下实例化一个类对象时使用的构造函数，用于初始化类对象。根据我们对c_array的需求，可以用于接收arr_size并根据其创建一个空数组。

c_array::c_array()
{
    getsize();
    arr = new int[arr_size];   
}

根据两个初始化目标，getsize()函数用于接收输入值，arr则是根据其具体数值在栈区内存开辟了一个用于存放数组的空间以便接收具体的数值。getsize()作为类内的一个成员函数实现，以便其他函数调用：

void c_array::getsize()
{
    cout<< "维数:" <<  endl;
    cin >> arr_size;
}

c_array a;//创建一个实例

此时实例化一个c_array类时，会提示输入维数，输入维数之后构造函数则会创建一个对应的空数组。

但是每次创建一个新变量都需要手动输入数组的维数显然不方便，此时则需要有参构造函数，在实例化类对象时传入参数，直接根据参数获得维数并创建新的空数组：

c_array::c_array(int size) :arr_size(size), arr(new int[size])
{
}

然后需要注意的是析构函数，由于我们在创建动态数组时开辟了堆内存空间，堆内存的特点就是要手动释放，因此在析构时应该释放堆内存：

c_array::~c_array()
{
    //释放堆区内存
    if (arr != NULL)
    {
        delete[] arr;
        arr = NULL;
    }
}

如果不利用析构函数释放申请的堆内存，程序完整运行结束之前内存则会一直被占用，不利于计算资源的合理使用。

接着就是重点，拷贝构造函数的重写。由于编译器默认的拷贝构造函数为直接复制成员函数，称为浅拷贝，相当于：

c_array::c_array(const c_array& a)
{
    this->arr_size = a.arr_size;
    this->arr = a.arr;
}

此时会出现一个问题，arr是存放我们数组的指针，此时拷贝构造函数直接将a中数组的地址复制给了this中数组的地址，导致被复制出来的对象和原对象指向的是同一个堆内存。

此时修改其中一个实例数组中的变量，另一个也会随之更改，当其中一个对象1结束其生命周期被析构函数释放时，另一个对象2指向的内存就变成了空，成为一个野指针。此时再使用对象2时会出现乱码。

当对象2结束其生命周期被析构函数释放时，由于其成员中的arr指针成为了野指针，释放其指向的内存空间则会产生越界行为而使程序崩溃。

因此，如果想要正常实现其功能，应该在拷贝对象时重新申请堆内存，并将其中的变量逐一复制，称为深拷贝：

c_array::c_array(const c_array& a)
{
    //深拷贝，重新申请堆区内存，默认拷贝只拷贝堆地址，会重复析构空内存
    arr_size = a.arr_size;
    arr = new int[arr_size];
    for (int i = 0; i < arr_size; i++)
    {
        arr[i] = a.arr[i];
    }
}

手动重写深拷贝构造函数后就可以正常使用其功能了，在后续重载类运算符时会多次产生类似的情况，从内存的角度理解变量有益于加深对程序的理解。