C# Explicit布局结构体非对齐字段抛TypeLoadException问题咨询

报错根本原因 #

• CLR对显式布局（LayoutKind.Explicit）的结构体有强制对齐约束：所有托管引用类型字段的偏移必须对齐到当前进程指针大小的整数倍（32位进程为4字节、64位进程为8字节）。你代码中的Name是string类型，属于托管引用，放在偏移0x02的位置不符合对齐要求，因此触发TypeLoadException。
• Pack参数仅控制结构体非托管序列化时的内存布局规则，不会覆盖CLR对托管内存中引用类型的对齐强制要求。

为什么Sequential布局不会报错 #

LayoutKind.Sequential模式下，你指定的Pack仅对外生效，CLR会自动调整托管内存中引用类型字段的实际偏移，保证对齐要求，这个调整对开发者透明不可见。但Explicit模式下你完全接管了所有字段的托管内存偏移定义，CLR不会做自动修正，不符合规则就直接抛出异常。

满足需求的实现方案 #

你需要保留显式偏移、不需要填充字段的需求，可以通过移除结构体中的引用类型字段实现：将string替换为嵌入结构体的固定大小字符缓冲区，避免引用类型对齐限制，示例代码如下：

[StructLayout(LayoutKind.Explicit, Pack = 2)]
public unsafe readonly struct EntryInfo
{
    [FieldOffset(0x00)]
    public readonly ushort Type;

    [FieldOffset(0x02)]
    public fixed char Name[32];

    // 封装方法方便直接获取字符串
    public string GetName()
    {
        fixed(char* p = Name)
        {
            return new string(p, 0, 32).TrimEnd('\0');
        }
    }
}

该方案中所有字段均为值类型，不存在引用类型的对齐约束，你可以任意指定字段偏移，完全匹配自定义二进制数据的读取需求。

对齐要求的底层逻辑 #

CLR的垃圾回收器需要定期扫描所有托管引用，标记存活对象。如果引用类型字段的地址非对齐，GC扫描时会触发内存访问错误，严重时会导致进程崩溃，因此CLR才会对显式布局的引用类型字段增加强制对齐限制。

内容的提问来源于stack exchange，提问作者Jammer