C++编译器合成构造函数的问题

声明：最近在看《深度探索C++对象模型》，也是在学习，此博客作为读书摘要吧，欢迎指点交流，不胜感激。

问题：C++面向对象编程时，如果我们没有声明任何构造函数constructor，按照以前最初学习，说编译器会自动合成一个默认的无参构造函数default constructor，但是事实确实是这样吗，存不存在例外呢，即使有合成构造函数，那么它又将对类数据进行怎样的初始化呢？

1、回答第一个问题：存在例外！！！

（下文讨论的前提是：我们没有声明任何构造函数）

如果我们没有声明任何构造函数，编译器不会在任何时候都会合成一个默认的无参构造函数！如果该类的数据成员都是基本数据类型：如：int、char、double、float等，那么编译器不会合成一个默认构造函数。用书中的话说就是：这样如果合成的构造函数是trivial(浅薄无能的，没啥用的)

请看代码：

#include<iostream>
using namespace std;

class test
{
//类其他函数，但不含构造函数哦
public:
	int i;
	double j;
};

void main()
{
	test t;//哈哈，事实证明这个类并没有被编译器合成缺省构造函数哦！
	//详见《深度探索c++对象模型》第二章！！
	cout<<t.i<<"  "<<t.j<<endl;
	system("pause");
}

运行结果：-858993460  -9.25596e+061

看到了吧，i并没有如我们所愿被初始化为0，j没被初始化为0.0。

2、那什么时候编译器会合成默认构造函数default constructor 呢？

四种情况下会合成default constructor：

• 带有default constructor 的成员类对象（ member class object）；
• 带有default constructor 的基类（base class）的类；
• 带有虚函数（virtual functions）的类；
• 带有虚基类（virtual class）的类；

2.1 带有default constructor 的成员类对象（ member class object)

此种情况下编译器会合成一个构造函数，以调用成员类的default constructor。

代码：

class base
{
public:
	base(){}
	//....
};
class test
{
public:
	int i;
	double j;
	base ba;
};

这时编译器会在成员类的 default constructor被调用的时候合成的构造函数，比如声明子类对象时，如果 成员类的 default constructor没有被 调用时是不会合成的构造函数，相信学过面向对象的都知道吧，声明类只是声明了一种自定义类型，其实并没有被开辟内存，只有使用时才被开辟内存空间的。

此时合成的构造函数大概为：

inline test::test()
{
   ba.base::base();
}

完成对ba的初始化，但是仍然不会对test中的i、j进行初始化，验证一下：

#include<iostream>
#include<string>
using namespace std;

class base
{
public:
	base(){}
	//....
};
class test
{
public:
	int i;
	double j;
	base ba;
};

void main()
{
	test t;//此时才会合成构造函数哦
	cout<<t.i<<"  "<<t.j<<endl;
	system("pause");
}

运行结果：-858993460  -9.25596e+061

如果要实现对i、j的初始化，那只有咱自己声明一个显示构造函数了，并且编译器会对我们声明的构造函数做出一定的修改，以调用成员类的default constructor。比如：

inline test::test()
{
	i = 0;
	j = 0.0;
}

最后编译器可能把它修改成这样：

inline test::test()
{
        ba.base::base();
	i = 0;
	j = 0.0;
}

对于一个类里有多个类成员对象是，其默认构造函数的初始化顺序为各个类的申明顺序。

2.2 带有default constructor 的基类（base class）的类

一个类继承自有default constructor 的基类，那么编译器会在需要时合成一个构造函数，并优先调用基类default constructor；对于继承链（比如B继承A，C继承B）也是如此。

如果子类中有多个用户自定义constructor，那么编译器会对没一个constructor做出相应修改，修改方式和2.1相关内容相同，但是不会合成一个子类default constructor；如果同时存在：带有default constructor的基类和带有default constructor的类成员对象，那么子类构造函数会先按照基类顺序调用其default constructor，在按照申明顺序调用成员类的default constructor。

2.3 带有虚函数（virtual functions）的类

此种情况也包含两种情况：

• class声明或继承一个virtual functions；
• class派生自一个继承串链，其中有一个或多个virtual functions；

那么在编译期间会发生：

1. 一个virtual function table（虚函数表）被编译器产生出来，内放class的virtual functions地址；
2. 在每一个子类对象中，一个额外的vptr（虚函数指针）会被合成，内含相关class的virtual function table地址；

所以这样必须要一个构造函数来初始化没一个类对象中的vptr。

关于虚函数、虚函数表、虚函数指针可参见：http://blog.csdn.net/haoel/article/details/1948051

http://blog.csdn.net/haoel/article/details/3081328

http://blog.csdn.net/BlueDog/article/details/4711169

2.4 带有虚基类（virtual class）的类

虚继承也会在子类对象中被合成一个指向虚基类的指针，因此也要被初始化，所以必须要构造函数，虚基类或者虚继承保证子类对象中只有一份虚基类的对象，特别是对于多重继承更是很重要，相关内容我后续会写出来的，当然上述三个博客链接里的讲解也很透彻了。

两个误区：

1. 任何class 如果没有定义default constructor 多会被合成出来的；
2. 编译器合成出来的default constructor 会显示的初始化该类的每一个数据成员。

上述两个没有一个是真的！！

好吧，到此为止，欢迎交流。