删除虚函数的作用是什么？为何基类与派生类需统一删除状态？

我们先回顾问题中的代码示例：

struct A
{
    virtual void foo() = delete;
};

struct B : A
{
    void foo() override = delete;
};

如果派生类B的foo不标记为=delete，会直接触发编译错误。这个设计的核心目的是维护虚函数体系的一致性与调用安全性，具体可以从以下几点理解：

• 杜绝多态调用的逻辑漏洞
  基类将虚函数标记为=delete，本质是明确声明：这个函数不应该被任何方式调用。如果允许派生类为该函数提供实现，那么用户完全可以通过基类指针/引用，借助动态绑定调用到派生类的foo实现——这直接违背了基类禁用该函数的初衷，相当于给原本被禁止的操作开了“后门”，会引发意料之外的行为。

• 强制继承体系的接口契约一致性
  基类的虚函数设计是整个继承体系的接口契约一部分。当基类禁用某个虚函数时，等于给所有派生类定下了“这个函数在整个体系中都不可用”的规则。强制派生类也标记为=delete，是为了防止派生类私自破坏这个契约，确保整个继承体系的接口行为统一，避免使用者产生认知混乱。

• 消除语义二义性
  如果允许派生类override基类的delete虚函数，会出现语义矛盾：基类说“此函数禁用”，派生类说“此函数可用”。编译器无法判断用户的真实意图，使用者也无法确定通过基类类型调用该函数是否合法。直接禁止这种矛盾的写法，是最简洁的解决方式，避免了模糊的语义带来的潜在问题。

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