显式布局struct出现对齐/重叠错误，求异常原因及修正原理

核心问题：引用类型字段的CLR内存对齐要求 #

你遇到的System.TypeLoadException本质是CLR对托管结构体中引用类型字段的强制内存对齐规则导致的，和你预期的仅按值类型字节数计算偏移的逻辑不同：

• 在64位.NET进程中，所有引用类型字段（包括数组）的内存偏移必须对齐到8字节边界；32位进程则是4字节边界。
• 你的初始代码中，blocks是block[]类型（引用类型），你把它的偏移设为4，不符合64位下8字节对齐的要求，因此CLR在加载类型时直接抛出异常。

代码细节拆解 #

初始错误代码的矛盾点 #

[StructLayout(LayoutKind.Explicit, Pack = 1, Size = 84)]
public struct tower
{
    [FieldOffset(0)]
    public int x; // 值类型，占4字节（0-3）
    [FieldOffset(4)] // 违反64位引用类型的8字节对齐要求
    [MarshalAs(UnmanagedType.ByValArray, SizeConst = 10)]
    public block[] blocks;
};

虽然Pack=1是用于非托管互操作时的内存打包规则，但它不会覆盖CLR对托管引用类型字段的对齐要求——CLR在加载托管结构体时，会先检查所有字段的内存布局合法性，引用类型字段的偏移必须满足进程位数对应的对齐规则，否则直接抛出类型加载异常。

修改后代码的合理性 #

[StructLayout(LayoutKind.Explicit, Pack = 1, Size = 88)]
public struct tower
{
    [FieldOffset(0)]
    public int x;
    [FieldOffset(8)] // 8是64位下引用类型的合法对齐边界
    [MarshalAs(UnmanagedType.ByValArray, SizeConst = 10)]
    public block[] blocks;
};

偏移8是64位进程中引用类型字段的合法起始位置，符合CLR的内存对齐规则，因此类型可以正常加载。同时Size=88的计算是正确的：int x占4字节，加上对齐填充的4字节（凑到8字节边界），再加上10个block结构体的总大小（10*8=80），4+4+80=88。

关于固定数组的说明 #

你使用[MarshalAs(UnmanagedType.ByValArray, SizeConst = 10)]是完全正确的，这个特性专门用于非托管互操作场景，将托管数组映射为非托管内存中的固定大小连续结构体数组，满足你序列化固定数量元素的需求——这个属性的作用是在Marshal（托管/非托管内存转换）时生效，和CLR的托管内存布局规则是两个独立的层面。

内容的提问来源于stack exchange，提问作者J.Meulenbeld