c++ - vtable 和多态性 - 函数的偏移量

Question

如果我理解正确的话，类定义会在 vtable 中强加一定的虚函数顺序，因此已知给定的函数位于表开头的某个偏移量处。但是，我不明白它如何与多态性一起工作。

class B1 {
  virtual void funcB1();
};

class B2 {
  virtual void funcB2() {}
};

class D : public B1, public B2 {
  virtual void funcB1() {}
  virtual void funcB2() {}
};

void main(...) {
  B1 *b1 = new D();
  B2 *b2 = new D();
  B1 *realB1 = new B1();
  B2 *realB2 = new B2();

  b1->funcB1();
  b2->funcB2();
  realB1->funcB1();
  realB2->funcB2();
}

生成的代码如何知道如何访问不同偏移量的 funcB2？

Answer 1

当您从两个基类组成一个类时，每个部分在生成的类中都由一个功能齐全的 block 表示，并带有自己的指向 vtable 的指针。这就是生成的代码知道要调用哪个函数的方式:将 D 的指针转换为 B1 和 B2 会产生不同的指针，因此生成的代码可以在虚拟表中使用相同的偏移量。

D *d = new D();
B1 *b1 = dynamic_cast<B1*>(d);
B2 *b2 = dynamic_cast<B2*>(d);
printf("%p %p %p", (void*)d, (void*)b1, (void*)b2);

这produces the following output on ideone :

0x91c7008 0x91c7008 0x91c700c

请注意 D* 和 B1* 打印相同的值，而 B2* 打印不同的值。当你调用b2->funcB2()时，指针b2已经指向了D对象的不同部分，它指向了不同的vtable(具有 B2 布局的那个)，因此生成的代码不需要为 b2 与 realB2 在您的示例。