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

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

• 析构函数可以为纯虚函数吗？
  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时可以实现多态链式调用，子类的析构函数会调用父类的析构函数，并一层一层向最顶层的基类传递。

因此，如果我们在析构子类的时候，也希望基类也进行相关的析构动作，那么就需要将析构函数设置为虚函数。

4、纯虚析构函数

如果我们想创建一个抽象类，我们知道，抽象类中必须包含至少一个纯虚函数，如果基类没有其它合适的函数适合作为纯虚函数，那么我们就可以将析构函数声明为纯虚函数。也就是说，这里将析构函数定义为纯虚函数，只是为了建立一个抽象类的需要。

由于析构函数为虚函数（纯虚函数或非纯虚函数）， 子类在析构的时候都会调用基类的析构函数，基类的析构函数必须要有函数体。这就是为什么当析构函数声明为纯虚函数时，也必须要有函数体， 不然没法被子类调用，这也是为什么非析构函数作为纯虚函数时，一般不需要函数体，因为子类不会调用基类的函数。