什么情况下，类的析构函数应该声明为虚函数？

分类： C/C++基础 2012-10-25 12:05 514人阅读 评论(0)收藏举报

<pre style="padding-bottom: 0px; background-color: rgb(255, 255, 255); margin-top: 0px; padding-left: 0px; padding-right: 0px; zoom: 1; font-family: Arial; word-wrap: break-word; white-space: pre-wrap; margin-bottom: 10px; padding-top: 0px; " id="content-1011017041" class="reply-text mb10" name="code"><strong>析构函数的用法</strong>：

<pre style="PADDING-BOTTOM: 0px; BACKGROUND-COLOR: rgb(255,255,255); MARGIN-TOP: 0px; PADDING-LEFT: 0px; PADDING-RIGHT: 0px; ZOOM: 1; FONT-FAMILY: Arial; WORD-WRAP: break-word; WHITE-SPACE: pre-wrap; MARGIN-BOTTOM: 10px; PADDING-TOP: 0px" id="content-582049157" class="reply-text mb10" name="code">1.每个析构函数（不加 virtual） 只负责清除自己的成员。2.可能有基类指针，指向的确是派生类成员的情况。

对于第二种情况：

正确执行：基类指针可以指向派生类的对象（多态性），如果删除该指针delete []p；就会<strong>调用该指针指向的派生类析构函数</strong>，而派生类的析构函数<strong>又自动调用基类的析构函数</strong>，这样整个派生类的对象完全被释放。

如果析构函数不被声明成虚函数，则编译器实施静态绑定，在删除基类指针时，<strong>只会调用基类的析构函数而不调用派生类析构函数</strong>，这样就会造成派生类对象析构不完全。所以，将析构函数声明为虚函数是十分必要的。

</pre><pre style="PADDING-BOTTOM: 0px; LINE-HEIGHT: 24px; MARGIN-TOP: 0px; PADDING-LEFT: 0px; PADDING-RIGHT: 0px; ZOOM: 1; FONT-FAMILY: Arial; WORD-WRAP: break-word; WHITE-SPACE: pre-wrap; MARGIN-BOTTOM: 10px; PADDING-TOP: 0px" id="content-1011017041" class="reply-text mb10" sizcache="22" sizset="8" name="code"><pre style="padding-bottom: 0px; background-color: rgb(255, 255, 255); margin-top: 0px; padding-left: 0px; padding-right: 0px; zoom: 1; font-family: Arial; word-wrap: break-word; white-space: pre-wrap; margin-bottom: 10px; font-size: 14px; padding-top: 0px; " id="content-582049157" class="reply-text mb10" name="code">所以要保证运行适当的析构函数，基类中的析构函数必须为虚析构。反正你在写一个类时，将其析构函数写为虚函数总不会错，一样重载的。

</pre><pre style="padding-bottom: 0px; background-color: rgb(255, 255, 255); margin-top: 0px; padding-left: 0px; padding-right: 0px; zoom: 1; font-family: Arial; word-wrap: break-word; white-space: pre-wrap; margin-bottom: 10px; font-size: 14px; padding-top: 0px; " id="content-582049157" class="reply-text mb10" sizcache="22" sizset="11" name="code"><pre style="padding-bottom: 0px; background-color: rgb(255, 255, 255); margin-top: 0px; padding-left: 0px; padding-right: 0px; zoom: 1; font-family: Arial; word-wrap: break-word; white-space: pre-wrap; margin-bottom: 10px; padding-top: 0px; " id="content-1011017041" class="reply-text mb10" name="code">示例：

<span style="LINE-HEIGHT: 23px; FONT-FAMILY: simsun">假设父类为A，子类为B，当A*   p   =   new   B();</span>

<span style="TEXT-ALIGN: left; LINE-HEIGHT: 23px; FONT-FAMILY: simsun">要析构p指向的对象时，若a中的析构函数不是virtual，则<span style="COLOR: #ff0000">调用delete p时，不会调用b的析构函数，这样在b中分配的资源就无法释放</span>了。</span>

<span style="TEXT-ALIGN: left; LINE-HEIGHT: 23px; FONT-FAMILY: simsun"><strong>会造成内存泄露 </strong></span>

<span style="LINE-HEIGHT: 23px; FONT-FAMILY: simsun"><span style="TEXT-ALIGN: left">class   A </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">{ </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">public: </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">        virtual   ~A(   void   ); </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">}; </span><br style="TEXT-ALIGN: left" /><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">class   B   :   public   A </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">{ </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">public: </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">        virtual   ~B(   void   ); </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">        int   n; </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">}; </span><br style="TEXT-ALIGN: left" /><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">如果你这样用： </span><br style="TEXT-ALIGN: left" /><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">A   *pb   =   new   B; </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">然后 </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">delete   pb; </span><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left"><strong>如果A的析构不是虚的，那么删除A的指针pb时，调用的析构函数就只有A的析构</strong>，但如果A的析构是虚的话，删除pb时，就会从pb里的虚函数表里去查找pb真实类型的析构函数。 </span><br style="TEXT-ALIGN: left" /><br style="TEXT-ALIGN: left" /><span style="TEXT-ALIGN: left">如果析构函数不是虚的，那么删除pb时，只调用了A的析构，而没有调用B类的析构，所以B类中的int   n将不会被删除，造成内存泄露！</span></span>

<p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">注：</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); "><span style="FONT-SIZE: 14px"><span style="COLOR: #333333">1. </span><span style="COLOR: #ff0000">一个成员函数被声明为虚函数后，在同一类族中的类就不能再定义一个非virtual的但与该虚函数具有相同的参数</span><span style="COLOR: #333333">（包括个数和类型）和函数返回值类型的同名函数。</span></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">2. 根据什么考虑是否把一个成员函数声明为虚函数？</span></p><p style="text-align: left; line-height: 26px; "><span style="FONT-SIZE: 14px"><span style="BACKGROUND-COLOR: rgb(255,255,255); COLOR: #333333">   (1)</span><span style="BACKGROUND-COLOR: rgb(255,255,0)">成员函数所在的类是否会作为基类。</span></span></p><p style="text-align: left; line-height: 26px; color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px"><span style="BACKGROUND-COLOR: rgb(255,255,255)">   (2)成员函数</span><span style="BACKGROUND-COLOR: rgb(255,255,0)">在类的继承后有无可能被更改功能</span><span style="BACKGROUND-COLOR: rgb(255,255,255)">，如果希望更改其功能的，一般应该将它声明为虚函数。</span></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">        如果成员函数在类被继承后功能不需修改，或派生类用不到该函数，则不要把它声明为虚函数。</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">       不要仅仅考虑到作为基类而把类中的所有成员函数都声明为虚函数。</span></p><p style="text-align: left; line-height: 26px; color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px"><span style="BACKGROUND-COLOR: rgb(255,255,255)">  (3)调用是通过对象名还是通过基类指针或引用去访问，如果是</span><span style="BACKGROUND-COLOR: rgb(255,255,0)">通过基类指针或引用去访问的</span><span style="BACKGROUND-COLOR: rgb(255,255,255)">，则应当声明为虚函数。</span></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px"></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">说明：使用虚函数，系统要有一定的空间开销。当一个类带有虚函数时，编译系统会为该类构造一个虚函数表，它是一个指针数组，存放每个虚函数的入口地址。系统在进行动态关联的时间开销很少，提高了多态性的效率。</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px"></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px"> 3. 析构函数的作用是在对象撤销之前把类的对象从内存中撤销。通常系统只会执行基类的析构函数，不执行派生类的析构函数。</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">  只需要把基类的析构函数声明为虚函数，即虚析构函数，这样就会撤销基类对象的同时撤销派生类的对象了，这个过程是动态关联完成的。</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); "><span style="COLOR: #ff0000; FONT-SIZE: 14px">4.如果将基类的析构函数声明为虚函数时，由该基类所派生的所有派生类的析构函数都自动成为虚函数，即使派生类的析构函数与基类的析构函数名字不相同。</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">最好把基类的析构函数声明为虚函数。这将使所有派生类的析构函数自动成为虚函数，如果程序中显式delete运算符删除一个对象，而操作对象用了指向派生类对象的基类指针，系统会调用相应类的析构函数。</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">5.<strong>构造函数不能声明为虚函数。</strong></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px"><strong>6.纯虚函数</strong></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); "><span style="FONT-SIZE: 14px"><span style="COLOR: #333333">有时候，</span><span style="COLOR: #ff0000">基类中的虚函数是为了派生类中的使用而声明定义</span><span style="COLOR: #333333">的，其在基类中没有任何意义。此类函数我们叫做纯虚函数，不需要写成空函数的形式，只需要声明成：</span></span></p><p style="text-align: left; line-height: 26px; color: rgb(51, 51, 51); "><span style="BACKGROUND-COLOR: rgb(255,255,0); FONT-SIZE: 14px">    virtual float area()const=0;</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">一般形式：virtual 函数类型 函数名（形参表列）=0;</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">注意：<strong>纯虚函数没有函数体；</strong></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); "><span style="FONT-SIZE: 14px"><span style="COLOR: #ff0000">最后面的“=0“并不代表函数返回值为0，只是形式上的作用，告诉编译系统”这是纯虚函数”</span><span style="COLOR: #333333">；</span></span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">这是一个声明语句，最后应有分号。</span></p><p style="text-align: left; line-height: 26px; background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); "><span style="FONT-SIZE: 14px">纯虚函数只有函数的名字但不具备函数的功能，不能被调用。在派生类中对此函数提供定义后，才能具备函数的功能，可以被调用。</span></p><span style="BACKGROUND-COLOR: rgb(255,255,255); FONT-SIZE: 14px"></span>