被覆盖的纯虚函数是虚拟的吗？

Question

您将在下面看到 3 个类。 我的问题是为什么我可以在FunnySquare 类的getArea() 上使用override，即使它在Square 类中未标记为虚拟 .

我的假设是一个被覆盖的纯虚函数是虚函数，即使它没有被指定，但我不确定这是真的，也找不到任何参考来确认。

class Shape {
  public:
  virtual float getArea() = 0;
};

class Square : public Shape {
  private:
  float length;

  public:
  Square(float len){
    length = len;
  }
  float getArea() override {
    return length * length; 
  }

  void sayHi() {cout << "hell0" << endl;}
};

class FunnySquare : public Square {
  public:
  FunnySquare(float len) : Square(len) {}
  void tellJoke() {std::cout << "I gave you the wrong area haha" << endl;} 
  
  float getArea() override {
    return 2.0;
  }
};

Answer 1

是的，Square::getArea 和 FunnySquare::getArea 也是 virtual。

（强调我的）

那么 Derived 类中的这个函数也是虚拟的（在它的声明中是否使用了关键字 virtual）并覆盖了 Base::vf（无论是否在它的声明）。