C++虚析构函数的使用分析

在C++中,不能声明虚构造函数,但可以声明虚析构函数。多态性是指不同的对象对同一消息有不同的行为特性。虚函数作为运行时多态性的基础,主要是针对对象的,而构造函数是在对象产生之前运行的,因此虚构造函数是没有意义的。
析构函数的功能是在该类对象消亡之前进行一些必要的清理工作,析构函数最好都是virtual的。
首先解释一下虚构函数和指针之间是如何交互的,以及虚析构函数的具体含义。例如以下代码,其中SomeClass是含有非virtual析构函数的一个类:
SomeClass *p= new SomeClass;
. . .  . . .
delect p;
为p调用delect时,会自动调用SomeClass类的析构函数。现在,再来看看将析构函数标记为virtual之后,会发生什么事情。
描述析构函数与虚函数机制的交互时,最简单的表述是:将所有析构函数都视为具有相同的名字(即使它们并非真的同名)。例如,假定Derived类是Base类的一个派生类,并假定Base类中的析构函数标记为virtual。现在来分析以下代码:
Base *pBase= new Derived;
. . .  . . .
delect pBase;
为Base调用delect时,会调用一个析构函数。由于Base类中的析构函数标记为virtual,而且指向的对象属于Derived类型,所以会调用Derived类中的析构函数。
应注意的一点是,将析构函数标记为virtual后,派生类所有的析构函数都自动成为virtual的(不管时候用virtual来标记它们)。同样地,这种行为就好象所有析构函数都具有相同的名字(即使事实上不同名)。
下面说的是将所有析构函数都标记为virtual的好处。假定Base类有一个指针类型的成员变量pB,Base类的构造函数会创建由pB指向的一个动态变量,而Base类的析构函数会删除pB指向的动态变量。另外,假定Base类没有标记为virtual,并假定Derived类(它从Base派生)有一个指针类型的成员变量pD,Derived类的构造函数会创建有pD指向的一个动态变量,而Derived类的析构函数会删除pD指向的动态变量。分析一下以下代码:
Base *pBase= new Derived;
. . .  . . .
delect pBase;
由于基类中的析构函数没有标记为virtual,所以只会调用Base类的析构函数。它会将pB指向的动态变量占用的内存返还给自由存储。但是,对于pD指向的动态变量来说,它占用的内存永远不会返还给自由存储(除非程序终止)。
另一方面,如果基类Base的析构函数标记为virtual,那么为pBase调用delect时,就会调用Derived类的析构函数(因为指向的对象属于Derived类型)。Derived类的析构函数会删除pD指向的动态变量,再自动调用基类Base的析构函数。后者会删除pB指向的动态变量。因此,将基类析构函数标记为virtual之后,所有内存都能成功地由自由存储回收。为了准备好迎接这种情况,最好总是将析构函数标记为virtual。
举个例子说明一下:


代码如下:

#include "stdafx.h"
#include <iostream>
using namespace std;
class Base
{
public:
 Base(){cout << " Constructor in Base. " << endl;}
 virtual ~Base(){ cout << " Destructor in Base. " << endl;}
};
class Derived:public Base
{
public:
 Derived(){cout << " Constructor in Derived. " << endl;}
 ~Derived(){cout << "Destructor in Derived. " << endl;}
};
int _tmain(int argc, _TCHAR* argv[])
{
 Base *p = new Derived;
 delete p;
 return 0;
}

输出:
    Constructor in Base.
    Constructor in Derived.
    Destroctor in Derived.
    Destroctor in Base.
 
如果Base中的析构函数,没有virtual修饰,输出为:
     Constructor in Base.
     Constructor in Derived.
     Destroctor in Base.
这样子类Derived中的析构函数没有执行,会造成内存泄露,因此,如果一个类是其他类的基类,应该将其析构函数声明为虚析构函数。另外从本例中也可以看出,构造函数、析构函数的执行顺序。构造函数,先基类后子类,析构函数,先子类,后基类。

(0)

相关推荐

  • 简要解读C++的动态和静态关联以及虚析构函数

    C++静态关联与动态关联.C++是怎样实现多态性的 在现实生活中,多态性的例子是很多的.我们分析一下人是怎样处理多 态性的.例如,新生被录取人大学,在人学报到时,先有一名工作人员审查材料,他的职责是甄别资格,然后根据录取通知书上注明的录取的系和专业,将材料转到有关的系和专业,办理具体的注册人学手续,也可以看作调用不同部门的处理程序办理入学手续.在学 生眼里,这名工作人员是总的人口,所有新生办入学手续都要经过他.学生拿的是统一的录取通知书,但实际上分属不同的系,要进行不同的注册手续,这就是多态.那

  • C++的虚析构详解及实例代码

    C++的虚析构 最近准备复习一遍所有的知识点,先从基础开始做起,用几分钟写个继承和析构吧. 父类为A,子类为B,代码如下: class A { public: A() { cout << "构造A"<< endl; } ~A() { cout << "析构A" << endl; } } class B:public A { public: B() { cout << "构造B"<&

  • 解析C++中虚析构函数的作用

    我们知道,用C++开发的时候,用来做基类的类的析构函数一般都是虚函数.可是,为什么要这样做呢?下面用一个小例子来说明:    有下面的两个类: 复制代码 代码如下: class ClxBase{public:    ClxBase() {};    virtual ~ClxBase() {};    virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl; };}

  • C++虚析构函数的使用分析

    在C++中,不能声明虚构造函数,但可以声明虚析构函数.多态性是指不同的对象对同一消息有不同的行为特性.虚函数作为运行时多态性的基础,主要是针对对象的,而构造函数是在对象产生之前运行的,因此虚构造函数是没有意义的.析构函数的功能是在该类对象消亡之前进行一些必要的清理工作,析构函数最好都是virtual的.首先解释一下虚构函数和指针之间是如何交互的,以及虚析构函数的具体含义.例如以下代码,其中SomeClass是含有非virtual析构函数的一个类:SomeClass *p= new SomeCla

  • 详解C++中虚析构函数的作用及其原理分析

    C++中的虚析构函数到底什么时候有用的,什么作用呢. 一.虚析构函数的作用 总的来说虚析构函数是为了避免内存泄露,而且是当子类中会有指针成员变量时才会使用得到的.也就说虚析构函数使得在删除指向子类对象的基类指针时可以调用子类的析构函数达到释放子类中堆内存的目的,而防止内存泄露的. 我们知道,用C++开发的时候,用来做基类的类的析构函数一般都是虚函数.可是,为什么要这样做呢?下面用一个小例子来说明: #include<iostream> using namespace std; class Cl

  • C++中的new/delete、构造/析构函数、dynamic_cast分析

    1,new 关键字和 malloc 函数区别(自己.功能.应用): 1,new 关键字是 C++ 的一部分: 1,如果是 C++ 编译器,则肯定可以用 new 申请堆空间内存: 2,malloc 是由 C 库提供的函数: 1,如果没有相应的库,malloc 将不能使用: 2,有些特殊的嵌入式开发中,少了 C 库,则就不能动态内存分配: 3,new 以具体类型为单位进行内存分配: 1,面向对象中一般用 new,不用 malloc: 4,malloc 以字节为单位进行内存分配: 5,new 在申请内

  • C++ 虚函数和纯虚函数的区别分析

    首先:强调一个概念 定义一个函数为虚函数,不代表函数为不被实现的函数. 定义他为虚函数是为了允许用基类的指针来调用子类的这个函数. 定义一个函数为纯虚函数,才代表函数没有被实现. 定义纯虚函数是为了实现一个接口,起到一个规范的作用,规范继承这个类的程序员必须实现这个函数. 简介 假设我们有下面的类层次: class A { public: virtual void foo() { cout<<"A::foo() is called"<<endl; } }; cl

  • Python构造函数与析构函数超详细分析

    目录 1.构造函数 2.析构函数 1.构造函数 __init__(self), 这个方法就是构造函数,在实例化的时候自动调用. 所有如果这个函数内有打印的方法,当实例出来的时候会打印里面的信息. __init__方法的第一个参数永远都是self,表示创建实例本身,在__init__方法内部,可以把各种属性绑定到self,因为self指向创建的实例本身. 有了__init__方法,在创建实例的时候,就不能传入空的参数了,必须传入与__init__方法匹配的参数,但self不需要传,Python解释

  • C++虚函数表实例分析

    多态是C++面向对象程序设计的一个重要特性.以前看到虚函数觉得很神奇,为什么就能实现多态了呢.最初的时候曾设想,要实现运行时多态,应该让对象的某个部分始终指向一个固定的地址,子类继承的时候,就修改这个地址的内容.这样,父类和子类都是到同一个固定地址去读取内容,在运行时就能表现不同行为. 在看了<深度探索c++对象模型>之后,发现思路是类似的.在对象中,有一个指针指向一张虚函数表,里面按照次序存放了每一个虚函数,当子类继承的时候,即到虚函数表的指定位置去修改函数地址.当我们通过父类指针来操作一个

  • C#虚函数用法实例分析

    本文实例讲述了C#虚函数用法.分享给大家供大家参考.具体如下: using System; namespace Test2 { class Plane { public double TopSpeed() { return 300.0D; } } class Jet : Plane { public double TopSpeed() { return 900.0D; } } class Airport { static void Main(string[] args) { Plane plan

  • 浅谈C++ 虚函数分析

    虚函数调用属于运行时多态,在类的继承关系中,通过父类指针来调用不同子类对象的同名方法,而产生不同的效果. C++ 中的多态是通过晚绑定(对象构造时)来实现的. 用法 在函数之前声明关键字 virtual 表示这是一个虚函数,在函数后增加一个 = 0 表示这是一个纯虚函数,纯虚函数的类不能创建具体实例. 该示例作后文分析使用,一个包含纯虚函数的父类,一个重写了父类方法的子类,一个无继承的类. struct Base { Base() : val(7777) {} virtual int fuck(

随机推荐