私有纯虚函数的目的？

Question

我(希望)已经明白了私有虚函数的用途，但是还没明白为什么要有私有的纯虚函数！我的意思是，我必须在所有的派生类中定义这个函数，但是这样一来，所有对这个虚拟纯函数的调用都是对在派生类中定义的函数的调用。

假设我们有：

class Base{
public:
    void foo(){ bar(); }
private:
    virtual void bar() =0 {/*something*/}
};

Base的派生类必须定义bar（或使其纯虚拟，但暂时忘记这一点）。因为Base:：bar是私有的，所以派生类不能使用它。因为Base是抽象的，我无法创建Base对象，因此我只能在派生类上调用foo，但这意味着永远不会调用Base:：bar！当然，我可以定义foo：

void Base::foo(){
    bar();
    Base::bar();
}

但为了什么？用bar的主体定义一个非虚拟私有函数（并用它替换Base:：bar），并使纯虚拟的主体为空，这不是更好吗？

如果是这样，为什么我应该拥有私人酒吧（不受保护）？

PS：我试图在互联网上找到一个解决方案，我知道有类似的帖子-

Answer 1

当然，bar（）仍然可以被Base类的其他成员调用。

通过将bar（）设置为纯，这具有强制可实例化子类实现bar（）或从另一个可实例化类继承的通常效果。

也许您明确地不希望子类直接调用超类的bar（），而强制子类通过其他受保护的方法间接调用它，或者两个。。。

Answer 2

因此，一般来说，模式是实现公共非虚拟函数和私有或受保护的虚拟函数，看起来您已经对此进行了研究，但这通常被称为模板方法模式，Herb Sutter在这里和这里进行了更多解释。

是否将其设置为纯虚拟取决于您的需求，有时绝对没有有意义的默认行为，或者您希望强制所有子类实现此虚函数的自己的版本。有时，空的实现确实有意义。然后提供，但发生的情况是，其他实现者可能会忘记自定义其类，而不是实现您为其提供默认行为的虚拟类。这实际上是您必须做出的逐案决定。

在某些情况下，您可能希望提供一个纯虚函数的实现，Herb Sutter又列出了两个，一个是提供默认行为，但强制派生类有意识地调用，另一个是防止编译器出现问题，可能会调用一个纯虚函数。

在你的问题所在的点上，有各种各样的关注点聚集在一起，一般来说，使虚函数私有或受保护，由公共函数调用（又是模板方法模式）。如果派生类不需要调用超类实现，使其私有。如果你想实现默认行为，使其受到保护，并在更高的类中实现默认行为。如果你想强制子类实现自己的函数（独立于阉羊，是否有默认行为），使其纯虚拟。