重新分配指针如何影响多态性

Question

这是我想知道的事情。有 2 个指针对应 2 个类实例。该代码打印出 6 行（根据 cmets）。前 4 行对我来说是有意义的，但我不明白后 2 行。我希望第 5 行和第 6 行等于第 3 行和第 4 行，因为 pb 和 pd 现在都指向同一个对象。请帮我理解。

#include <iostream>

using namespace std;

class B {
public:
  virtual void run1(){cout << "Base" << endl;}
  void run2(){cout << "Base" << endl;}
};

class D: public B {
public:
  virtual void run1(){cout << "Derived" << endl;}
  void run2(){cout << "Derived" << endl;}
};

int main(int argc, char* argv[])
{
  B b, *pb;
  D d, *pd;

  pb = &b;
  pb->run1(); //Base
  pb->run2(); //Base

  pd = &d;
  pd->run1(); //Derived
  pd->run2(); //Derived

  pb = &d;
  pb->run1(); //Derived (why ?)
  pb->run2(); //Base    (why ?)
}

Answer 1

函数run1是一个虚函数，而函数run2不是一个虚函数。

虚函数根据使用指针的动态类型调用，非虚函数根据使用指针的静态类型调用。

指针pb的静态类型为B *。

  B b, *pb;

这次分配之后

pb = &b;

指针的动态类型也是B *。于是类B中定义的虚函数就被调用了。

这次分配之后

pb = &d;

指针pb的动态类型由B *更改为D *。

所以在这个声明中

pb->run1(); //Derived (why ?)

根据指针的动态类型称为虚函数。而在此声明中

pb->run2(); //Base    (why ?)

根据指针的静态类型调用非虚函数。

即在使用的指针指向的对象中查找指向虚函数指针表的指针。

此功能定义了多态行为。