为什么C++标准没有为纯虚析构函数提供隐式默认定义？

你对抽象类的基础理解是正确的：声明了纯虚析构的A类本身确实无法直接实例化，你给出的第二段代码无法运行不是因为B类还是抽象类，而是链接阶段B类实例销毁时需要调用基类A的析构函数，但A的纯虚析构没有提供对应实现，导致链接器找不到符号报错。

C++标准不为纯虚析构函数提供隐式默认定义，主要有三点考量：

• 首先是符合纯虚函数的核心语义设计：纯虚语法的首要作用是标记所属类为抽象类、禁止直接实例化，而非声明该函数没有默认实现。如果标准为纯虚析构自动生成默认实现，会模糊纯虚语法的核心作用，甚至让部分开发者误以为纯虚析构的默认行为就是空实现，忽略基类自身的资源清理需求。
• 其次是保持语法规则的一致性：普通纯虚函数不会被编译器自动生成默认实现，需要开发者显式提供才会存在，如果纯虚析构单独做特殊处理，会破坏C++语法规则的统一性，增加不必要的理解成本，也容易导致不符合开发者预期的隐式行为。
• 最后是避免潜在的资源泄漏风险：如果基类本身持有需要手动释放的资源（比如堆内存、文件句柄等），编译器自动生成的空析构无法完成这些清理工作，自动提供默认实现反而会掩盖开发者的编码疏漏，导致更难排查的内存泄漏或资源泄漏问题。

如果需要既用纯虚析构把基类标记为抽象类，又不需要自定义基类析构逻辑，可以显式声明纯虚析构后，在类外指定默认实现即可，示例代码如下：

#include <iostream>

class A{
public:
    A(){std::cout<<"A::A()"<<std::endl;}
    // 声明为纯虚，标记A为抽象类
    virtual ~A() = 0;
};

// 类外提供默认实现，满足派生类析构的调用需求
A::~A() = default;

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

int main(){
    B b; // 可正常实例化、销毁
    return 0;
}

内容的提问来源于stack exchange，提问作者Karen Baghdasaryan