析构函数可以为纯虚函数吗？纯虚函数可以有函数体吗？纯虚函数需要函数体吗？

news2025/1/19 22:30:17

先回答标题中中的几个问题：

析构函数可以为纯虚函数吗？
yes。
纯虚函数可以有函数体吗？
yes。
纯虚函数需要函数体吗？
一般来讲，如果析构函数是纯虚函数，那么析构函数必须要有函数体，如果是其它函数为纯函数，没有必要写函数体。

那么现在问题又来了：

析构函数什么时候应该声明为纯虚函数？
当析构函数为纯虚函数时，为什么需要定义函数体？

1、纯虚函数与抽象类

基本概念相信大家都有所了解，这里主要强调几点：
（1）抽象类不能用例实例化对象，即不能用抽象类来定义一个对象。
（2）如果一个类包含一个纯虚函数，那么就是抽象类。即抽象了至少包含一个纯虚函数。
（3）抽象类中并不是所有的函数都是纯虚函数

2、虚函数和纯虚函数的区别

我们经常在看到类似如下的定义，于是很多人就存在一个误区，以为虚函数和纯虚函数就是有没有函数体的区别

class Base {
    public:
    virtual void func1() {  // 虚函数
        cout << "Base: func1" << endl;
    }
    virtual void func2()  = 0; // 纯虚函数

};

其实纯虚函数也是可以有自己的函数体的：

class Base {
    public:
    virtual void func1() = 0;
     
    virtual ~Base() = 0; // 纯虚函数

};
void Base :: func1() {  // 纯虚函数func1 函数体

}
Base :: ~Base() {   // 纯虚析构函数 函数体

}

通过上面的例子只是想说明，纯虚函数也是可以有函数体的，只是大多数时候没有必要。

3、什么时候析构函数声明为虚函数？

先说一下，析构函数为虚函数和非析构函数为虚函数有啥不同？
当析构函数为虚函数时，在子类析构的时候，也会连同父类一起析构。

#include <bits/stdc++.h>
using namespace std;
class Derived : public Base {
    public:
    void func1() {
        cout << "Derived: func1" << endl;
    }
    ~Derived() {
        cout << "~Derived" << endl;
    }
};
int main()
{
    Base * pd = new Derived;
    pd->func1();
    cout << "finish...\n";
    delete pd;
    return 0;
}

打印结果如下：
在这里插入图片描述
从上面的结果可以看到，如果是普通的虚函数func1，只会调用调用派生类的func1，但是如果是虚析构函数，还会调用基类的析构函数。即：当基类的析构函数设置为虚函数时，delete时可以实现多态链式调用，子类的析构函数会调用父类的析构函数，并一层一层向最顶层的基类传递。