这个函数调用真的模棱两可吗？

Question

我正在学习多重继承和菱形问题，当我从最派生的类中调用函数时，Visual Studio 告诉我调用不明确：

struct A
{
    virtual void aFunction() { cout << "I am A\n"; }
};
struct B : A {};
struct C : A {};
struct D : B, C {};

int main()
{
   D DObj;
   DObj.aFunction();             //  This is an ambiguous call
}

我知道如果我在 B 和 C 类中重写了基类函数，那么调用将是不明确的，但 B 和 C 中的“aFunction()”不一样吗？

此外，使 B 和 C 从 A 继承实际上会使错误消失。但是我对继承时的关键字“virtual”的理解，即（Derived：virtual Base），它可以防止更下游的“更多派生类”继承链上Base的多个副本。在继承中，可以继承多个成员变量副本，但只能继承同名函数的一个副本。因此，例如，我可以有 5 个派生类，每个派生自 Base，然后是从所有 5 个派生类继承的 MostDerivedClass，在 MostDerivedClass 中，我将拥有 Base 类“成员变量”的 5 个副本，但只有一个函数的副本同名。

换句话说，继承的“virtual”关键字应该防止多个Base“成员变量”副本。我不明白为什么在这种情况下它会清除一个模棱两可的函数调用。

编辑：谢谢，它正在慢慢下沉。我无法想象 D 中 A 的“两个副本”，因为 A 是空的（没有大小）。但后来我记得 C++ 从不创建空类，例如在我的设置中，一个空类的大小为 1。然后我能够想象 A 在 D 中的“两个副本”，现在它开始变得有意义了。

Answer 1

调用不明确，因为有两个可能的A 基础对象可以作为调用的this 参数传递。尽管最终调用的是同一个物理函数，并且该函数完全忽略了它的 this 参数，但它们中有两个的事实使其模棱两可。

使用virtual 继承意味着只有一个A 基对象，因此调用不会有歧义。

Answer 2

由于继承了多个成员变量副本，因此您可以拥有具有不同行为的函数的两个单独副本。

struct A
{
    int x;
    virtual void aFunction() { cout << "I am A with value " << x ; }
};
struct B : A {
};
struct C : A {
};
struct D : B, C {};

int main()
{
   D DObj;
   ((B*)(&DObj))->x = 0; // set the x in B to 0
   ((C*)(&DObj))->x = 1; // set the x in C to 1
   DObj.aFunction();             //  This is an ambiguous call
}

这个输出应该是 0 还是 1？

编译器可以检测到不引用它的内联函数的特定情况，但您可以轻松解决该问题，因此对于相对罕见的情况而言，它不值得复杂。

Answer 3

使用虚继承解决菱形问题：

struct A
{
    int x;
    virtual void aFunction() { cout << "I am A with value " << x ; }
};
struct B : virtual A { // add virtual
};
struct C : virtual A { // virtual
};
struct D : B, C {};