default constructor 的构造函数

C++构造函数合成规则

最新推荐文章于 2024-07-12 13:49:36 发布

最新推荐文章于 2024-07-12 13:49:36 发布 · 241 阅读

文章标签：

#c/c++

本文介绍了C++中编译器自动合成默认构造函数的四种情况：1) 类内含有带有默认构造函数的成员对象；2) 派生于带有默认构造函数的基类；3) 声明或继承了虚函数；4) 虚继承了基类。通过实例说明了编译器如何合成这些构造函数。

<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类合成的默认构造函数可能像下面这个样子：

Container::Container() {
   BlackBall::blackBall();
   RedBall::redBall();
}

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