C++虚析构函数

  • 续isA:在函数传参时,可以使用子类对父类进行初始化,但是注意,子类中的一些父类不包含的数据成员和成员函数会丢失void fun1(Person *p) void fun2(Person &p) int main(void) Person PI; Soldier sl; funl(&pl); funl(&sl); return O; fun2(p1); fun2(s1);
  • 虚析构函数注意只是为了解决利用派生类生成父类的实例,需要父类具有虚函数,否则将有内存泄漏!
    虚析构函数是为了解决基类的指针指向派生类对象,并用基类的指针删除派生类对象。换句话说,普通的析构函数在析构IsA这种方式的对象时只能析构了父类对象而无法析构子类对象。

    如果某个类不包含虚函数,那一般是表示它将不作为一个基类来使用。当一个类不准备作为基类使用时,使析构函数为虚一般是个坏主意。因为它会为类增加一个虚函数表,使得对象的体积翻倍,还有可能降低其可移植性。

    所以基本的一条是:无故的声明虚析构函数和永远不去声明一样是错误的。实际上,很多人这样总结:当且仅当类里包含至少一个虚函数的时候才去声明虚析构函数。

    抽象类是准备被用做基类的,基类必须要有一个虚析构函数,纯虚函数会产生抽象类,所以方法很简单:在想要成为抽象类的类里声明一个纯虚析构函数。
    注意,虚析构函数都是写再基类中的!
    举个例子:
    我们知道,用C++开发的时候,用来做基类的类的析构函数一般都是虚函数。可是,为什么要这样做呢?下面用一个小例子来说明(以下来自http://blog.youkuaiyun.com/liliangshuai/article/details/40425279):    
    有下面的两个类:
    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]提到基类析构函数应该是publicvirtual,或者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、付费专栏及课程。

余额充值