c++ - 派生对象数组到基础对象数组

Question

有多个问题与此问题非常相似，区别在于 sizeof(Base) != sizeof(Derived)。由于明显的原因，这不起作用(应用于指针的下标运算符是相对于指针大小的，而不是相对于实际的底层类型)。但是，我想知道这段代码是否正确:

struct Base
{
    int Data;
};
struct Derived : public Base
{
};
int main()
{
    static_assert(sizeof(Base) == sizeof(Derived), "Sizes are not equal");

    Derived Data[10];
    Base* Ptr = Data;
    Ptr[3].Data = 5;
}

显然，由于大小相等，Ptr[3] 将不再访问任何半撕裂的 Base 实例，但是代码仍然正确吗？

Answer 1

是的，这是正确的(在明确定义的意义上，不一定是明智的)，因为这两个类是布局兼容的 - 它们是具有相同非静态数据的标准布局结构成员。

虽然它非常脆弱；对类的微小更改可能会破坏兼容性并产生未定义的行为。