C++ 虚析构函数

本文通过示例解释了为何C++中基类的析构函数通常被定义为虚函数。这确保了通过基类指针删除派生类对象时,能够正确调用派生类的析构函数,避免内存泄漏等问题。

虚函数是C++实现多态的重要手段之一,本文介绍了虚析构的内容:

原文:http://blog.youkuaiyun.com/starlee/article/details/619827

我们知道,用C++开发的时候,用来做基类的类的析构函数一般都是虚函数。可是,为什么要这样做呢?下面用一个小例子来说明:    
    有下面的两个类:

class ClxBase
{
public:
    ClxBase() {};
    
virtual ~ClxBase() {};

    
virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl; };
};

class ClxDerived : public ClxBase
{
public:
    ClxDerived() {};
    
~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; }; 

    
void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };
};

    代码

ClxBase *pTest = new ClxDerived;
pTest
->DoSomething();
delete pTest;

    的输出结果是:

Do something in class ClxDerived!
Output from the destructor of class ClxDerived!

    这个很简单,非常好理解。
    但是,如果把类ClxBase析构函数前的virtual去掉,那输出结果就是下面的样子了:

Do something in class ClxDerived!

    也就是说,类ClxDerived的析构函数根本没有被调用!一般情况下类的析构函数里面都是释放内存资源,而析构函数不被调用的话就会造成内存泄漏。我想所有的C++程序员都知道这样的危险性。当然,如果在析构函数中做了其他工作的话,那你的所有努力也都是白费力气。
    所以,文章开头的那个问题的答案就是--这样做是为了当用一个基类的指针删除一个派生类的对象时,派生类的析构函数会被调用。
    当然,并不是要把所有类的析构函数都写成虚函数。因为当类里面有虚函数的时候,编译器会给类添加一个虚函数表,里面来存放虚函数指针,这样就会增加类的存储空间。所以,只有当一个类被用来作为基类的时候,才把析构函数写成虚函数。


<think>嗯,用户想了解C++虚析构函数的作用和用法,以及使用场景和实现细节。首先,我需要回忆一下虚析构函数的基本概念。记得在C++中,当一个类被设计为基类,并且可能通过基类指针来删除派生类对象时,必须将基类的析构函数声明为虚函数。否则的话,如果通过基类指针删除派生类对象,可能会导致派生类的析构函数不被调用,从而产生资源泄漏的问题。 比如,假设有一个基类Base和一个派生类Derived。如果Base的析构函数不是虚函数,当使用Base*指针指向一个Derived对象并删除该指针时,只会调用Base的析构函数,而Derived的析构函数不会被调用。这显然是不安全的,因为Derived可能分配了额外的资源,这些资源无法被正确释放。因此,将基类的析构函数设为虚函数可以确保正确调用派生类的析构函数,避免内存泄漏。 接下来,我需要考虑虚析构函数的具体使用场景。根据用户提供的引用,比如引用[4]提到基类析构函数应该是public和virtual,或者protected和非virtual。这说明当基类要被多态使用时,析构函数应该是虚的,并且public;如果基类不作为多态接口,而是需要通过派生类来管理资源,那么析构函数应该是protected的非虚函数,防止直接删除基类指针。 另外,引用[2]提到RAII原则,即资源获取即初始化。虚析构函数在此原则下非常重要,因为资源管理依赖于析构函数的正确调用。如果析构函数没有正确调用,资源可能无法释放,导致泄漏。 然后,关于实现细节,用户提供的引用[3]中展示了成员函数后加const的情况,但这可能与析构函数关系不大。不过,析构函数本身的声明方式需要注意,比如virtual关键字的位置,以及派生类中的析构函数是否也需要声明为虚函数。实际上,一旦基类的析构函数是虚函数,派生类的析构函数会自动成为虚函数,即使没有显式使用virtual关键字,但显式声明可能更清晰。 另外,虚析构函数的实现通常为空,除非需要手动释放资源。但大多数情况下,资源管理应通过成员对象的析构函数或智能指针来处理,遵循RAII原则,如引用[2]所述。 可能还需要讨论何时不需要虚析构函数。例如,如果一个类不作为基类使用,或者不会被多态地通过基类指针删除,那么不需要虚析构函数。这样可以避免虚函数表带来的额外开销。 总结起来,回答的结构应该包括:虚析构函数的作用、使用场景(基类多态使用)、实现方法(声明为virtual)、注意事项(派生类析构函数的处理)、以及不适用的情况。同时,结合用户提供的引用,强调遵循RAII原则和正确的内存管理,避免资源泄漏。</think>### C++虚析构函数的作用及实现 #### 1. 核心作用 虚析构函数用于**解决基类指针删除派生类对象时的资源泄漏问题**。当通过基类指针操作派生类对象时,若基类析构函数非虚,则只会调用基类析构函数,导致派生类资源未被释放[^4]。例如: ```cpp class Base { public: ~Base() { /* 非虚析构函数 */ } // ❌ 隐患 }; class Derived : public Base { int* res = new int[100]; public: ~Derived() { delete[] res; } // 不会被调用 }; Base* obj = new Derived(); delete obj; // 仅调用Base::~Base() ``` #### 2. 正确实现方式 - **基类声明虚析构函数** 通过`virtual`关键字标记,确保动态绑定: ```cpp class Base { public: virtual ~Base() = default; // ✅ 虚析构函数 }; ``` - **派生类自动继承虚特性** 派生类析构函数无论是否显式声明`virtual`,都会继承虚特性,但建议显式标记: ```cpp class Derived : public Base { public: ~Derived() override { ... } // ✅ override明确语义 }; ``` #### 3. 使用场景分析 | 场景类型 | 析构函数设置 | 典型应用 | |---------|--------------|----------| | 多态基类 | `public virtual` | 工厂模式、接口类 | | 非多态基类 | `protected non-virtual` | 实现继承的辅助基类 | | 最终类(C++11+) | `final`标记类 | 禁止继承的实体类 | #### 4. 关键设计原则 - **RAII资源管理** 虚析构函数应与智能指针(如`std::unique_ptr`)配合,确保资源自动释放[^2] - **零开销抽象** 无虚函数的类无需虚析构,避免虚表(vtable)带来的内存开销 - **C++核心指南建议** 基类要么提供`public virtual`析构函数,要么声明`protected non-virtual`析构函数 #### 5. 典型错误示例 ```cpp class ResourceHolder { FILE* file; public: ~ResourceHolder() { fclose(file); } // 非虚析构函数 }; class ExtendedHolder : public ResourceHolder { int* buffer = new int[1024]; public: ~ExtendedHolder() { delete[] buffer; } // 永远不会执行 }; ResourceHolder* obj = new ExtendedHolder(); delete obj; // 内存泄漏:buffer未被释放 ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值