【C++】不要在构造函数或析构函数内调用虚函数

  这个问题来自于《Effective C++》条款9:永远不要在构造函数或析构函数中调用虚函数 。

  假设有如下代码:

    class Transaction {// 所有交易的基类  
    public:  
     Transaction();  
     virtual void logTransaction() const = 0;//建立依赖于具体交易类型的登录项  
     ...  
    };  
    Transaction::Transaction() //实现基类的构造函数  
    {   
     ...  
     logTransaction(); //最后,登录该交易  
    }   
    class BuyTransaction: public Transaction {   
    // 派生类  
    public:  
     virtual void logTransaction() const; //怎样实现这种类型交易的登录?   
     ...  
    };  
    class SellTransaction: public Transaction {   
    //派生类  
    public:  
     virtual void logTransaction() const; //怎样实现这种类型交易的登录?  
     ...  
    };  

 

   现在,请分析执行下列代码调用时所发生的事情:

BuyTransaction b;  

 

  很明显,一个 BuyTransaction类构造器被调用。但是,首先调用的是Transaction类的构造器-派生类对象的基类部分是在派生类部分之前被构造的。 Transaction构造器的最后一行调用了虚函数logTransaction,但是奇怪的事情正是在此发生的。被调用函数 logTransaction的版本是Transaction中的那个,而不是BuyTransaction中的那个-即使现在产生的对象的类型是 BuyTransaction,情况也是如此。在基类的构造过程中,虚函数调用从不会被传递到派生类中。代之的是,派生类对象表现出来的行为好象其本身就是基类型。不规范地说,在基类的构造过程中,虚函数并没有被"构造"。

  简单的说就是,在子类对象的基类子对象构造期间,调用的虚函数的版本是基类的而不是子类的。

  对上面这种看上去有点违背直觉的行为可以用一个理由来解释-因 为基类构造器是在派生类之前执行的,所以在基类构造器运行的时候派生类的数据成员还没有被初始化。如果在基类的构造过程中对虚函数的调用传递到了派生类, 派生类对象当然可以参照引用局部的数据成员,但是这些数据成员其时尚未被初始化。这将会导致无休止的未定义行为和彻夜的代码调试。沿类层次往下调用尚未初始化的对象的某些部分本来就是危险的,所以C++干脆不让你这样做。

  在对象的析构期间,存在与上面同样的逻辑。一旦一个派生类的析构器运行起来,该对象的派生类数据成员就被假设为是未定义的值,这样以来,C++就把它们当做是不存在一样。一旦进入到基类的析构器中,该对象即变为一个基类对象,C++中各个部分(虚函数,dynamic_cast运算符等等)都这样处理。

 

  以上是《Effective C++》的部分。其实当基类自子对象构造完毕之后,进入子类对象的构造期间调用的虚函数就是子类覆盖的版本了。即有如下代码所示:

  

    class Base  
    {  
    public:  
        Base()  
        {  
            Fuction();  
        }  
      
        virtual void Fuction()  
        {  
            cout << "Base::Fuction" << endl;  
        }  
    };  
      
    class A : public Base  
    {  
    public:  
        A()  
        {  
            Fuction();  
        }  
      
        virtual void Fuction()  
        {  
            cout << "A::Fuction" << endl;  
        }  
    };  
      
    // 这样定义一个A的对象,会输出什么?  
    A a;  

  输出为:

Base::Fuction  
A::Fuction 

 

  那么编译器是如何实现的呢?

  在基类子对象构造期间,编译器直接调用基类版本的虚函数。在子类对象构造期间,编译器直接调用基类虚函数的版本。并没有走虚机制。虽然在基类子对象的构造期间,虚表指针指向的是基类的Virtual Table,在进入子类对象构造后,虚表指针指向的是子类对象的Virtual Table。详见http://blog.csdn.net/magictong/article/details/6734241

 

参考资料:

  1. http://blog.csdn.net/hxz_qlh/article/details/14089895

  2. http://blog.csdn.net/magictong/article/details/6734241

 

posted @ 2015-08-24 11:31  vincently  阅读(5687)  评论(0编辑  收藏  举报