作为通常的原则,如果一个类定义了虚函数,那么它的析构函数就应当是virtual的。因为定义了虚函数则隐含着:这个类会被继承,并且会通过基类的指针指向子类对象,从而得到多态性。 这个类可能会被继承,并且会通过基类的指针指向子类对象”,因此基类的析构函数是否为虚将决定子类的对象是否被析构
示例代码:
#include<iostream.h>
structA
{
virtual~A(){cout<<"~A()\n";}
};
structB:publicA
{
~B(){cout<<"~B()\n";}
};
voidmain()
{
A*p=newB;
deletep;
}
如果 A的析构函数不是virtual的,那么此时就不是先调用B的析构函数再调用A的析构函数。
Output:
~A();
如果A 的析构函数为virtual,则先~B(),再~A()
Output:
~B();
~A();
类如果会被派生的话,析构函数一般都应该定义为virtual的,主要不是防止内存泄露,而是为了正确的析构。如果是个封闭类(即不再被派生),就不要定义为virtual的。虚函数毕竟耗费较大的。
不用virtual 的几种情况:
1、作为非公有基类。仅作为 private base class 使用的 class 不需要使用虚拟析构函数
2、不作为接口使用的基类。
3. 如果你可以保证这个类不被public继承(private/protected继承的话,在非friend函数/类中就无法用基类指针指向派生类了)
4. 如果它的所有派生类(包括派生类的派生类)的析构函数都是trivial的(这里的trivial指的是在程序员的层次什么事也不做)
5. 如果不需要用基类的指针指向派生类的对象
在这五种情况下,不把析构函数声明为virtual都是可以的,何况效率会高一些——但前提是你得保证前提的成立——不过这些保证常常是很难100%的:谁能保证别人在派生你的类的时候,析构函数是trivial的,或者别人不用你提供的基类的指针指向派生类对象?这些常常是很难得到保证的。
声明基类的析构函数为virtual并非总是为了防止memory leak 另外这也只是作为一般的原则(基类中有虚函数则把其析构函数声明为virtual)。如果你的析构函数什么事也不作,从效果上来说,不声明为virtual也无妨
为什么C++析构函数前面有时需要 virtual
#include <iostream>
using namespace std;
class Base{
public:
virtual ~Base() {cout<<"~B"<<endl;}
};
class Derived:public Base{
public:
virtual ~Derived() {cout<<"~D"<<endl;}
};
int main (){
Base *b=new Derived;
delete b;
}
以上代码执行结果是:
~D
~B
对于析构函数使用虚函数的解释,是这样的,因为是使用语句 Base *b=new Derived;来创建的对象b,如果,我们不把析构函数声明为虚函数,那么实际上,在对象生命周期结束时,调用的将只是基类Base的析构函数,而派生类Derived的析构函数将是不调用的,你可以试验一下,此时,只打印~B。而我们为了正确地释放对象,所以要将析构函数声明为虚函数,这时,基类和派生类的析构函数就都会调用了。
分享到:
相关推荐
C++ 中基类的析构函数为什么要用 virtual 虚析构函数 C++ 中基类的析构函数为什么要用 virtual 虚析构函数?这是一个非常重要的问题。在 C++ 中,基类的析构函数如果不使用 virtual 虚析构函数,可能会导致内存泄漏...
使用`virtual`关键字声明析构函数,能够确保派生类的析构函数在通过基类指针或引用来删除对象时被正确调用,避免资源泄露和其他潜在问题。 ### 为何析构函数需要virtual 1. **多态性与析构** 当一个类作为基类时...
虚析构函数(virtual destructor)是具有“虚”属性的析构函数。在继承体系中,如果没有声明析构函数为虚的,那么通过基类指针或引用删除派生类对象时,只会调用基类的析构函数,而不会调用派生类的析构函数,这可能...
析构函数还可以与继承和多态一起使用。在有继承层次结构的类中,基类的析构函数通常是虚函数(`virtual`),以确保即使通过基类指针或引用删除派生类对象时,也能调用正确的析构函数。例如: ```cpp class Base { ...
在销毁对象时,如果对象是通过基类指针或引用删除的,而对象实际上是派生类的实例,那么非虚析构函数只会调用基类的析构函数,派生类的析构函数不会被调用,可能会导致内存泄漏或资源未释放的问题。虚析构函数则能...
与构造函数不同,析构函数通常用于释放对象占用的资源,例如内存和其他系统资源。在类的继承体系中,基类的析构函数可以声明为虚函数,这样做的主要原因如下: 1. **避免内存泄漏**:如果基类指针指向派生类对象,...
标题“派生的析构函数被调用”涉及的是面向对象编程中的继承概念,特别是在多态环境下,基类与派生类析构函数的交互。 析构函数的名字是以波浪线(~)开头,后面跟着类名。基类的析构函数默认是虚函数(virtual),...
#### 析构函数与虚函数的基本概念 - **析构函数**:在C++中,析构函数是一种特殊的成员函数,用于在对象生命周期结束时释放资源或执行必要的清理工作。析构函数在对象销毁前自动调用。 - **虚函数**:虚函数允许...
1. **动态类型与静态类型不匹配**:在析构函数中调用虚函数时,C++使用的是静态绑定,即根据对象的静态类型(即编译时已知的类型)来决定调用哪个函数版本,而不是动态类型(即运行时的实际类型)。因此,即使你期望...
C++中,有两种类型的析构函数:非虚析构函数和虚析构函数。对于基类,如果基类的析构函数声明为虚的(`virtual`),那么通过基类指针或引用删除派生类对象时,将调用正确的派生类析构函数,这是多态性的体现。不声明...
1. 如果父类的析构函数不加virtual关键字,当父类的指针指向子类时,delete掉父类的指针,只调动父类的析构函数,而不调动子类的析构函数。 2. 如果父类的析构函数加virtual关键字,当父类的指针指向子类时,delete...
在继承体系中,如果基类有一个非虚析构函数,子类的对象将不会自动调用基类的析构函数。这意味着,如果你希望在基类析构函数中进行必要的清理,你需要声明它为虚函数(`virtual`)。这样,当通过指针或引用删除派生...
在C++编程语言中,虚函数(Virtual Functions)和虚析构函数(Virtual Destructors)是面向对象编程中的重要概念,特别是在处理继承和多态性时显得尤为关键。本资料详细介绍了这两个主题,并通过实例进行了深入讲解...
在C++编程语言中,虚析构函数(Virtual Destructor)是一个非常关键的概念,它主要用于处理多态性(Polymorphism)和动态类型(Dynamic Type)。本文将深入探讨虚析构函数的作用,以及为何在基类中声明虚析构函数是...
如果需要通过基类指针来正确地销毁派生类对象,需要将基类的析构函数声明为虚函数(`virtual`),如`virtual ~A()`。这样,使用基类指针调用析构函数时,会执行到实际对象所属类的析构函数。 总的来说,理解C++派生...
在这个例子中,`Dispose`方法根据`disposing`参数处理托管和非托管资源,析构函数调用`Dispose(false)`确保非托管资源在GC回收时得到释放。而`Dispose`方法通常由用户在不再需要对象时调用,以确保资源立即被释放。 ...
//析构函数做成员函数 }; Base::~Base()//成员函数实现 { cout; } class Derived:public Base { public: Derived(); ~Derived(); private: int *p; }; Derived::Derived() { p=new int(0);//从堆上分配一个int型...
但如果析构函数声明为虚的(`virtual ~ClassName()`),那么在删除对象时,会沿着继承链依次调用每个类的析构函数,确保所有资源都被正确释放。 总的来说,C++的动态和静态关联是实现多态性的重要机制,它们让代码...
如果我们将基类`Base`的析构函数声明为虚函数,如`virtual ~Base()`,那么无论何时通过基类指针或引用删除对象,都会确保调用到正确的析构函数,包括派生类的析构函数。这样,无论是基类还是派生类的资源都能得到...