C++编译器如何处理具有多重继承的偏移量？

Question

当我试图阐明我的问题时，忍受着我。我想我正在试图了解的东西是这样的：

class Base1 { public: int value { 5 }; }; 
class Base2 { /* fields */ }; 

class Derived1 : public Base1 { ... }; 
class Derived2 : public Base2, public Derived1 { ... }; 

编译器如何解决像这样的代码的内存偏移？

void base1_action(Base1 *instance) { 
    cout << instance->value << endl; 
} 

void change_base(Base2* instance) { 
    base1_action(reinterpret_cast<Base1*>(instance)); 
} 

int main() { 
    Base2* instance = new Derived2; 
    change_base(instance); 
} 

也就是说，如果在main实际的对象实例是Derived2型的，当change_base基地发生变更从Base2到Base1，怎么是编译器能够知道如何重新计算的偏移这样当base1_action被调用时，它会得到一个指向Base1的正确偏移的指针？

换句话说，当存在多重继承时，编译器如何计算从一个基类到另一个基类的偏移量（而不是从已知派生类计算基类偏移量的简单问题）？

希望我的问题有点清楚 - 谢谢！

Answer 1

base1_action(reinterpret_cast<Base1*>(instance));

“如何能够知道如何重新计算偏移量为对象的编译器”

它没有。您正在使用reinterpret_cast，这意味着类似“这里是一种类型的位，现在把它当作是其他类型的位”。这里没有涉及抵消计算。换句话说：这是代码中的一个错误。

如果您要编写static_cast或dynamic_cast而不是编译器确实需要计算偏移量。既然它知道类型和内存布局的类型，它可以很容易地添加或减去正确的偏移量。如果要隐藏类型，例如在static_cast之前分配指向void *的指针，将无法应用正确的偏移计算。

Answer 2

它认为，GCC/MinGW的会做这种方式：

class Base1 { public: int value { 5 }; } 
class Base2 { /* fields */ } 
class Derived1 : public Base1 { ... } 
class Derived2 : public Base2, public Derived1 { ... } 


Derived2: 
    Base2 fields 
    Derived1: 
     Base1 fields 
     Derived1 fields 
    Derived2 fields