深度探索C++ 对象模型(3)-默认构造函数Default Constructor

1. Default Constructor只对base class subobjects和member class objects初始化，对data member不做操作

2. 编译器构造Default Constructor 只在下面4种case：

1.包含有带默认构造函数的对象成员的类 .
2.继承自带有默认构造函数的基类的类 .
3.有虚函数的类(需要初始化每一个class object的vptr) .
4.有一个虚基类的类

本文主要针对"包含有带默认构造函数的对象成员的类"

 class Foo {public:Foo() { cout << "Foo Constructor" << endl; } Foo(int) { }};void test_defaultConstructor(){cout << "begin" << endl;Bar bar;cout << "end" << endl;}

（1）. 若无定义构造函数

class Bar {  private: Foo foo;
};

编译器的对类Bar的Default Constructor为

Bar::Bar(){foo.Foo::Foo();//调用Foo的构造函数来初始化foo对象
}

运行测试代码，输出结果为：
begin
Foo Constructor
end

（2）. 若有构造函数

Bar::Bar()
{cout << "Bar default code" << endl;
}

此时编译器扩展已知构造函数：

Bar::Bar(){foo.Foo::Foo();//调用Foo的构造函数来初始化foo对象cout << "Bar default code" << endl;
}

运行测试代码，输出结果为：
begin
Foo Constructor
Bar default code
end

（3）. 若有多个class member objects都要求constructor初始化，将按照在classs中的声明次序调用

 class Dopey {public:Dopey() {cout << "Dopey Constructor" << endl;}};class Sneezy {public:Sneezy() {cout << "Sneezy Constructor" << endl;}};class Bashful {public:Bashful() {cout << "Bashful Constructor" << endl;}};class Snow_White { private:Dopey dopey;Sneezy sneezy;Bashful bashful;int mumble; };void test_defaultConstructor(){cout << "begin" << endl;Snow_White obj;cout << "end" << endl;}

运行测试代码，输出结果为：
begin
Dopey Constructor
Sneezy Constructor
Bashful Constructor
end

(4). 如果基类有默认构造函数，又有一个成员有默认构造函数，那么顺序是谁先呢？

 class SnowWhite : public Dopey{ private: Sneezy sneezy; };void test_defaultConstructor_ObjectOrder(){cout << "begin" << endl;SnowWhite obj;cout << "end" << endl;}

运行测试代码，输出结果为：
begin
Dopey Constructor
Sneezy Constructor
end

【引用】
[1]<<深度探索C++ 对象模型 Inside The C++ Object Model >> Stanley B.Lippman 候捷译
[2] 代码地址 https://github.com/thefistlei/cplusStudy.git