关于构造函数不能是虚的的说法

http://www.cppblog.com/eidolondedidi/archive/2009/03/19/77180.html

      看了这个,说得挺多,简摘几句,便足可以说明问题

      虚函数对应一个vtable,这个vtable其实是存储在对象的内存空间的。若构造函数是虚的,就需要通过vtable来调用,可是对象还没有实例化,也就是内存空间还没有。vtbl在构造函数调用后才建立。

       构造函数的作用是提供初始化,在对象生命期只执行一次,不是对象的动态行为,也没有太大的必要成为虚函数。

      当一个构造函数被调用时,它做的首要的事情之一是初始化它的vptr。因此,它只能知道它是“当前”类的,而完全忽视这个对象后面是否还有继承者。 当编译器为这个构造函数产生代码时,它是为这个类的构造函数产生代码,而非基类或派生类(因为类不知道谁继承它)。

      故而它使用的vptr必须是对于这个类的vtbl。而且,只要它是最后的构造函数调用,那么在这个对象的生命期内, vptr将保持被初始化为指向这个vtbl。但如果接着还有一个更晚派生的构造函数被调用,这个构造函数又将设置vptr指向它的vtbl等。直到最后的构造函数结束。vptr的状态是由被最后调用的构造函数确定的。这就是为什么构造函数调用是从基类到更加派生类顺序的另一个理由。

      然而,当这一系列构造函数调用正发生时,每个构造函数都已经设置vptr指向它自己的vtbl。如果函数调用使用虚机制,它将只产生通过它自己的vtbl调用,而不是最后的vtbl(所有构造函数被调用后才会有最后的vtbl)。

参考:

《C++ 中“有返回值”的“虚”构造函数》

你可能感兴趣的:(关于构造函数不能是虚的的说法)