有没有办法防止调用派生类中的特定继承函数？

Question

考虑以下几点：

class base {

    // base class

public:
    void doBaseStuff() {
        /* do something basic */
    }
private:
    int someDataMember;
};

class derived : public base {

    // this class inherits 'doBaseStuff()' as well as 'someDataMember'

public:
    void doDerivedStuff() {
        /* do something in addition that only this type of derived class can do */
    }
};

class specialDerived : public base {

    // say 'doBaseStuff()' doesn't make sense in the context of this class!
    // we do not want to inherit that function here
    // is there a way to prevent instances of this class from calling it?
    // we still want 'someDataMember', so we must derive from the base class

public:
    void doSpecialStuff() {
        /* do something in addition that only this special derived class can do */
    }
};

有一个类可以作为多个其他类的公共基类。但是，假设它在派生类之一中不需要的基类成员函数之一。有没有办法明确禁止派生类中的继承函数？

实际上，我们可以谈论一个有 1000 个成员的基类，而我们想要继承其中的 999 个，因此简单地放弃继承并复制所有代码会导致代码的可维护性非常差。

在基类中使该函数成为虚拟函数，并在specialDerived 类中提供它的虚拟实现是可行的。但是，如果该函数有一个实际的返回类型，而不是void，该怎么办？然后specialDerived 类必须提供一个返回值的实现。然后调用者可以假设他们得到的值是有意义的，而实际上并非如此，这是一个问题。

只需在 specialDerived 中使用单个 throw 在主体中实现虚函数可能是一种解决方案，只要存在一些明确指出在此特定派生类型的对象上调用此函数没有意义的文档，并且这个操作会抛出。我认为这是一种可能的解决方案，但我不确定这是否是最好的方法。

Answer 1

我假设您只是想确保该方法不会被意外调用，即调用时的编译错误是完美的。

您可以简单地用删除的定义覆盖specialDerived 中的doBaseStuff：

class specialDerived : public base {
  void doBaseStuff() = delete;

public:
  void doSpecialStuff() {
      /* do something in addition that only this special derived class can do */
  }
};

这将阻止任何人使用specialDerived::doBaseStuff。仍然可以将对specialDerived 的引用转换为对base 的引用并在结果上调用doBaseStuff，但是如果不创建doBaseStuff virtual，就无法避免这种情况。

Answer 2

1. 在base 中声明doBaseStuff 受保护
2. 从 base 派生一个新类 base2，这只会使 doBaseStuff 公开
3. 从base2而不是base派生999个类
4. 从base 派生一个类

像这样：

class base {
protected:
    void doBaseStuff() {
        /* do something basic */
    }
private:
    int someDataMember;
};

class base2 : public base {
public:
    using base::doBaseStuff; // make it public
};

class derived : public base2 {
   // ...
};

class specialDerived : public base {
   // doBaseStuff not public here since we're derived only from base (and not base2) and didn't make it public ourself
};