【C++】类和对象 从入门到超神 (中)

目录

一、默认成员函数

二、构造函数

2.1 什么是构造函数

2.2 构造函数的特性(上)

2.2 构造函数的特性(下)

三、析构函数

3.1 概念

3.2 特性

---

一、默认成员函数

在C++中，如果一个类中什么成员都没有，简称为空类

空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成6个默认成员函数。

默认成员函数：用户没有显示实现，编译器会生成的成员函数称为默认成员函数。

class Date
{};

---

二、构造函数

2.1 什么是构造函数

构造函数是特殊的成员函数，其主要任务不是开辟空间创建对象，而是初始化对象。其名字和类名相同，创建类类型对象时由编译器自动调用，以保证每个数据成员都有一个合适的初始值，并且在对象整个生命周期内只调用一次。

2.2 构造函数的特性(上)

1. 函数名与类名相同
2. 无返回值
3. 对象实例化时编译器自动调用对应的构造函数
4. 构造函数可以重载

接下来，我们定义一个日期类，创建两个对象，再定义两个构造函数，看看分别调用他们的使用情况.

 以上四种特性都可以在上面例子中得到体现。

但是我们在使用过程中通常不这样定义，因为这样我们就多定义了一个构造函数，并且失去了自由度，所以我们在定义构造函数时通常配合着全缺省参数来实现，这样定义的构造函数被广泛使用。

 这样，即使我们传入一个参数1999，依然可以很好的将对象初始化，这就是全缺省参数型构造函数的好处。

注意，如果是全缺省参数型的构造函数，就不能定义无参的构造函数了，这样在调用函数时就会发生歧义，要将无参的构造函数删除。

---

2.2 构造函数的特性(下)

如果用户没有定义构造函数，则编译器会自动生成一个无参的默认构造函数。

我们一起来看看，我们将Date类中自己定义的构造函数屏蔽，来观察一下结果。

？？全是随机值，这是为什么，为什么编译器自动生成的构造函数没有进行初始化呢？ 

关于编译器生成的默认成员函数，在不实现构造函数的情况下，编译器会生成默认的构造函数。但是默认的构造函数对内置类型(基本类型)没有进行初始化，依然是随机值，也就是说编译器默认生成的默认成员函数没有什么用吗？

C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类型,如：int/char/指针…… 自定义类型就是我们使用class、struct、union等自己定义的类型。默认生成的构造函数会初始化自定义类型，而不会初始化内置类型。

默认生成的构造函数：

• 内置类型不做处理
• 自定义类型成员回去调用他的默认构造函数

所以，像MyQueue(自制两个栈模拟队列)这种自定义类型就可以直接去调用栈的构造函数，这样默认构造函数才算起来作用。

栈的初始化函数

如果我们将栈的构造函数屏蔽，就会出现以下情况：

 因为栈其中是内置类型，而栈的默认构造函数不做处理；接着队列会调用栈的构造函数，所以导致栈和队列中都是随机值。

C++ 11 添加的补丁

对于内置类型不做处理其实是C++当初的设计缺陷，所以在C++11中，C++标准委员会推出了可以在定义时赋予一个缺省值，以来弥补默认构造函数不对内置类型初始化的缺陷。

如下：

注意！这是在定义时赋予缺省值，不是初始化，但是承担了初始化的作用。

默认构造函数

默认构造函数有三类：

• 我们不写，编译器自动生成的
• 我们自己写的，全缺省构造函数
• 我们自己写的，无参构造函数

以上三种，在对象定义时都会默认调用，默认调用的构造函数就是默认构造函数。

所以，如果我们定义一个有参数但是没有缺省值的构造函数，编译器就不会去默认调用，不能称之为默认构造函数，并且会发生编译错误。

---

三、析构函数

3.1 概念

通过前面构造函数的学习，我们知道一个对象是怎么来的，那一个对象又是怎么没的呢？

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

3.2 特性

析构函数是特殊的成员函数，其特征如下：

1. 析构函数名是在类名前加上~
2. 无参数无返回值类型
3. 一个类只能有一个析构函数，则析构函数不能重载。若未显式定义，系统会自动生成默认的析构函数。
4. 对象生命周期结束时，C++编译系统会自动调用析构函数。

接下来我们写一个Date类的析构函数吧

在Date类中，对象并未额外开辟空间，所以我们无需额外定义析构函数，直接调用编译器默认的析构函数即可。

那我们来举例一个栈的析构函数，栈中额外开辟了空间，所以我们在调用默认析构函数时要释放我们额外开辟的空间，如果仅用系统默认的析构函数就会产生内存泄漏.

默认生成的析构函数特点(与构造函数类似)：

• 内置类型不做处理
• 自定义类型去调用他本身的析构函数

所以像Myqueue这种自定义类型的对象就十分方便，我们凭借打印来看看是如何调用析构函数的。

---