<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。
如果一个类有各种constructor,但其中没有defaultconstructor,那么编译器会扩展每个constructor,
在每个constructor的开头插入调用基类的defaultconstructor的代码。
3. 如果类声明或继承了一个虚函数,那么编译器需要为这个类合成一个defaultconstructor
(如果已经存在constructor,就会扩展这个构造函数),以初始化编译器安插在这个类中的指向vtable的指针。
例:
编译器合成的default constructor可能像下面这个样子:
4. 如果一个类虚继承了一个基类,那么编译器需要为这个类合成一个defaultconstructor
(如果已经存在constructor,就会扩展这个构造函数),以初始化编译器安插在这个类中的指向VirtualBase Class的指针。
Container::Container() {
BlackBall::blackBall();
RedBall::redBall();
}
2. 如果一个没有任何constructor的类派生自一个带有defaultconstructor基类,那么编译器需要为这个
类合成一个default constructor,在这个defaultconstructor中调用基类的default construct。
在每个constructor的开头插入调用基类的defaultconstructor的代码。
3. 如果类声明或继承了一个虚函数,那么编译器需要为这个类合成一个defaultconstructor
(如果已经存在constructor,就会扩展这个构造函数),以初始化编译器安插在这个类中的指向vtable的指针。
例:
class WithVF {
public:
virtual voidvf() {}
}
编译器合成的default constructor可能像下面这个样子:
WithVF::WithVF() {
this->vptr = ...//address of vtable
}
4. 如果一个类虚继承了一个基类,那么编译器需要为这个类合成一个defaultconstructor
(如果已经存在constructor,就会扩展这个构造函数),以初始化编译器安插在这个类中的指向VirtualBase Class的指针。