1:任何类如果没有定义默认构造函数,就会合成出来?
2:合成出来的默认构造函数会明确设定类内每一个成员的值?
3:如何去证明呢?
如果你对1、2回答的都是不是,请跳过阅读,以免浪费你的时间
对于问题1与2其实答案都是未必,C++标准是这样写的默认构造函数是由编译器在需要的时候将其合成出来,这里强调的是需要,而非必需,以程序示例:
#include<iostream>
#include<string>
using namespace std;
class A
{
public:
  char *ptr;
  //string str;
};
int main()
{
 A b;
 b.ptr=NULL;
 return 0;
}
这个程序本身没什么好讲的,能讲的就是其汇编代码,调试状态下进入汇编代码如下:
11:   {
00401030   push        ebp
00401031   mov         ebp,esp
00401033   sub         esp,44h
00401036   push        ebx
00401037   push        esi
00401038   push        edi
00401039   lea         edi,[ebp-44h]
0040103C   mov         ecx,11h
00401041   mov         eax,0CCCCCCCCh
00401046   rep stos    dword ptr [edi]
12:       A b;
13:       b.ptr=NULL;
00401048   mov         dword ptr [ebp-4],0
14:       return 0;
0040104F   xor         eax,eax
15:   }
你能找到构造函数调用的地方吗即A::A(),:),找不到吧,因为压根就没有构造函数,这个类就相当于一个整形变量(存储上相似,用法上不同),其空间是堆栈ebp+4这里的4个字节
将程序注释中的
//string str;
去掉,再次进入汇编看看,代码如下:
10:   int main()
11:   {
00401070   push        ebp
00401071   mov         ebp,esp
00401073   sub         esp,58h
00401076   push        ebx
00401077   push        esi
00401078   push        edi
00401079   lea         edi,[ebp-58h]
0040107C   mov         ecx,16h
00401081   mov         eax,0CCCCCCCCh
00401086   rep stos    dword ptr [edi]
12:       A b;
00401088   lea         ecx,[ebp-14h]
0040108B   call        @ILT+15(A::A) (00401014)
13:       b.ptr=NULL;
00401090   mov         dword ptr [ebp-14h],0
14:       return 0;
00401097   mov         dword ptr [ebp-18h],0
0040109E   lea         ecx,[ebp-14h]
004010A1   call        @ILT+30(A::~A) (00401023)
004010A6   mov         eax,dword ptr [ebp-18h]
15:   }
看看,我们的构造函数出现了吧A:A() :),为什么会出现呢? 
因为类里面有一个类叫string,我们跟踪发现string类定义在include/xstring里,其形式如下:
typedef basic_string<char, char_traits<char>, allocator<char> >
 string;
这是一个模板类,属于STL范畴,不信你看看SGI STL源码,在机会再讲,继教跟踪,你会发现basic_string有一系列的构造函数,如下:
explicit basic_string(const _A& _Al = _A())
  : allocator(_Al) {_Tidy(); }
 basic_string(const _Myt& _X)
  : allocator(_X.allocator)
  {_Tidy(), assign(_X, 0, npos); }
 basic_string(const _Myt& _X, size_type _P, size_type _M,
  const _A& _Al = _A())
  : allocator(_Al) {_Tidy(), assign(_X, _P, _M); }
 basic_string(const _E *_S, size_type _N,
  const _A& _Al = _A())
  : allocator(_Al) {_Tidy(), assign(_S, _N); }
 basic_string(const _E *_S, const _A& _Al = _A())
  : allocator(_Al) {_Tidy(), assign(_S); }
 basic_string(size_type _N, _E _C, const _A& _Al = _A())
  : allocator(_Al) {_Tidy(), assign(_N, _C); }
其实重要的是第一个构造函数,因为此处调用就是它,给basic_string分配一个内存分配管理器:)
明白了吧,此处有是因为类里面有一个string类的对象,别人属于你,别人有自已的构造函数,需要为其赋一个初始值,你总不能不让吧,于是编译器就合成一个默认的构造函数,调用string里的构造函数,为string对像置一个初始状态
构造函数的确是不一定会有的,而且类里的一些内置类型默认构造函数也不会给其设定一个默认值的,不信你再看看汇编,哪里有对ptr的赋值:)
有四种情况编译器会为合成默认构造函数
1:含有默认默认/构造函数的成员类对象
2:带有默认/构造函数的基类对象
3: 含有虚函数的类
4:继承虚基类的类
