初学者在学习C++的时候都知道:如果在类中不定义构造函数的话,编译器会自动生成一些函数:
- 构造函数
- 拷贝构造函数
- 析构函数
- 赋值运算符
请注意:这种说法是错误的!!!!
正确的说法应该是:当上述这些构造函数真的被用到的时候,编译器才会自动生成相应的构造函数。
那什么情况才会被用到呢?
- 含有类对象数据成员,该类对象类型有默认构造函数
- 基类带有默认构造函数的派生类
- 带有虚函数的类
- 带有虚基类的类
下面我们来验证一下(图片中左侧是我们平时写的代码,右侧是编译后编译器添加的某些代码):
定义一个A类,里面不定义构造函数
情况一:含有类对象数据成员,该类对象类型有默认构造函数
右侧B类中多了默认构造函数。
情况二:基类带有默认构造函数的派生类
这里B是基类,A继承了B,与情况一的B类,唯一不同的是,把成员对象m_a去掉了。
情况三:带有虚函数的类
情况四:带有虚基类的类
情况三和情况四都是在main函数中定义了实例对象,编译器才会生成默认的构造函数,如果不定义就不会生成。可这种情况与使用普通类一样。
因为定义一个对象,需要调用构造函数,编译器当然会生成默认构造函数了。
所以对情况三和情况四的情况,还待认证,暂时不清楚。
总结:如果类中没有定义构造函数的话,只有使用到时编译器才会生成默认的构造函数。拷贝构造,赋值运算符、析构函数也一样。