相关疑难解决方法(0)

假设我有两个类，它们的内存布局应该完全相同：

struct A {
    int x;
    int y;
};

/* possibly more code */

struct B {
    int a;
    int b;
};

标准中是否有什么可以保证我可以安全地使用static_assert(sizeof(A) == sizeof(B))？

作为较弱的变体，请考虑

struct C {
    int a;
};

static_assert( sizeof(A) >= sizeof(C) );   // can this ever fail?
static_assert( sizeof(A) >  sizeof(C) );   // can this ever fail?

这个问题引发了这个问题。我天真地希望不会有任何断言失败，但是可以保证吗？

该标准定义了两种类型的布局兼容性.但是,我没有看到标准中的任何地方,当两种类型的布局兼容时后果是什么.似乎布局兼容是一种在任何地方都不使用的定义.

布局兼容的目的是什么？

注意:据说,它可能意味着类型具有相同的布局(offsetof对于每个相应的成员是相同的),因此,例如,对于简单的可复制类型,可以在它们之间复制基础字节.但是我没有在标准中看到这样的东西.