Cpp 对象模型探索 / 编译器为对象创建缺省构造函数的条件

零、前言

       书本上常说，编译器会给没有任何构造函数的类自动创建一个缺省的构造函数（没有形参的构造函数）。但是事实上不是这样么？栗子：

class A
{
public:
	int i;
};

int main()
{
	A a;
	return 0;
}

       编译上述代码，生成 test1.obj 文件。

       这里为了检查编译器是否为我们创建了 a 的构造函数，这里我们使用 “ dumpbin /all test1.obj> test1.txt ” 指令。在 vs2019 的Developer PowerShell 中，输入上述指令，即可在 test1.obj 根目录下生成了 test1.txt 文件，该文件记录了一些汇编信息等。

       搜索 “ A::A ” 并没有在 test1.obj 文件中发现该信息，说明编译器并没有为对象 a 创建缺省的构造函数。

       通过上述验证，我们发现编译器不是在任何情况下都会为没有建立任何的构造函数的对象创建缺省的构造函数的，只有在必要的情况下才会进行上述操作。

       具体的情况如下：

一、成员中存在含有缺省的构造函数的对象。

栗子：

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

class A
{
public:
	int i;
	B b;
};

int main()
{
	A a;
	return 0;
}

结果：

……

COMDAT; sym= "public: __thiscall A::A(void)" (??0A@@QAE@XZ)

……

二、继承了带有缺省的构造函数的类

栗子： 

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

class A : public B
{
public:
	int i;
};

int main()
{
	A a;
	return 0;
}

结果：

……

COMDAT; sym= "public: __thiscall A::A(void)" (??0A@@QAE@XZ)

……

三、该类中含有虚函数。

栗子：

class A
{
public:
	int i;
public:
	virtual void func() {};
};

int main()
{
	A a;
	return 0;
}

结果：

……

COMDAT; sym= "public: __thiscall A::A(void)" (??0A@@QAE@XZ)

……

四、该类含有虚基类。

栗子：

class Grand
{
	;
};
class Father:virtual public Grand
{

};
class Uncle:virtual public Grand
{

};
class Son:public Father,public Uncle
{
public:
	int i;
};

int main()
{
	Son sn;
	return 0;
}

结果：

……

COMDAT; sym= "public: __thiscall Father::Father(void)" (??0Father@@QAE@XZ)

……

COMDAT; sym= "public: __thiscall Uncle::Uncle(void)" (??0Uncle@@QAE@XZ)

……

COMDAT; sym= "public: __thiscall Son::Son(void)" (??0Son@@QAE@XZ)

……

五、类代码中存在变量的初始化（C++11）

class A
{
public:
	int i = 0;
};

int main()
{
	A a;
	return 0;
}

结果：

……

COMDAT; sym= "public: __thiscall A::A(void)" (??0A@@QAE@XZ)

……

 

（SAW：Game Over！）