“默认”指的是,我们不写,编译器会自动帮我们生成一个。当派生类的对象以不同的方式被创建时(无参、有参、对象赋值),默认成员函数是如何被调用的??此时我们需要明确一点,调用默认成员函数的目的是为了初始化 / 销毁成员变量。
目录
1、默认成员函数的调用
(1) 默认构造函数
Student stu; // 此时调用的是默认构造函数
假设Student类继承了 Person类,那么Student类中包含了两部分内容:
- 父类的成员(_No)
- 子类自己定义的成员(_name、_sex、_age)
子类在创建对象的时候会初始化这两部分成员
- 父类成员的初始化会调用父类的默认构造函数
- 子类成员的初始化会调用子类自己的默认构造函数
(2) 拷贝构造和赋值操作符函数
Student s1;
Student s2(s1); // 调用拷贝构造
Student s3 = s1; // 调用赋值操作符函数operator=()
子类会调用拷贝构造或者赋值操作符 来初始化自身成员,但是初始化父类成员的时候,就存在两种情况:
- 子类显式初始化父类成员:调用父类的拷贝构造
- 子类没有显式初始化父类成员:调用父类的默认构造
注意:此时依然是先初始化父类成员,再初始化子类成员
2、什么情况下需要手动添加默认成员函数?
默认成员函数有一条很重要的特性,如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定 义编译器将不再生成
(1) 子类定义了其他构造函数,但父类无默认构造
以上面的拷贝构造为例,如果我们不去显式初始化父类,父类就会去调用默认构造函数,但是子类里已经定义了一个拷贝构造函数,此时就不会生成其他构造函数了,所以需要我们手动去添加父类的默认构造函数。
(2) 子类有资源需要释放
如果子类存在成员在堆上开辟了空间,为了释放这块资源,我们显式添加析构函数手动释放这部分资源。
注意:显式添加析构函数的时候,无需主动调用父类的析构函数,至于原因,留到其他文章说明
(3) 子类存在浅拷贝问题
如果子类调用拷贝构造函数或者赋值函数的时候,存在浅拷贝问题,这个时候就要手动添加拷贝构造 和 赋值函数。