[b]c++中的源程序: [/b] 上面的类X没有定义构造函数，仅仅有一个int i。 [b]下面为其汇编程序： [/b] 通过汇编发现，通过push ecx，编译器将堆栈栈顶移动4byte，并将寄存器的ecx的值写入，类X只含有一个int，大小刚好为4byte，因此这一句可以看成是为对象x分配空间。而接下来并没有任何函数的调用，来对这一块区域进行适当的初始化。所以，在没有明确定义一个构造函数的时候，不会有任何的初始化操作。 [b]下面再看一段c++程序: [/b] 与上面相比，在类X里面增加了一个成员变量int j，类的大小变为8字节。 [b]下面为对应汇编码: [/b] 从汇编码看出，通过sub esp，8指令，堆栈确实留出了8byte的空间，刚好等于类X的大小，同样没有调用任何函数，来进行初始化操作。 所以，综上所述，在一个类没有明确定义构造函数的时候，编译器不会有任何的函数调用来进行初始化操作，仅仅是移动栈顶留出对象所需空间，也就是说，这种情况下，编译器根本不会提供默认的构造函数。 那么，书上说的由编译器提供默认的构造函数到底是怎么一回事呢？ 下面看第一种情况，类里面有虚成员函数: [b]c++源码如下: [/b] 析构函数为虚函数 [b]下面是main函数对应的汇编码: [/b] 可以看到，对象x的构造函数被调用了，编译器确实合成了默认的构造函数。 [b]下面是构造函数的汇编码: [/b] 可以看到，由于有虚函数，涉及到多态，因此构函数初始化了vptr指针，但是没有为另外两个变量int i，int j赋值。 从上面可以看出，类里面含有虚函数时，在没有明确定义构造函数时，编译器确实会为我们提供一个默认的构造函数。因此当一个类继承自虚基类时，也满足上面的情形。 接下来是第二种情形，类Y继承自类X，X明确定义了一个默认的构造函数(并非编译器提供),而类Y不定义任何构造函数: [b]先来看看c++源码: [/b] 类Y里面没有显示定义任何构造函数 [b]下面是main函数对应的汇编码: [/b] main函数中调用了由编译器提供的默认y对象的默认构造函数。 [b] 下面是编译器提供的y对象默认构造函数的汇编码: [/b] 可以看到y对象的构造函数又调用了父类的构造函数来初始化继承自父类的成员变量，但自身成员变量依然没有初始化。 [b]下面是父类X的构造函数汇编码: [/b] 可以看到，y对象继承自父类的成员变量由父类构造函数初始化。父对象包含在子对象中，并且this指针，即寄存器ecx存储的首地址始终是子对象y的首地址。 如果父类X中也没有定义任何构造函数会怎样？ [b]下面是c++源码: [/b] 父类和子类都没有任何构造函数。 [b]下面是main函数汇编码: [/b] 可以看到main中根本没有任何函数的调用，也就是说，编译器没有为子对象y提供默认构造函数。 那么，要是父类中带参数的构造函数，而子类中没有构造函数呢?这时候编译器会报错。 下面看第三种情况，类Y中包含成员对象X，成员对象有显示定义的默认构造函数，而类Y没有任何构造函数: [b]先看c++源码: [/b] 类X为类Y的成员对象 [b]下面是main函数的汇编码: [/b] 对象y的构造函数被调用，即编译器提供了默认的构造函数 [b]对象y的构造函数汇编码: [/b] 对象y的构造函数调用了成员对象x的构造函数，用来初始化成员对象中的成员变量，对象y自身的成员变量没有初始化。 [b]成员对象x的构造函数汇编码: [/b] 但是，如果成员对象x也没有任何构造函数，情形会怎样呢? [b]下面是c++源码: [/b] [b]下面是main函数汇编码: [/b] 可以看到，main函数里面没有任何函数调用，也就是说编译器没有提供默认构造函数。 那要是成员对象x有带参数的构造函数(即非默认构造函数)，而对象y没有任何构造函数呢？此时，编译器会报错。 这种情形和前一种情形很相似。 综合以上的情况，可以总结出，对于一个类不含任何构造函数，而编译器会提供默认的构造函数，有一下3种情形: [b]1 [/b]类本身函数虚成员函数或者继承自虚基类 [b]2 [/b]类的基类有构造函数，并且基类构造函数还是显示定义的默认构造函数(非编译器提供),若基类的构造函数带有参数(即非默认构造函数),编译器报错 [b]3  [/b]这种情况和上一种相似，类的成员对象有构造函数，并且成员对象的构造函数还是显示定义的默认构造函数(非编译器提供);若成员对象的构造函数带有参数(即非默认构造函数),编译器报错。   以上参考了《VC++深入详解》里面的知识点，还有自己的分析，欢迎指正