多重继承和指针实现

Question

给出以下代码:

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.

编译器如何批准？为了使其正常工作,它添加了什么？

而且,删除对象时如何正确释放内存？

Answer 1

简短的回答是:通过魔法.

中等答案是:你不用担心.标准说这是有效的,并且由编译器决定如何使其工作.

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