当中间类跳过实现时，在继承层次结构中执行哪个虚拟方法？

Question

我确信之前有人问过这个问题，但我就是不知道要搜索什么。因此，一旦有人向我指出类似的问题，我很高兴删除这个问题。如果有人有更好的建议，我也很乐意重命名问题:-)

我想知道以下代码是否是由标准定义的行为，或者这是否可能取决于编译器/平台：

struct A
{
    virtual void f()
    {
        std::cout << "A::f()" << std::endl;
    }
};

struct B : public A
{
    // f() is not implemented here
};

struct C : public B
{
    virtual void f() override
    {
        B::f(); // call f() of direct base class although it is not implemented there
        std::cout << "C::f()" << std::endl;
    }
};

int main()
{
    A* pA = new C();
    pA->f();
}

Visual Studio 2017 和 gcc 5.4.0 的输出是：

A::f()
C::f()

编译器是否会在层次结构中向上搜索直到找到实现？你能链接到 C++ 标准吗？我通过在纯虚拟中制作 f() 对其进行了测试，链接器很好地告诉我有一个未解析的符号。我可以依赖它吗？

据我了解，使用像 B::f() 这样的范围运算符总是调用非虚拟版本。所以从来没有发生过多态性，是吗？

编辑：打印语句具有误导性，将“B::f()”替换为“C::f()”。

Answer 1

指针的动态类型

A* pA = new C();

是C *。

所以调用类C中的虚函数

struct C : public B
{
    virtual void f() override
    {
        B::f(); // call f() of direct base class although it is not implemented there
        std::cout << "B::f()" << std::endl;
    }
};

B类没有重新定义基类A的虚函数。所以在这个声明中

        B::f(); // call f() of direct base class although it is not implemented there

类 A 中定义的虚函数被调用。也就是 B 类的虚函数的指针表包含了 A 类中定义的函数的地址。

在本次通话中

B::f();

可以访问 B 类的虚函数表，该表包含 A 类中函数定义的地址，因为该函数在 B 类中未被覆盖。

来自 C++ 标准（5.2.2 函数调用）

1. ...如果所选函数是非虚函数，或者如果类成员访问表达式中的 id-expression 是限定 id，则该函数 叫做。否则，它的最终覆盖器（10.3）在动态类型 对象表达式被调用；这种呼叫被称为 虚函数调用。 [