c++ - 虚拟表内存位置

Question

给定以下代码:

namespace Example1 {

class Base1 {
public:
    Base1() {}
    virtual ~Base1() {}
protected:
    float data_Base1;
};

class Base2 {
public:
    Base2() {}
    virtual ~Base2() {}
protected:
    float data_Base2;
};

class Derived : public Base1, public Base2 {
public:
    Derived() {}
    virtual ~Derived() {}
protected:
    float data_Derived;
};

class Derived2 : public Base1 {
public:
    Derived2() {}
    virtual ~Derived2() {}
protected:
    float data_Derived2;
};

}

int main (void)
{
using namespace Example1;

Base2* pbase2 = new Derived;        
Base1* b = new Base1();
      Base1* b2 = new Base1();
Derived* d = new Derived;
Derived* d2= new Derived;

Derived2* dd = new Derived2;
}

用visual studio 2012的编译器，好像在多重继承下，一个派生类多了n-1个虚表。这正是派生类所发生的情况。

但它似乎也发生在 Derived2 上(它只继承自 Base1 类)

这是 dd 内存映射:

Example1::Base1
  __vfptr
     [0]     0x00c4127b

这是 b 内存映射:

__vfptr
    [0]      0x00c411ae

可以看到，第一个虚拟表槽的地址是不一样的.. 例如 b 和 b2 具有相同的虚拟表。

好的，现在回答两个问题:

1) 为什么它们不共享同一个 Base1 虚拟表？ (Derived2 和 Base1 对象)

2) 为什么派生类甚至有必要保存 n-1 个虚拟表？ (当N表示Derived类继承的类数时)

谢谢!

Answer 1

首先，Derived2 是不同于Base1 的另一种类型，因此除了虚函数表之外还需要一些其他信息。其次，至少 Derived2 的析构函数是不同于 Base1 的析构函数，因此即使表中只有虚函数，该条目 也有 与众不同。 我不确定 MSVC 如何在多态类型上实现 RTTI，但必须有一些与虚函数不同的类型标识，例如启用 dynamic_cast。所以第一个条目很可能是指向 RTTI 的指针。我现在没有 MSVC，但你可以试试这个:

struct Base {
  virtual void foo() {};
  virtual void bar() {};
  virtual ~Base();
};

struct Derived {
  virtual void foo() {};
  virtual ~Derived();
};

int main() {
  Base* b1 = new Base;
  Base* b2 = new Derived;
};

现在检查两个创建的对象的 __vfptr 的前四个或五个元素，我猜你会看到一个相同的条目 - 它是指向 Base 的指针::栏。其他的(指向 RTTI、foo 和析构函数的指针)应该不同。
下面是一些猜测:也许您可以看到指针指向内存中的不同区域，因为 RTTI 指针可能指向数据段，而虚函数指针指向代码段。

更新:在 vtable 本身中不需要 RTTI 条目 - 某些编译器可能仅通过比较 vtables 的地址来实现 RTTI。