C++：派生类和虚方法

Question

可能的重复：
C++：使方法成为虚拟的含义
为什么派生类中的重写方法的“virtual”是可选的？

我想知道，在以下情况下记录的行为是什么：

您有

class A
{
 virtual void A()
 {
   cout << "Virtual A"<<endl;
 }
 void test_A()
 {
   A();
 }
}

class B: public A
{
  void A()
  {
   cout << "Non-virtual A in derived class"<<endl;
  }

  void test_B()
  {
    A();
  }
}

A a; B b;
a.test_A();
b.test_A();
b.test_B();

根据 C++ 标准它应该做什么，为什么？ GCC 的工作方式类似于 B::A 也是虚拟的。

当您在派生类中用非虚拟方法覆盖虚拟方法时，通常会发生什么？

Answer 1

如果存在具有相同名称和签名的虚拟基类成员函数，则子类成员函数是隐式虚拟的。

Answer 2

该代码不应编译，因为您无法使用类的名称命名方法。但据我了解，这是你真正的问题：

将方法设为虚拟是否意味着所有派生类中的同一方法都是虚拟的，即使不存在 virtual 关键字？

答案是肯定的。一旦某个方法在类中被声明为虚拟方法，那么该方法的所有重写都将是虚拟的，并且 virtual 关键字在派生类中是可选的（即使我建议键入它，如果仅用于文档目的） 。请注意，对于要重写的派生类中的方法，它必须具有相同的名称和签名，唯一的潜在区别是协变返回类型：

struct A {};
struct B : A {};
struct base {
   virtual A* foo();
   virtual A* bar();
};
struct derived : base {
   virtual B* foo();    // override, covariant return type
   virtual int bar();   // not override, return type is not covariant
   virtual A* bar(int); // not override, different argument list
};

Answer 3

这段代码格式不正确。构造函数不能有返回类型（就像您对“A”的构造函数所做的那样）。构造函数也不能是虚拟的。

修复 A 的构造函数后，类 B 的格式不正确，因为 A 的构造函数是私有的。

因此，这段代码存在很多问题（包括类定义中缺少分号）。

Answer 4

按照标准应该是

A a; B b;
a.test_A();  //"Virtual A"
b.test_A(); //Non-virtual A in derived class
b.test_B(); //Non-virtual A in derived class