标题：【Cpp】类和对象#构造函数 析构函数

@水墨不写bug

（图片来源于网络）

---

 正文开始：

（一）构造函数

        构造函数是特殊的成员函数，需要注意的是，构造函数虽然名称叫构造，但是构造函数的主要任务并不是开空间创建对象，而是初始化对象。

其特征如下：
1. 函数名与类名相同。
2. 无返回值。（不需写为void）

class A {
public:A()//函数名和类名相同，且不需要写返回值类型{_a = 1;_c = 't';}private:int _a;char _c;stack st1;
};

3. 对象实例化时编译器自动调用对应的构造函数。（自动初始化，省去了Init（）函数）

class A {
public:A()//函数名和类名相同{_a = 1;_c = 't';}	
private:int _a;char _c;};
int main()
{A a1;	return 0;
}

（上述程序中，在创建a1后自动调用A（），将_a,_c初始化）
4. 构造函数可以重载。（构造函数可以有多个，也就是对象的初始化方式可以有多个）

        简单举一个例子：

class B {
public:B(){_a = 1;_c = 't';_arr = (int*)malloc(sizeof(int));}B(int n){_arr = (int*)malloc(sizeof(int) * n);_a = 1;_c = 't';}private:int _a;char _c;int* _arr;
};int main()
{B b1;B b2(100);return 0;
}

 （        b1对象没有传参，调用没有参数的构造函数；b2传了一个参数n，调用有一个参数的默认构造，可以指定开辟空间的大小）

        但是对于下面的重载，情况就有所不同了：

class B {
public:B(){_a = 1;_c = 't';_arr = (int*)malloc(sizeof(int));}B(int n = 8){_arr = (int*)malloc(sizeof(int) * n);_a = 1;_c = 't';}private:int _a;char _c;int* _arr;
};

（这两个函数显然构成函数重载，因为他们的参数个数不同。但是在不传参调用的时候，会导致编译器报错，因为编译器无法区分无参调用调用的具体是哪一个函数）

5. 如果类中没有显式定义构造函数，则C++编译器会自动生成一个无参的默认构造函数，一旦用户显式定义编译器将不再生成。

6.对于自动生成的默认构造函数，有如下性质：

        i，自定义类型（int，float，int*等）不做处理，仍然是随机值；

        ii，对于自定义类型（struct，class声明中的类），转跳到这个自定义类型的对应的构造函数中去，自动调用自定义类型的构造函数。

7.什么是默认构造，总结下来有如下几种情况：

        i，自己没有写，编译器自动生成的的构造函数是无参数的构造函数，也就是默认构造；

        ii，自己写了一个函数，但是没有参数，也可以被编译器识别为默认的构造函数，这时编译器就不会再自动生成一个构造函数了；

        iii，自己写了一个函数，有参数，但是是全缺省的参数，这也可被编译器识别为默认的构造函数，这时编译器就不会再自动生成一个构造函数了；

（注意：无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数，都可以认为是默认构造函数。但是要注意编译器生成的构造函数不会处理内置类型）

（二）析构函数

        析构函数：与构造函数功能相反，析构函数不是完成对对象本身的销毁，局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数，完成对象中资源的清理工作。

析构函数是特殊的成员函数，其特征如下：
1. 析构函数名是在类名前加上字符 ~。（~表示取反，暗示了清理资源的工作）
2. 无参数无返回值类型。（无需写void）

class stack{
public:stack(int n = 4)//函数名和类名相同{_arr = (int*)malloc(sizeof(int) * n);_top = 0;_capacity = 0;}~stack()//函数名和类名相同，不需要写返回值类型{free(_arr);_top = 0;_capacity = 0;}
private:int* _arr;int _top;int _capacity;
};

3.对象生命周期结束时，C++编译系统系统自动调用析构函数。

4.一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。注意：析构函数不能重载，也就是说析构只有一种方式。

5.对于自动生成的析构函数，有如下性质：

        i，对于自定义类型（int，float，int*等）不做处理，自定义类型本身不需要资源的释放；

        ii，对于自定义类型（struct，class声明中的类），转跳到这个自定义类型的对应的析构函数中去，自动调用自定义类型的析构函数。

6.从上述特性可以得出：如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数，比如Date类；有资源申请时，一定要写析构函数，否则会造成资源泄漏，比如Stack类。

总结：

        默认生成虽然好，但是如果默认生成的构造/析构函数在调用时由于只处理自定义类型，如果自定义类型的构造/析构没有写，那么即使是默认生成的函数，本质上也是没有做任何工作。

class stack{
public:stack(int n = 4)//函数名和类名相同{_arr = (int*)malloc(sizeof(int) * n);_top = 0;_capacity = 0;}/*~stack(){free(_arr);_top = 0;_capacity = 0;}*/
private:int* _arr;int _top;int _capacity;
};class A {
public:A()//函数名和类名相同{_a = 1;_c = 't';}private:int _a;char _c;stack st1;
};

（虽然A类没有写析构，但是编译器会默认生成，处理A中需要释放的资源st1；但是st1的类没有写析构函数，也只是调用默认生成的析构，这时，st1中的动态申请的堆空间就无法释放了，造成内存泄漏）

        所以，我们能自己写的构造/析构，就最好自己写，不要过分依靠编译器默认生成。 

---

完·~ 

未经作者同意禁止转载