很多C++教程都有说到,如果一个class 没有构造函数,那么编译器会暗地里给这个class 加上一个 default 构造函数。于是刚开始学习的时候,有的人便以为,在default 构造函数中会进行一些必要的初始化工作,再由于懒的缘故(me J) ,于是便忽略了构造函数。
其实不然,甚至恰恰相反,default constructor 的作用并不是为程序语言使用者服务的,而是由于编译器的需要。
什么是编译器的需要呢?
一:父类有default constructor 而子类没有时
我们知道,如果一个类A继承于类B,如果他们都有构造函数,则在构造类A的对象a_obj 时,首先会调用类B的构造函数,然后再调用A的构造函数。那么应该如何实现呢?这就是编译器为我们做的事情了,为了实现这样的C++标准,编译器在A的每个构造函数中都加入了一些代码,负责调用父类的构造函数,并且这些隐藏的代码是添加在 usre_code 前面,这就是为什么B的构造函数的处理会先于A的原因。可能刚开始学习的时候,我们会以为是先调用了B的构造函数,然后再调用A的构造函数,其实不然,如果你清楚了刚才所说的‘隐藏的代码’,那么就知道,是先调用了A的构造函数,然后在A的构造函数中的user-code 之前调用了B的构造函数。这样我们就应该理解为父类的 user-code 总是先于 子类的 user-code 执行。
class B
{
B(){}
……
}
class A : public B
{
A()
{
// [likely hint code by compiler]
B::B();
// [user-code for initialize]
……
}
}
上面是A有构造函数的情况,那如果A的设计者没有加入构造函数呢。假设现在我们要构造A的对象,A a_obj; 既然C++标准都说了此时必须先执行B构造函数,那就得想办法去解决这个问题啊!——这就是default constructor 发挥的时候了。为了能实现上面的标准,编译器便为类A添加了default constructor,并在其中加入之前我们说的‘隐藏代码’。OK,这样就不违背C++标准了吧,HOHO……
这就是so-called 编译器的需要。
当然了这只是之一……
二:使用组合的时候
即在某类A(没有构造函数)中的数据成员,包含了类B的对象:这个时候如果构造了A对象,那么B对象也随之产生,但是由于A没有构造函数,而B对象的构造函数又必须在构造的时候调用,于是,default constructor 又有发挥余地了,在编译器为A添加该构造函数,并在构造函数中对B对象的构造函数进行调用。
class B
{
B(){}
……
}
class A
{
B b_obj;
……
}
三:在包含virtual 函数的class 中
在C++中对virtual function 的支持采用的方法是:首先把所有的virtual function 都放置在一个表中,称之为 virtual function table(vtbl) ,然后在class中加入隐藏的指针 vptr 指向该table,……(知道前面的就OK),假设这样的一个类A,如果我们构造了A的某个对象,那么该对象的vptr 指针必须赋予一个地址,指向 vtbl。这个赋值步骤通常有编译器完成,它暗自在A的构造函数中加入了这个赋值语句。 我想现在大家应该知道 default constructor 的作用了,如果A没有了构造函数,那么编译器就为其增加一个,并加上vptr 的初始化语句。
四:带有 virtual Base Class 的class
以前就没怎么用virtual base class ,概念不太清楚,过几天再补上,……哈!
总结:
可见,所谓的编译器自动构造的default constructor 并不是为程序员服务的,它只做它关心的,哪有时间管我们的初始化杂事%¥#……,如果你的程序需要初始化,而你总是忘记,那试着相信上帝,god bless you~ 哈~
参考: C++对象模型 铁胆神候 J