c++ - 多重继承和指针实现

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 现在应该指向 Derived 对象的 B 部分。 但是派生对象也派生自 A，意味着它有 A 子对象..并且 A 子对象应该是“第一个”因为 Derived 类首先继承自 A。

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

还有，删除对象时如何正确释放内存？

Answer 1

简短的回答是:靠魔法。

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

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