c++ - 有没有办法指定或断言子类必须重新实现特定的非抽象虚方法？

Question

这就是我的意思。我有一个类层次结构:

class A {
   virtual int f() = 0;
};

class B : public A {
   int f() override {return 5;}
   void doSpecificStuff() {}
}

B 是一个自给自足的类，可以单独使用。但它也有很多后代:

class C : public B {
   int f() override {return 171;}
}

有什么方法可以确保在子类化 B 时不会忘记重新实现 f 吗？

Answer 1

此解决方案的灵感来自@dyp 的评论:

你可以拆分B的两个职责，即“提供B风格的实现”和“可以被实例化”。

class B_for_implementation : public A
{
  void doSpecificStuff();
};

class B_for_objects final : public B_for_implementation
{
  int f() override {return 5;}
};

class C final : public B_for_implementation
{
  int f() override {return 171;}
};

自包含对象将从 B_for_objects 创建，而其他类将从 B_for_implementation 派生。