封送处理时内存对齐机制？指定Pack=8的结构体大小为何不符预期

首先直接说结论：你得到36而不是预期的40，核心是对Pack=8的作用理解有偏差，同时没搞清楚结构体整体对齐的规则。

先纠正对Pack属性的误解：Pack=N并不是强制让整个结构体的大小必须是N的整数倍，它的作用是限制结构体中每个成员的对齐边界不能超过N字节，同时成员的对齐边界也不能小于自身的「自然对齐大小」（比如UInt32的自然对齐是4字节，UInt64是8字节）。

接下来拆解你的结构体布局：

• ulID是UInt32，自然对齐是4字节，Pack=8的情况下，它的对齐边界取4（因为4≤8），所以占用前4字节。
• fixed Byte xValue[32]是固定大小的字节数组，Byte的自然对齐是1字节，所以会紧接在ulID后面，从第5字节开始，刚好占用32字节。
• 现在总大小是4+32=36，而结构体的整体对齐要求是由成员中最大的对齐边界决定的——这里最大的是UInt32的4字节，所以结构体的大小需要是4的整数倍，36已经满足，不需要额外填充字节，最终结果就是36。

你预期的40，应该是误以为Pack=8会强制结构体对齐到8字节，但实际上只有当结构体成员的最大对齐边界≥8时，才会触发8字节的整体对齐。比如如果你的结构体里有一个UInt64类型的成员，那整体对齐就会是8字节，这时候如果总大小不是8的倍数，就会填充到8的倍数。

如果确实需要让这个结构体的大小是40，可以用两种简单方法：

• 手动添加填充成员：在结构体末尾加一个private UInt32 _padding;，这样总大小就是4+32+4=40，符合你的预期。
• 或者，如果你需要结构体整体对齐到8字节，可以添加一个UInt64类型的占位成员（用[FieldOffset(36)]指定位置），不过手动加32位的填充更直接。

再补充下Pack的关键规则，避免以后踩坑：

• 成员的对齐边界 = min(成员自然对齐大小, Pack值)
• 结构体整体大小 = 所有成员占用字节数之和，向上取整到「成员最大对齐边界」的整数倍

内容的提问来源于stack exchange，提问作者A.B.