如何仅允许特定Base派生类重写虚方法foo()？

针对你的需求，这里提供两种可靠的编译期校验方案，能直接阻止意外重写或直接继承Base的错误：

方案一：私有虚函数+友元权限控制 #

将真正的虚逻辑封装为私有成员，仅对允许的final派生类开放友元权限，外部类无法访问该虚函数，自然无法重写。

class Base {
private:
    // 仅允许友元类重写的核心虚函数
    virtual void do_foo() = 0;
public:
    // 对外暴露的公共接口，固定调用do_foo
    void foo() {
        do_foo();
    }

    // 声明所有允许重写的final派生类为友元
    friend class AllowedDerived1;
    friend class AllowedDerived2;
};

// 允许的final派生类，可正常重写私有虚函数
class AllowedDerived1 final : public Base {
private:
    void do_foo() override {
        // 自定义foo逻辑
    }
};

class AllowedDerived2 final : public Base {
private:
    void do_foo() override {
        // 自定义foo逻辑
    }
};

// 错误示例：非友元类无法访问Base::do_foo，编译报错
class ForbiddenDerived : public Base {
private:
    // 编译错误：无法访问Base的私有成员do_foo
    void do_foo() override {}
};

方案二：构造函数权限限制+final派生类强制继承 #

通过Base构造函数的protected权限，仅允许指定的final派生类直接继承Base，其他类必须继承这些final类（而它们的foo已被标记为final，无法重写）。

class Base {
protected:
    // 仅允许友元类调用构造函数，禁止直接继承
    Base() = default;
    virtual void foo() = 0;

    // 允许的final派生类可直接继承Base
    friend class AllowedDerived1;
    friend class AllowedDerived2;
};

// 允许的final派生类，重写foo后标记为final
class AllowedDerived1 final : public Base {
public:
    AllowedDerived1() = default;
protected:
    void foo() override final {
        // 自定义foo逻辑
    }
};

class AllowedDerived2 final : public Base {
public:
    AllowedDerived2() = default;
protected:
    void foo() override final {
        // 自定义foo逻辑
    }
};

// 正确用法：新类必须继承已有的final派生类，无法重写foo
class NewDerived : public AllowedDerived1 {
public:
    NewDerived() = default;
    // 尝试重写foo会触发编译错误：AllowedDerived1::foo已被标记为final
};

// 错误示例：直接继承Base会因构造函数权限报错
class ForbiddenDerived : public Base {
public:
    ForbiddenDerived() = default; // 编译错误：Base构造函数为protected，且当前类不是友元
};

这两种方案都能在编译阶段直接拦截错误，无需依赖开发者记忆，完全符合你的需求。

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