多重继承，选择调用哪个虚函数

Question

我有以下代码示例：

class A
{
public:
    A(int a):AA(a) {};

    int AA;

    virtual int Test() 
    {
        return AA;
    };
};

class B
{
public:
    B(int b):BB(b) {};

    int BB;

    virtual int Test() 
    {
        return BB;
    };
};

class C:public A, public B
{
public:
    C(int a, int b, int c) :A(a),B(b),CC(c) {};

    int CC;
};

int main()
{
    A *a = new C(1,2,3);
    B *b = new C(1,2,3);
    C *c = new C(1,2,3);


    int x = a->Test() ; // this is 1
    int y = b->Test() ; // this is 2
//  int z = c->Test() ; // this does not compile

    return 0;
}

我预计对 a->Test() 和 b->Test() 的调用也会模棱两可，因为对象 a 是 C，因此继承自 A 和 B，它们都具有相同的 Test() 函数。但是，它们都调用了对应于 delcared 类型的实现，而不是对象实际的类型。

谁能解释为什么这些调用没有歧义？ C++ 总是这样吗？

Answer 1

事实上，一个 C 实例既是一个完整的 A 实例又是一个完整的 B 实例（因此拥有 A 方法和 B 方法的副本）

由于 a 是 A* ，编译器将使用 C 实例内部的 A 虚拟表副本 由于 b 是 B* ，编译器将使用 C 内部的 B 虚拟表副本 实例

您不能使用 C*，因为编译器现在不会调用 A 或 B 的哪个 Test() 方法（因为 C 类同时包含 A::Test 和 B::Test 符号）

如果你实现了一个 C::Test() 方法，那么它将被调用而不是 A::Test() 和 B::Test() 因为方法对于 A 和 B 都是虚拟的。

Answer 2

因为A不知道C的存在。

考虑一个稍微不同的场景：

foo.h

class A { public: virtual void Test() {} };

void myFunction(A *a);

foo.cpp

#include "foo.h"

void myFunction(A *a) {
    a->Test();
}

我猜你会期望它编译？但是如果我以后独立从A继承，那会不会影响这段代码的编译呢？