构造函数与析构函数

构造函数

1) 在派生类构造函数中，所有的虚基类及上一层基类的构造函数调用；

2) 对象的vptr被初始化；

3) 如果有成员初始化列表，将在构造函数体内扩展开来，这必须在vptr被设定之后才做；

4) 执行程序员所提供的代码；

 

析构函数

析构函数用于撤销对象的一些特殊任务处理，可以是释放对象分配的内存空间；

特点：析构函数与构造函数同名，但该函数前面加~。析构函数没有参数，也没有返回值，而且不能重载，在一个类中只能有一个析构函数。当撤销对象时，编译器也会自动调用析构函数。每一个类必须有一个析构函数，用户可以自定义析构函数，也可以是编译器自动生成默认的析构函数。一般析构函数定义为类的公有成员。

我们往往通过基类的指针来销毁对象。这时候假设析构函数不是虚函数，就不能正确识别对象类型从而不能正确调用析构函数。C++中基类采用virtual虚析构函数是为了防止内存泄漏。具体地说，如果派生类中申请了内存空间，并在其析构函数中对这些内存空间进行释放。假设基类中采用的是非虚析构函数，当删除基类指针指向的派生类对象时就不会触发动态绑定，因而只会调用基类的析构函数，而不会调用派生类的析构函数。那么在这种情况下，派生类中申请的空间就得不到释放从而产生内存泄漏。所以，为了防止这种情况的发生，C++中基类的析构函数应采用virtual虚析构函数。

纯虚析构函数一定得定义，因为每一个派生类析构函数会被编译器加以扩张，以静态调用的方式调用其每一个虚基类以及上一层基类的析构函数。因此，缺乏任何一个基类析构函数的定义，就会导致链接失败。因此，最好不要把虚析构函数定义为纯虚析构函数。

 

类析构时机：

1) 对象生命周期结束，被销毁时；

2) delete 指向对象的指针时，或 delete 指向对象的基类类型指针，而其基类虚构函数是虚函数时；

3) 对象i是对象o的成员，o的析构函数被调用时，对象i的析构函数也被调用。

 

一个派生类构造函数的执行顺序如下：

　　① 虚拟基类的构造函数（多个虚拟基类则按照继承的顺序执行构造函数）。

　　① 基类的构造函数（如果有多个基类，则构造函数的调用顺序是某类在类派生表中出现的顺序，而不是它们在成员初始化表中的顺序。）

　　②  类类型的成员对象的构造函数（如果有多个成员类对象则构造函数的调用顺序是对象在类中被声明的顺序，而不是它们出现在成员初始化表中的顺序。）

　　③  派生类自己的构造函数。

析构函数顺序

　　①  调用派生类的析构函数；

　　②  调用成员类对象的析构函数；

　　③  调用基类的析构函数。

 

构造函数为什么不能为虚函数？

1.从存储空间角度，虚函数相应有一个指向vtable虚函数表的指针，这大家都知道，但是这个指向vtable的指针事实上是存储在对象的内存空间的。问题出来了，假设构造函数是虚的，就需要通过vtable来调用，但是对象还没有实例化，也就是内存空间还没有，怎么找vtable呢？所以构造函数不能是虚函数。

2.从使用角度，虚函数主要用于在信息不全的情况下，能使重载的函数得到相应的调用。构造函数本身就是要初始化实例，那使用虚函数也没有实际意义呀。所以构造函数没有必要是虚函数。虚函数的作用在于通过父类的指针或者引用来调用它的时候可以变成调用子类的那个成员函数。而构造函数是在创建对象时自己主动调用的，不可能通过父类的指针或者引用去调用，因此也就规定构造函数不能是虚函数。

3.构造函数不需要是虚函数，也不同意是虚函数，由于创建一个对象时我们总是要明确指定对象的类型，虽然我们可能通过基类的指针或引用去访问它。

4.从实现上看，vbtl在构造函数调用后才建立，因而构造函数不可能成为虚函数；从实际含义上看，在调用构造函数时还不能确定对象的真实类型（由于子类会调父类的构造函数）；并且构造函数的作用是提供初始化，在对象生命期仅仅运行一次，不是对象的动态行为，也没有必要成为虚函数。

5.当一个构造函数被调用时，它做的首要的事情之中的一个是初始化它的vptr（指向虚函数的指针）。因此，它仅仅能知道它是“当前”类的，而全然忽视这个对象后面是否还有继承者。当编译器为这个构造函数产生代码时，它是为这个类的构造函数产生代码——既不是为基类，也不是为它的派生类（由于类不知道谁继承它）。所以它使用的vptr必须是对于这个类的vtable。并且，仅仅要它是最后的构造函数调用，那么在这个对象的生命期内，vptr将保持被初始化为指向这个vtable,但假设接着另一个更晚派生的构造函数被调用，这个构造函数又将设置vptr指向它的vtable，等.直到最后的构造函数结束。vptr的状态是由被最后调用的构造函数确定的。这就是为什么构造函数调用是从基类到后继派生类顺序的另一个理由。可是，当这一系列构造函数调用正发生时，每一个构造函数都已经设置vptr指向它自己的vtable。假设函数调用使用虚机制，它将仅仅产生通过它自己的vtable的调用，而不是最后的vtable（全部构造函数被调用后才会有最后的vtable）。

因为构造函数本来就是为了明确初始化对象成员才产生的，然而virtual function主要是为了再不完全了解细节的情况下也能正确处理对象。另外，virtual函数是在不同类型的对象产生不同的动作，现在对象还没有产生，如何使用virtual函数来完成你想完成的动作。

 

构造函数和析构函数可以调用虚函数吗，为什么？

1) 在C++中，提倡不在构造函数和析构函数中调用虚函数；

2) 构造函数或者析构函数调用虚函数并不会发挥虚函数动态绑定的特性，跟普通函数没区别；

3) 因为父类对象会在子类之前进行构造，此时子类部分的数据成员还未初始化，因此调用子类的虚函数是不安全的，故而C++不会进行动态联编；

4) 析构函数是用来销毁一个对象的，在销毁一个对象时，先调用子类的析构函数，然后再调用基类的析构函数。所以在调用基类的析构函数时，派生类对象的数据成员已经销毁，这个时候再调用子类的虚函数没有任何意义。

 

构造函数析构函数可否抛出异常？

1) C++只会析构已经完成的对象，对象只有在其构造函数执行完毕才算是完全构造妥当。在构造函数中发生异常，控制权转出构造函数之外。因此，在对象b的构造函数中发生异常，对象b的析构函数不会被调用。因此会造成内存泄漏。

2) 用 auto_ptr 对象来取代指针类成员，便对构造函数做了强化，免除了抛出异常时发生资源泄漏的危机，不再需要在析构函数中手动释放资源；

3) 如果控制权基于异常的因素离开析构函数，而此时正有另一个异常处于作用状态，C++会调用terminate函数让程序结束；

4) 如果异常从析构函数抛出，而且没有在当地进行捕捉，那个析构函数便是执行不全的。如果析构函数执行不全，就是没有完成他应该执行的每一件事情。