Pure virtual function call error探讨

在实习的单位搞CxImage库时不知为什么在Debug时没有问题，但是Release版里竟然跳出个Pure virtual function call error! 啥东西呀，竟然遇上了，就探个究竟吧！

MSDN上的解释

http://forums.msdn.microsoft.com/zh-CN/clr/thread/bfa759a8-0cc0-4d65-8711-d2d0d6765687/

 

这时讲得很详细

http://www.artima.com/cppsource/pure_virtual.html

 

看看Codeproject上的一个例子

http://www.codeproject.com/KB/cpp/PureVirtualFunctionCall.aspx

 

(1)出现 Pure virtual function call 的原因是：

the child destructor is called and finished, so, we don’t have an object of type child now, but the current object (which is only being destructed) is of type Parent, so all calls in the destructor are calls to functions in this object. So, you can get a pure virtual function.

继承类的对象析构被调用,而且完成了释放,那么现在这个对象就不存在了,但是当前的对象(正在释构的父类对象)却要调用其子类的虚函数实现(因为自身是纯虚函数),所以就会出现Pure virtual function call error!

 

(2) 由面向对象的概念知，对象的析构是子类先析构再到父类析构，所以如果在父类中要调用自身的虚纯数将会很危险了，而且在是运行时出现的。

 

以下是codeproject的例子

 

Class Parent

{

public: Parent() { } 

~Parent() {  

ClearALL();  

}  

void ClearALL() 

{  

ThePure();   //调用自身的纯虚函数，包装一下是因为直接调用编译器会识别出这样调用是有问题的！

} 

 virtual bool ThePure() = 0 ;

}; 

class Child : public Parent

{

public: Child() { }  

~Child() { }  //The implementation of the pure virtual function  virtual bool ThePure()  

{  

return true; 

} 

};   

void main()

{

 Child c;

}

当C析构时，虚函数表里的 ThePure()  已经注销，那么父类 Parent 里的ClearALL() 里的ThePure() 虚表指针就会指向一个空地址(成了 dangling pointer 了), 所以在Parent里调用 ClearALL() 就会出错了

 

(3)如果上面的情况还算直观的话，看看下面的一种造成 pure virtual function call的情况就更隐蔽了。

//不过我在VC6里没有问题



class Base 

{

public:

    virtual void function() = 0;

};



class B : public Base



{

public:

    virtual void function() 

    {

        cout<<"pure function call in B"<<endl;



    }

};



class A 

{

public:

    A(B* b):_b(b) {}

    ~A() 

    {

        _b->function();

    }

    B* _b;

};



B b;

a(&b);



int main()

{

    return 0;

}

 

 

这种情况在某些编译器下会出pure virtual function call错误。主要的原因是因为全局变量的释放顺序不确定，全局变量A依赖全局变量B。如果编译器决定让B先释放，A后释放。那么，当A析构时，_b是一个dangling pointer。此时如果b对象的内存系统没有释放的话，那么b的vptr表指向的是Base的vptr，而不是B的。此时，_b->function()就指向了pure virtual function了。详细情况可以到看看
     

http://www.cnblogs.com/whjiang/archive/2007/10/22/932880.html
   

(5)论坛上关于出现pure virtual function call 的情况总结：
   
     
   

1. 基类构造器直接调用虚函数

2. 基类析构器直接调用虚函数

3. 基类构造器间接调用虚函数

4. 基类析构器间接调用虚函数

5. Calling a virtual function via a dangling pointer.

(4)为了在遇到 pure virtual function call 时不致于程序蹦掉，可以实现在一基类的纯虚函数，但要记住找出原因后要删掉实现的代码