C ++中3个类的多态性

Question

以下代码打印1 2，但我希望它打印1 1。

#include <iostream>

using namespace std;

class A {
public:
    virtual void f() { cout << "0" << endl; }
}; 

class B : public A{
public:
    void f() { cout << "1" << endl; }
};

class C : public B{
public:
    void f() { cout << "2" << endl; }
};

int main() {
    A *pa = new B();
    B *pb = new C();
    pa->f();
    pb->f();
}

根据我的理解，pa-> f（）执行B的f（）函数，因为A是虚拟的，但是当B的f（）不是虚拟时，为什么pb-> f（）执行C的f（）函数。

另外，如果我从A类中删除'virtual'，它会打印0 1，这是有道理的，因为A和B执行它们自己的f（）函数，因为它们不是虚拟的。 如果pb-> f（）没有受到影响，怎么会改变，因为只有A会发生变化？

Answer 1

但是当B的f（）不是虚拟的时候，为什么pb-> f（）执行C的f（）函数。

因为pb的动态类型是C而C::f确实是虚拟的。 当你申报时

virtual void f();

在基类中，层次结构中派生类的每个其他void f()也是虚拟的，如§10.3/ 2所示：

如果虚拟成员函数vf在类Base和Derived类中声明， 直接或间接从Base派生，则具有相同名称的成员函数vf，parameter-type-list（8.3.5），cv-qualification和声明了Base :: vf的ref-限定符（或不存在），然后Derived :: vf也是虚拟的（无论是否如此声明）并且它覆盖了112 Base :: vf。

（强调我的）

事实上：

class A {
public:
    virtual void f() { cout << "0" << endl; }
}; 

class B : public A{
public:
    virtual void f() { cout << "1" << endl; }
};

class C : public B{
public:
    virtual void f() { cout << "2" << endl; }
};

相当于你的代码。 碰巧的是，C ++标准允许在这些情况下省略virtual 。

Answer 2

这是因为在子类中编写虚拟关键字不是必需的，它只是提高了可读性。