深度探索C++对象模型学习 之 C++构造函数语意学(一)

1.1   讨论编译器是否一定会生成构造函数

提问：程序员定义一个类，但是没有写类的构造函数，这个时候系统是不是会自动生成一个默认的构造函数？

回答：是的，当定义一个类的时候，程序员没有显示的定义一个构造函数，编译器会为我们生成一个默认的构造函数。

 请问上面的回答是否正确呢，我想很多程序员都会说是对的，这不是课本上说的么。

 但是事实却不是这样，我们举个例子吧!

 

#include "stdafx.h"class Test{};int _tmain(int argc, _TCHAR* argv[]){Test temp;return 0;}

 

 我们反汇编看下以上调用的结果

#include "stdafx.h"class Test{};int _tmain(int argc, _TCHAR* argv[]){004113A0  push        ebp  004113A1  mov         ebp,esp 004113A3  sub         esp,0CCh 004113A9  push        ebx  004113AA  push        esi  004113AB  push        edi  004113AC  lea         edi,[ebp-0CCh] 004113B2  mov         ecx,33h 004113B7  mov         eax,0CCCCCCCCh 004113BC  rep stos    dword ptr es:[edi] Test temp;return 0;004113BE  xor         eax,eax }

看根本没有掉Test的构造函数，哪什么时候编译器才会给我们生成构造函数，深度探索C++对象模型一书告诉我们，缺省的构造函数在需要的时候被编译器产生出来，哪什么时候才是"需要的时候"呢？

 

1.2  编译器会帮我们生成构造函数的情况

1.2.1    一个类定义中含有一个"带有默认构造函数"的类成员变量,这个成员不能是类的指针

我们现在来举个例子吧！

#include "stdafx.h"class Member{public:Member(){}};class Host{public:Member m_member;};int _tmain(int argc, _TCHAR* argv[]){Host host;return 0;}

然后我们在看看反汇编代码

#include "stdafx.h"class Member{public:Member(){}};class Host{public:Member m_member;};int _tmain(int argc, _TCHAR* argv[]){004113A0  push        ebp  004113A1  mov         ebp,esp 004113A3  sub         esp,0CCh 004113A9  push        ebx  004113AA  push        esi  004113AB  push        edi  004113AC  lea         edi,[ebp-0CCh] 004113B2  mov         ecx,33h 004113B7  mov         eax,0CCCCCCCCh 004113BC  rep stos    dword ptr es:[edi] Host host;004113BE  lea         ecx,[host] 004113C1  call        Host::Host (4111DBh) return 0;004113C6  xor         eax,eax }

看到没，在这调用了构造函数，有人会问为什么编译器会生成构造函数，因为他有个类成员变量，在构造Host这个类的时候需要调用Member的构造函数，所以编译器会为Host生成一个默认构造函数。

 

1.2.2   当定义类的基类是含有默认构造函数

这种情况跟上面的原因差不多，派生类被创建的时候需要调用基类的构造函数，所以编译器也会给他自动生成构造函数

 

1.2.3   当定义类含有虚函数或者他的基类含有虚函数

这种情况是因为当类或者基类含有虚函数的时候，系统会给定义类生成一个虚函数表，这个虚函数注意是跟类相关，就是说一种类含有自己的虚函数表，对象只是有一个指针指向这个虚函数表，所以在构造类的时候就将这个指针指向虚函数表，所以编译器会为他生成一个默认的构造函数

1.2.4   当定义类含有一个虚基类的时候

这个举个例子吧！

#include "stdafx.h"#include <iostream>using namespace std;class Father{};class Son : virtual public Father{};int _tmain(int argc, _TCHAR* argv[]){Son son;return 0;}

反汇编后的结果

#include "stdafx.h"#include <iostream>using namespace std;class Father{};class Son : virtual public Father{};int _tmain(int argc, _TCHAR* argv[]){004113C0  push        ebp  004113C1  mov         ebp,esp 004113C3  sub         esp,0CCh 004113C9  push        ebx  004113CA  push        esi  004113CB  push        edi  004113CC  lea         edi,[ebp-0CCh] 004113D2  mov         ecx,33h 004113D7  mov         eax,0CCCCCCCCh 004113DC  rep stos    dword ptr es:[edi] Son son;004113DE  push        1    004113E0  lea         ecx,[son] 004113E3  call        Son::Son (411154h) return 0;004113E8  xor         eax,eax }

编译器生成了构造函数并且调用了。

编译器为什么需要生成这个构造函数呢？我们来看下Son的内存分布吧！