为什么C++不能有虚构造函数，却可以有虚析构函数

1. 
   

   class B{ 

2. public : 

3.    virtualvoid m1(); 

4.    virtualvoid m2(); 

5. }; 

6. class D : public B{ 

7.     virtualvoid m1(); 

8. } 

 

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

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

3. 构造函数不需要是虚函数，也不允许是虚函数，因为创建一个对象时我们总是要明确指定对象的类型，尽管我们可能通过实验室的基类的指针或引用去访问它但析构却不一定，我们往往通过基类的指针来销毁对象。这时候如果析构函数不是虚函数，就不能正确识别对象类型从而不能正确调用析构函数。

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

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

C++的动态绑定使用vtable（虚成员函数表）来实现。vtable支持运行时查询，使系统可以将某一函数名绑定到vtable的特定入口地址。

例如上段代码的虚函数表为：

虚成员函数       入口地址      虚成员函数            入口地址

B::m1              0x7723              D::m1                      0x99a7          //重定义的

B::m2             0x23b4         D::m2               0x23b4         //完全继承

 

由于系统执行虚函数时，要从对象的vtable找到函数入口地址，而且vtable是存储于对象的内存空间中。假如对象没有实例化，就找不到vtable。因此，构造函数不能是vittual。

 

但是，析构函数一般都需要加上virtual，假如定义Base *b = new Deriver; Deriver是Base的子类，并且~Base（）不为virtual。那么当对象被注销时，系统只会调用~Base()，而不会调用~Deriver()，因为b是Base类型，已被静态绑定析构函数。如果基类或子类用new创建了内存空间，就必须通过析构函数销毁。因此必须使用vitual析构函数，实现动态绑定。

 

 

另外：从另一个角度也可以看出构造函数不能为虚函数，1，虚函数的作用在于通过父类的指针或者引用调用它的时候能够变成调用子类的那个成员函数。而构造函数是在创建对象时自动调用的，不可能通过父类或者引用去调用，因此就规定构造函数不能是虚函数。

2，构造函数不需要是虚函数，也不允许是虚函数，因为创建一个对象时我们总是要明确指定对象的类型，尽管我们可能通过实验室的基类的指针或引用去访问它

但析构却不一定，我们往往通过基类的指针来销毁对象。这时候如果析构函数不是虚函数，就不能正确识别对象类型从而不能正确调用析构函数。