编译器什么情况下，合成构造函数？

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

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

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

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

#include <iostream>
using namespace std;

class Base
{
public:
	int _b;
};
int main()
{
	Base b;   //哈哈，事实证明这个类并没有被编译器合成缺省构造函数哦！
	          //详见《深度探索c++对象模型》第二章！！
	return 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)

#include <iostream>
using namespace std;

class Base
{
public:
	Base(){}
};

class test
{
public:
	int i;
	double j;
	Base ba;
};

int main()
{
	test te;
	return 0;
}

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

#include <iostream>
using namespace std;

class Base
{
public:
	Base(){}
	int _b;
};

class Derived : public Base
{
public:
	int _d;
};

int main()
{
	Derived d;     //编译器默认给d创建了构造函数，
		           //在派生类的初始化列表对基类进行了构造		
	return 0;
}

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

#include <iostream>
using namespace std;

class Base
{
public:
	virtual void test()
	{
		cout << "hello world" << endl;
	}
	int _b;
};
int main()
{
	Base b;        //有构造函数的话调试的时候会在这里停下来
	return 0;
}

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

#include <iostream>
using namespace std;

class Base
{	
public:
	virtual  void test()
	{
		cout << "Base" << endl;
	}
};

class Derived : public Base
{	
public:
	void test()
	{
		cout << "Derived" << endl;
	}
};
int main()
{
	Derived d;
	return 0;
}

参考博客