1. 运行结果是什么？

father *pf = new father();
pf->A();
pf->B();
delete pf;

father *ps = new son();
ps->A();
ps->B();
delete ps;

son *ps1 = new son();
ps1->A();
ps1->B();
delete ps1;

son *pss = new sonson();
pss->A();
pss->B();
delete pss;

2. 运行结果

this is father::B()
this is father::B()
this is father::B()
this is father::B()
this is father::B()
this is son::B()
this is father::B()
this is sonson::B()

3. 解释与结论

3.1. 构造对象时

本文中的virtual写法与virtual关键字在子类，最后每个对象的生成的vtable如下：

father类型对象的vtable中B()的地址：father::B()
son类型对象的vtable中B()的地址：son::B()
sonson类型对象的vtable中B()的地址：sonson::B()

3.2. case 3

执行ps->A();时，虽然ps的类型和它指向的对象的类型都是son，但son本身没有son::A()函数，所以会调用father::A()。

我们都知道，类里有一个隐藏的指针this。所以father::A()实际上是这样的。

void father::A(){ father::this->B(); }

可见实际上是以father类型的指针来调用B()。这就和virtual关键字在子类中的case 2很类似了。

由于father::B()不是虚函数，所以没有查表，而是直接调用了father::B()。

3.3. case 4

case 4和case 3的原因类型，不管ps1和pss的指针和对象是什么类型，实际上都是以father类型的指针来调用B()的。

4. 其它测试

virtual关键字在父类

virtual关键字在子类

virtual关键字在子类

5. 完整代码

#include <iostream>
using namespace std;

class father
{
public:
  void A()  { B(); }
  void B()
  {
    cout<<"this is father::B()"<<endl;
  }
};

class son : public father
{
public:
  virtual void B()
  {
    cout<<"this is son::B()"<<endl;
  }
};

class sonson : public son
{
public:
  void B()
  {
    cout<<"this is sonson::B()"<<endl;
  }
};

int main()
{
  father *pf = new father();
  pf->A();
  pf->B();
  delete pf;
  father *ps = new son();
  ps->A();
  ps->B();
  delete ps;
  son *ps1 = new son();
  ps1->A();
  ps1->B();
  delete ps1;
  son *pss = new sonson();
  pss->A();
  pss->B();
  delete pss;
  return 0;
}