c++ - 如果没有实现虚函数，大多数派生类不能编译，但是如果一个基类没有实现虚函数，则可以编译

Question

我有一个包含 4 个类的 C++ 程序:Person、Student、Employee 和 PartTimeStudent。

Student 和 Employee 均派生自 Person，而 PartTimeStudent 派生自所有 3 个类(使其成为最派生的类)。 Person、Student 和 Employee 也有一个名为 VDescribe() 的派生函数。

请看下面的代码:

class Person
{
    ...    
    virtual void VDescribe();
    ...
};

class Student : virtual public Person
{
    ...    
    virtual void VDescribe();
    ...
};

class Employee : virtual public Person
{
    ...    
    virtual void VDescribe();
    ...
};

class PartTimeStudent : virtual public Person,
    virtual public Student,
    virtual public Employee
{
    ...
};

注意:在上面的代码片段中，我省略了构造函数、析构函数和成员变量，因为它们与手头的问题无关。

当我尝试编译代码时，出现以下错误:

override of virtual function "Person::VDescribe" is ambiguous

'PartTimeStudent': ambiguous inheritance of 'void Person::VDescrive(void)'

'PartTimeStudent': ambiguous inheritance of 'void Person::VDescribe(void)'

但是，只有当学生和员工都实现了 VDescribe() 时才会发生这种情况。如果其中一个类没有实现 VDescribe()，则编译成功。我仍然收到警告，例如如果我从 Employee 中省略 VDescribe() ，则会出现以下警告:

'PartTimeStudent': inherits 'Student::Student::VDescribe' via dominance

请问为什么会出现这种情况？我想知道如果所有 3 个类都实现 VDescribe()，为什么 PartTimeStudent 无法编译，但如果 Student 或 Employee 没有该函数，PartTimeStudent 仍然可以编译。

Answer 1

两个覆盖

想象一下 Student 和 Employee 实现了 VDescribe 而 PartTimeStudent 没有实现它的 scanario。您希望这段代码的行为如何:

PartTimeStudent pts;
pts.VDescribe();

应该调用 VDescribe 的哪个实现？这是模棱两可的，这正是编译错误的原因。

一次覆盖

当Employee 没有覆盖VDescribe 时，情况有点不同。 PartTimeStudent 则有以下函数可以继承:

• Person::VDescribe 被 Student::VDescribe 覆盖，来自 Student
• Person::VDescribe 未被覆盖，来自 Employee。
• Person::VDescribe 未被覆盖，来自 Person。

在这种情况下，Student::VDescribe 覆盖了 Person::VDescribe 并且是一个明确的覆盖器，因此编译器能够使用它。但是，它警告您存在未通过此覆盖的替代继承路径。这个警告在实践中不是很有用，是我经常禁用的少数几个警告之一。

---

如果您希望您的代码在 Student 和 Employee 都覆盖 VDescribe 的情况下也能编译，您实际上必须在PartTimeStudent 也是。然后该函数将有一个明确的最终覆盖程序，代码将编译得很好。您可以使用限定名称调用一个或两个继承的实现。示例:

void PartTimeStudent::VDescribe()
{
  Student::VDescribe();
  if (isWorking()) Employe::VDescribe();
}