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

 

构造函数肯定不能作为虚函数。虚函数是为了在继承的类里面用同样的函数名来实现RTTI的。构造函数不需要也不可能让你RTTI！（子类名不可能与父类名相同）

 

内联函数不能为虚函数，原因在于虚表机制需要一个真正的函数地址，而内联函数展开以后，就不是一个函数，而是一段简单的代码（多数C++对象模型使用虚表实现多态，对此标准提供支持），可能有些内联函数会无法内联展开，而编译成为函数。

class Foo
{
public:
 virtual void vFunc() const;
private:
};

class Child: public Foo
{
public:
 virtual void vFunc() const;
};

inline
void Foo::vFunc() const
{cout<<"class Foo"<

inline
void Child::vFunc() const
{
 cout<<"class Child"<}

 

int main()
{
 Foo* pCh = new Child;
 pCh->vFunc();
 
 return 0;
}

输出为Child！即使虚函数是内联函数仍然正确的动态绑定！

原因是：即使虚函数被声明为内联函数，编译器遇到这种情况根本不会把这样的函数内联展开，而是当做普通函数来处理。

 

首先,让我们假设他是虚的.
当我们在构造函数中时并调用虚函数.大家都知道,对于普通的成员函数虚函数的调用是在运行时决定的(即晚捆绑.因为在编译时无法知道这个对象是属于这个成员函数的那个类,还是属于由他派生出来的类).
然而,在构造函数中调用虚函数时,他所调用的仅仅是本地版本.也就是说,虚函数在构造函数中并不工作!
    第一,在概念上，构造函数的工作是把对象变成存在物。在任何构造函数中，对象可能只是部分被形成—我们只能知道基类已被初始化了，但不知道哪个类是从这个基类继承来的。然而，虚函数是“向前”和“向外”进行调用。它能调用在派生类中的函数。如果我们在构造函数中也这样做，那么我们所调用的函数可能操作还没有被初始化的成员，这将导致灾难的发生。
    第二,。当一个构造函数被调用时，它做的首要的事情之一是初始化它的VPTR。因此，它只能知道它是“当前”类的，而完全忽视这个对象后面是否还有继承者。当编译器为这个构造函数产生代码时，它是为这个类的构造函数产生代码--既不是为基类，也不是为它的派生类（因为类不知道谁继承它）。
所以它使用的VPTR必须是对于这个类的VTABLE。而且，只要它是最后的构造函数调用，那么在这个对象的生命期内，VPTR将保持被初始化为指向这个VTABLE。但如果接着还有一个更晚派生的构造函数被调用，这个构造函数又将设置VPTR指向它的VTABLE，等.直到最后的构造函数结束。VPTR的状态是由被最后调用的构造函数确定的。这就是为什么构造函数调用是从基类到更加派生类顺序的另一个理由。
    但是，当这一系列构造函数调用正发生时，每个构造函数都已经设置VPTR指向它自己的VTABLE。如果函数调用使用虚机制，它将只产生通过它自己的VTABLE的调用，而不是最后的VTABLE（所有构造函数被调用后才会有最后的VTABLE）。
另外，许多编译器认识到，如果在构造函数中进行虚函数调用，应该使用早捆绑，因为它们知道晚捆绑将只对本地函数产生调用。无论哪种情况，在构造函数中调用虚函数都没有结果。
    所以,构造函数不能是虚的,然而,对于析构函数来说他常常是,而且最好是虚的!这个此处暂时不议.