《深入理解C++对象模型》何时合成Default Constructor

误解：

1.如果自己没有定义default constructor, 编译器就会被合成出一个来。

2.编译器合成的default constructor会明确设定每一个data member的默认值。

实际情况：

如果没有定义构造函数，编译器会在下面四种情况为类生成default constructor

1.类中包含了具有构造函数的member class object

class Foo {public: Foo(), Foo(int) ... };
class Bar {public: Foo foo; char* str; };
void foo_bar() { Bar bar; }

 

编译器会生成

inline Bar::Bar() {  foo.Foo::Foo(); }

 

如果程序员定义了default constructor

Bar::Bar() { str=0; }

则编译器会扩张已存在的constructor，插入一些代码，调用必要的default constructor。

Bar::Bar()
{
  foo.Foo::Foo();
  str=0;
}

 

2.类的基类有构造函数

编译器会合成default constructor，调用上一层base classes的default constructor。

如果程序员提供了constructor，则编译器会扩张已有的constructor。

 

3.类中有虚函数

class Widget {public: virtual void flip()=0; };
void flip( const Widget& widget) { widget.flip(); }
//假设Bell和Whistle都派生自Widget
void foo()
{
  Bell b;
  Whistle w;
  flip(b);
  flip(w);
}

widget.flip()这个virtual invocation会被重新改写，以使用widget的vptr和vtbl中的flip()条目：

(*widget.vptr[1])(&widget)

编译器合成的default constructor会正确地初始化每一个class object的vptr

 

4.类虚继承其他类

class X { public: int i;};
class A:public virtual X { public: int j;};
class B: puclic virtual X ...
class C: public A, public B ...
void foo( const A* pa) { pa->i=1024;}
main()
{
  foo(new A);
  foo(new C);
}

foo()中经由pa存取i的操作只有在执行期才能决定下来，cfront的做法是在derived class object的每一个virtual base classes中安插一个指针完成。

void foo( const A* pa) { pa->_vbcX->i=1024; }

其中_vbcX表示编译器所产生的指针，指向virtual base class X。

 

编译器合成的constructor只能满足编译器的需要，其它的操作(初始化char* 成员)则是程序员的责任。 对于没有存在上面这四种情况又没有声明任何constructor的classes，我们说它拥有的是implicit trivial default constructors，他们实际上并不会被合成出来。

对于不符合以上四种情况，C++编译器并不会生成一个构造函数，