C++ 为什么会有 private virtual 函数，这样写好吗？

我在 Effective C++ 条款 35 里面看到这种模板模式的写法，有点困惑：

class GameCharacter {
public:
    int healthValue() const {
        // do something
        return doHealthValue();
        // do something
    }

private:
    virtual int doHealthValue() const = 0;
};

我从 Java 转过来，Java 里面是没有 private abstract 的，一般模板模式的写法都是 protected abstract ，因为通常来说，private 的函数就是基类内部的函数，派生类也无权知晓，也不用提 overwrite

那么，在 C++ 里面，是不是也写 protected virtual 比较好呢，功能上应该区别不大

stackoverflow 上也有人讨论，

有人说

Prefer to make virtual functions private.

This lets the derived classes override the function to customize the behavior as needed, without further exposing the virtual functions directly by making them callable by derived classes (as would be possible if the functions were just protected). The point is that virtual functions exist to allow customization; unless they also need to be invoked directly from within derived classes' code, there's no need to ever make them anything but private.

确实也有些道理，但是也只有在基类被直接使用的时候有用。

否则，protected: virtual int doHealthValue() const = 0 似乎比 private: virtual int doHealthValue() const {} 更清晰。

wevsty

2019-05-10 22:16:03 +08:00

@lhx2008
如果你不去使用（产生实例）那么编译是可以过的，但是这代码也没有任何作用。
如果你要直接定义一个实例出来，编译器就会告诉你错误了。
比如 GCC 会给提示

<source>:14:19: error: cannot declare variable 'g' to be of abstract type 'GameCharacter'

14 | GameCharacter g;

| ^~~~

<source>:1:7: note: because the following virtual functions are pure within 'GameCharacter':

1 | class GameCharacter {

| ^~~~~~~~~~~~~

<source>:10:17: note: 'virtual int GameCharacter::doHealthValue() const'

10 | virtual int doHealthValue() const = 0;

wevsty

2019-05-10 22:53:49 +08:00

@lhx2008
用 private 还是 protected 完全取决于你自己的需要啊，这一点是不要纠结的。
基类中标记为 private 的纯虚函数是没有实现的，你要继承这样的基类就必须自己实现一个与纯虚函数同名的函数。也就是实际上可以理解为是派生类内部独立声明的一个有 private （或者其他属性）的函数，只是与基类中要求的同名而已。所以无论是哪种属性派生类中纯虚函数的实现是可以被派生类自己访问的。

这两者 private 还是 protected 只在多重继承中会产生区别。
按照你的示例代码举个例子：
GameCharacter 派生出一个类 RPGGameCharacter。
RPGGameCharacter 这个类的成员函数可以自由的使用 doHealthValue()
RPGGameCharacter 又派生出一个 MMORPGGameCharacter。
MMORPGGameCharacter 这个类的成员函数则不能使用 doHealthValue，因为 doHealthValue 是 private 的，如果声明的时候标记为 protected 那么就可以。