多重继承和指针实现

给出以下代码：

namespace Example1 {

class A {
public:
    A() {}
    virtual ~A() {}
private:
    float data_A;
};

class B {
public:
    B() {}
    virtual ~B() {}
protected:
    float data_B;
};

class Derived : public A, public B {
public:
    Derived() {}
    virtual ~Derived() {}
protected:
    float data_Derived;
};

}

int main (void)
{
using namespace Example1;
B* pb = new Derived;
delete pb;
}

pb现在应该指向B的一部分Derived目的。 但派生对象也派生自A，意味着它有A子对象..那A子对象应该是“第一个”，因为Derived类首先继承自A.

编译器如何批准这一点？它添加了什么才能使其正常工作？

另外，删除对象时如何正确释放内存？

简短的回答是：通过魔法。

中等答案是：这不用你担心。标准说这是可行的，并且由编译器找出使其工作的方法。

长答案：由于这取决于您的编译器，因此请阅读编译器的文档！许多 C++ 编译器都实现 Itanium C++ ABI，所以这只是一个开始。作为多态继承的一部分，每个类通常都有一个所谓的vtable，它存储一堆函数指针，但它也存储 RTTI 信息并加入虚拟销毁和内存释放逻辑。想一想：delete pb;不仅需要以正确的顺序调用正确的析构函数，而且还必须传递correct指向释放函数的指针。所有这些信息都包含在类层次结构的各个 vtable 中。