<Insidethe C++ Object Model>里总结了如下四种情况:
1.如果类内部有成员对象,并且成员对象带有默认构造函数,那么编译器有必要为
这个类合成默认构造函数,以初始化这些成员对象。并且成员对象初始化的顺序是按他们在类中声明的顺序。
例:
class BlackBall {
public:
BlackBall(){ cout << "BlackBall()"<< endl; }
};
class RedBall {
public:
RedBall() {cout << "RedBall()"<< endl; }
};
class WhiteBall {};
class Container {
public:
WhiteBallwhiteBall;
BlackBallblackBall;
RedBallredBall;
};
编译器为Container类合成的默认构造函数可能像下面这个样子:
2. 如果一个没有任何constructor的类派生自一个带有defaultconstructor基类,那么编译器需要为这个
类合成一个default constructor,在这个defaultconstructor中调用基类的default construct。
<wbr><span style="font-size:18px"></span><wbr><span style="font-size:18px">如果一个类有各种constructor,但其中没有defaultconstructor,那么编译器会扩展每个constructor,<br> 在每个constructor的开头插入调用基类的defaultconstructor的代码。<br><br> 3. 如果类声明或继承了一个虚函数,那么编译器需要为这个类合成一个defaultconstructor<br> (如果已经存在constructor,就会扩展这个构造函数),以初始化编译器安插在这个类中的指向vtable的指针。<br> 例:<br></span><pre code_snippet_id="192971" snippet_file_name="blog_20140218_3_8035496" name="code" class="cpp"><span style="font-size:18px;">class WithVF { public: virtual voidvf() {} }</span></pre> <span style="font-size:18px"><br><br> 编译器合成的default constructor可能像下面这个样子:<br></span><pre code_snippet_id="192971" snippet_file_name="blog_20140218_4_8144180" name="code" class="cpp"><span style="font-size:18px;">WithVF::WithVF() { this->vptr = ...//address of vtable }</span></pre> <span style="font-size:18px"><br><br><br> 4. 如果一个类虚继承了一个基类,那么编译器需要为这个类合成一个defaultconstructor<br> (如果已经存在constructor,就会扩展这个构造函数),以初始化编译器安插在这个类中的指向VirtualBase Class的指针。</span></wbr></wbr>
Container::Container() {
BlackBall::blackBall();
RedBall::redBall();
}
2. 如果一个没有任何constructor的类派生自一个带有defaultconstructor基类,那么编译器需要为这个
类合成一个default constructor,在这个defaultconstructor中调用基类的default construct。
<wbr><span style="font-size:18px"></span><wbr><span style="font-size:18px">如果一个类有各种constructor,但其中没有defaultconstructor,那么编译器会扩展每个constructor,<br> 在每个constructor的开头插入调用基类的defaultconstructor的代码。<br><br> 3. 如果类声明或继承了一个虚函数,那么编译器需要为这个类合成一个defaultconstructor<br> (如果已经存在constructor,就会扩展这个构造函数),以初始化编译器安插在这个类中的指向vtable的指针。<br> 例:<br></span><pre code_snippet_id="192971" snippet_file_name="blog_20140218_3_8035496" name="code" class="cpp"><span style="font-size:18px;">class WithVF { public: virtual voidvf() {} }</span></pre> <span style="font-size:18px"><br><br> 编译器合成的default constructor可能像下面这个样子:<br></span><pre code_snippet_id="192971" snippet_file_name="blog_20140218_4_8144180" name="code" class="cpp"><span style="font-size:18px;">WithVF::WithVF() { this->vptr = ...//address of vtable }</span></pre> <span style="font-size:18px"><br><br><br> 4. 如果一个类虚继承了一个基类,那么编译器需要为这个类合成一个defaultconstructor<br> (如果已经存在constructor,就会扩展这个构造函数),以初始化编译器安插在这个类中的指向VirtualBase Class的指针。</span></wbr></wbr>