C++对象可以使用两种方式进行创建：构造函数和复制构造函数。假如我们定义了类A，并使用它创建对象。
可能不少人会把对象的初始化和对象的赋值混淆，比如。
编译器除了提供默认构造函数、复制构造函数和赋值运算符重载函数之外，有可能还为我们提供了析构函数A::~A()，但是这里的析构函数并不是virtual的（相信会有童鞋忘记这一点）。
这些基础的语法对学习过C++的人或许并不陌生，我们自从学习了面向对象C++后，一直都知道编译器为我们提供了这样的便利条件。经过多年的编程实践和体验，我们绝对相信编译器的确为我们做了这些工作，因为我们没有遇到过任何问题。甚至我们脑子中会默认形成一个概念——即使我定义了一个空类（类内什么都没有），编译器依然会“乖乖的”为我们生成上边所说的四个函数。
如果你真的形成了这种观念的话，那么恭喜你，因为你已经将C++基本规则运用的十分熟练了。同时遗憾的是你我都看到了冰山一角，编译器的工作方式远不像我们使用它的那样。读者可能会疑问，难道编译器没有生成这些函数吗？答：要看你类的定义。那么编译器到底如何生成这些函数呢？和我一样又好奇心的人都想一探究竟，而这些内容在《Inside The C++ Object Model》被诠释的比较彻底。笔者也通过“借花献佛”的方式将该书所描述的对象构造的内幕结合个人的理解和大家一起分享。
首先我们从最简单的谈起，编译器为类生成构造函数了吗？如果按照上边描述的例子，只有一个空的类定义的话，我们可以肯定的说——没有。对编译器这样的做法，我们不必感到惊讶。试想一个空的类——没有数据成员，没有成员函数，即使生成了构造函数又能做什么呢？即便是生成了，也只是一个空构造函数而已。
既然如此，我们让这个类再复杂一点，我们为它增加数据成员和成员函数，比如下边这段代码（我们记它为例子1）。
果然，在主函数内定义对象a后，没有任何构造函数被调用。
有人可能会说用0初始化不行吗？这只是我们的“一厢情愿”而已。一个没有初始化的变量本身的值就可以是不确定的，何必要生成一个没有任何意义的初始化为0的语句呢。
编译器到底怎样才能生成构造函数呢？！或许你和我一样有点“抓狂”了。不过现在还不是绝望的时候，因为编译器需要我们给它一个“正当的理由”生成构造函数。有四个正当的理由，让编译器不得不生成构造函数，这里一一介绍。
首先，我们修改一下var的类型。这里假设它不是内置类型int，而是一个定义好的类B。
B var;
修改一下数据成员的类型为自定义类型能影响编译器的抉择吗？答：可能。这要看类B有没有定义构造函数。读者可能有点明白了，是的，如果B没有定义构造函数（和这里的A一个样子），那么编译器仍然没有理由生成构造函数——为B初始化什么呢？反之，B一旦定义了默认构造函数B::B()，即便它是空的，编译器就不得不为A创建默认构造函数了（这里不考虑编译器的深度优化）。因为A的对象需要用B的默认构造函数初始化它自己的成员var，虽然B的构造函数什么也没做。因为编译器不能假定B的构造函数做了什么样的操作（极端一点：万一修改了一个全局变量了呢？），因此编译器有绝对的必要生成A的构造函数，保证B类型的数据成员的构造函数正常执行。
转到编译器为A生成的构造函数处，我们发现了B的构造函数被调用的语句（选中行）。
当然，如果B提供了构造函数，但不是默认的构造函数，那么必须要程序员介入为var初始化，否则编译器就不客气了——error！
因此，编译器生成默认构造函数的第一个正当理由是——类内数据成员是对象，并且该对象的类提供了一个默认构造函数。
现在，我们回到例子1，这里我们不修改var的类型，而是让A继承于另一个类C。
结果不出所料，编译器为A生成了构造函数，并且调用了基类C定义的默认构造函数。同样，若C没有提供默认默认构造函数，而提供了其他构造函数，编译是无法通过的。
这也是编译器生成默认构造函数的第二个正当理由——类的基类提供了默认的构造函数。
我们再次回到例子1，这次我们修改成员函数fun。
这次编译器“毫不客气”的为A生成了默认构造函数，虽然它没有调用任何其他的构造函数！这是什么原因呢？原来，C++为了实现多态机制，需要为类维护一个虚函数表（vftable），而每个该类的对象都保存一个指向该虚函数表的一个指针（一般保存在对象最开始的四个四节处，多态机制的实现这里暂不介绍）。编译器为A生成构造函数，其实不为别的，就为了保证它定义的对象都要正常初始化这个虚函数表的指针（vfptr）！
好了，因此我们得出编译器生成默认构造函数的第三个正当理由——类内定义了虚函数。这里可能还涉及一个更复杂点的情况：类内本身没有定义虚函数，但是继承了基类的虚函数。其实按照上述的原则，我们可以推理如下：基类既然定义了虚函数，那么基类本身就需要生成默认构造函数初始化它本身的虚函数表指针。而基类一旦产生了默认构造函数，派生类就需要产生默认构造函数调用它。同时，如果读者对多态机制了解清除