C 虚拟虚空与无虚拟 [重复]

Question

我对虚拟函数感到困惑。有人告诉我，父类中的虚拟意味着我可以在子类中覆盖它。但是，如果我省略父类中的虚拟，我仍然可以覆盖它。

#include <iostream>
using namespace std;

class Enemy{
  public:
    //if I remove virtual, it still gets overriden in child class
  virtual void attack(){ 

    cout << "Attack Enemy!" << endl;
  }
};


class Minion : public Enemy {
  public:
  void attack(){
    cout << "Attack Minon!" << endl;
  }
};
int main() {
  Minion m;
  m.attack();
}

Answer 1

您没有覆盖它，您只是添加了另一个具有相同签名的方法。

Enemy* enemy = new Minion();

enemy->attack();

delete enemy;

如果这调用了Minion的代码，那么您就做对了。如果它调用了敌人的代码，那么你做错了。您需要虚拟才能正确执行。

Answer 2

匿名用户

您可以覆盖正在讨论的方法，最好用< code>override关键字声明该方法，以允许编译器在您没有覆盖任何内容时发出抱怨。

class Enemy {
  public:
    virtual ~Enemy() = default; /* Don't forget... or non-virtual protected. */

    virtual void attack() {}
};

class Minion : public Enemy {
  public:
    void attack() override {}
};

您的困惑可能源于这样一个事实，即您同样可以很好地隐藏基类方法。

class Enemy {
  public:
    virtual ~Enemy() = default;
    void attack() {}
};

class Minion : public Enemy {
  public:
    void attack() {}
};

这不仅做了一些不同的事情，而且是非常糟糕的命名的一个例子，因为它使读者感到困惑:在类层次结构的上下文中，具有相同签名的相同成员函数名不可避免地与重写的方法相关联。

Answer 3

如果函数是虚拟的，则在运行时通过vtable将调用动态地分派给派生类型提供的实现，而如果没有，编译器将在编译时查看对象并选择静态类型的类方法。如果您有一个指向基类的指针，这意味着如果函数不是虚拟的，则使用基实现：

敌人 *e = 新小黄人（）; e-

将打印“攻击敌人！”如果攻击不是虚拟的。当使用虚拟函数时，编译器将插入一些逻辑以在运行时查找正确的实现，当＜code＞e-

如果要强制派生类重写基类方法，还可以使用

虚拟无效攻击（）=0；