我们可以对结构布局进行假设吗?

是否有任何约定的算法用于使C结构的布局?

我想能够有一个代码运行在一个虚拟机能够有结构兼容他们的C对应物，就像c#互操作的作品。为此，我需要知道对齐算法是如何工作的。我想这一定有一个约定，因为它在c#上工作得很好。我想到了他们用来解决这个问题的可能算法，但我还没有找到任何证据证明它是正确的。

我认为它是这样工作的:

每个已声明的字段(按声明顺序)

• 查看该字段是否适合剩余的字节(直到下一次对齐)
• 如果不合适，请对齐此字段;否则将其添加到当前偏移量

例如，在32位系统上，对于如下结构体:

{
byte b1;
byte b2;
int32 i1;
byte b3;
}

将像这样使用这个算法:

{
byte b1;
byte b2;
byte[2] align1;
int32 i1;
byte b3;
byte[3] align2;
}