C++基础---虚析构函数与纯虚析构函数

最新推荐文章于 2024-08-21 08:30:00 发布

Cainv89

最新推荐文章于 2024-08-21 08:30:00 发布

阅读量1.5k

点赞数 1

分类专栏： C++基础文章标签： C++函数虚析构函数纯虚析构函数

本文链接：https://blog.csdn.net/cainv89/article/details/47337501

版权

C++基础专栏收录该内容

72 篇文章 39 订阅

订阅专栏

1. 虚析构函数与纯虚析构函数

1.1 虚析构函数与纯虚析构函数的定义

虚析构函数：为了解决基类的指针指向派生类对象，并用基类的指针删除派生类对象；
虚析构函数：当且仅当类里包含至少一个虚函数的时候才去声明虚析构函数，无故的声明虚析构函数和永远不去声明一样是错误的；
```
class <类名>
{
virtual ~<类名>();
…
};
即：virtual ~A();
```
纯虚析构函数：抽象类是准备被用做基类的，基类必须要有一个虚析构函数，纯虚函数会产生抽象类，所以方法很简单，在想要成为抽象类的类里声明一个纯虚析构函数；
```
class <类名>
{
virtual ~<类名>() = 0;
…
};
即：virtual ~A() = 0;
```
注：如果某个类不包含虚函数，那一般是表示它将不作为一个基类来使用。当一个类不准备作为基类使用时，使析构函数为虚一般是个坏主意。因为它会为类增加一个虚函数表，使得对象的体积翻倍，还有可能降低其可移植性。

1.2 带有虚函数功能的类需要一个虚析构函数的原因

如果一个类有虚函数功能，它经常作为一个基类使用；
如果它是一个基类，它的派生类经常使用new来分配；
如果一个派生类对象使用new来分配，并且通过一个指向它的基类的指针来控制，那么它经常通过一个指向它的基类的指针来删除它；
注：
(1)如果基类没有虚析构函数，结果将是不确定的，实际发生时，派生类的析构函数永远不会被调用。
(2)如果基类有虚析构函数的话，最底层的派生类的析构函数最先被调用，然后各个基类的析构函数被调用。

1.3 虚析构函数的注意点

由于析构函数不允许有参数，因此它不可能实现重载，那么一个类就只能有一个虚析构函数；
只要基类的析构函数被声明为虚函数，则派生类的析构函数无论说明与否，都自然是析构函数；
如果基类中定义了虚函数，析构函数也应说明为虚函数，这样对内存的回收更准确些；
注：在C++中虚构造函数是不存在的，因此也无法声明。

1.4 虚析构函数的实例

(1)在带有虚函数的基类中定义普通析构函数


#include <iostream>

using namespace std;

class A
{
public:
    A(){cout<<"A()..."<<endl;}
    ~A(){cout<<"~A()..."<<endl;}

public:
    virtual void func1()
    {
        cout<<"A::func1()"<<endl;
    }
};

class B : public A
{
public:
    B(){cout<<"B()..."<<endl;}
    ~B(){cout<<"~B()..."<<endl;}

public:
    virtual void func1()
    {
        cout<<"B::func1()"<<endl;
    }
};

int main()
{
    A *pb = new B;
    pb->func1();
    delete pb;

    system("pause");
    return 0;
}
=>A()...
  B()...
  B::func1()
  ~A()...
注：派生类继承自基类，那么基类就只会存在于派生类中，直到派生类调用析构函数后。
当上述这种情况，基类的析构函数调用比派生类要早，会造成的一种情况就是类成员不存在了，而类本身却还在，但是类存在的情况下，类成员应该还存在。所以这就矛盾了，应该派生类的析构函数会先被调用，基类的析构函数再被调用。

(2)在带有虚函数的基类中定义虚析构函数
```
#include <iostream>

using namespace std;

class A
{
public:
    A(){cout<<"A()..."<<endl;}
    virtual ~A(){cout<<"virtual ~A()..."<<endl;}

public:
    virtual void func1()
    {
        cout<<"A::func1()"<<endl;
    }
};

class B : public A
{
public:
    B(){cout<<"B()..."<<endl;}
    virtual ~B(){cout<<"virtual ~B()..."<<endl;}

public:
    virtual void func1()
    {
        cout<<"B::func1()"<<endl;
    }
};

int main()
{
    A *pb = new B;
    pb->func1();
    delete pb;

    system("pause");
    return 0;
}
=>A()...
  B()...
  B::func1()
  virtual ~B()...
  virtual ~A()...
```
注：析构函数的作用并不是删除对象，而是撤销对象占用内存之前完成的一些清理工作。
(1)抽象类是准备被用做基类的，基类必须要有一个虚析构函数，纯虚函数会产生抽象类，所以在想要成为抽象类的类里声明一个纯虚析构函数。
(2)定义一个函数为虚函数，不代表该函数未被实现，只是为了来实现多态。
(3)定义一个函数为纯虚函数，才表示函数未被实现，定义它是为了实现一个接口，起一个规范作用。继承抽象类的派生类要实现这个函数。