StructLayout文档中blittable类型描述是否过时？是否需替换为unmanaged类型？

文档现有描述与测试矛盾 #

官方文档关于StructLayoutAttribute的说明：

对于blittable类型，LayoutKind.Sequential同时控制托管内存和非托管内存中的布局；对于non-blittable类型，它仅控制类型被封送到非托管代码时的布局，不控制托管内存中的布局。

根据官方的Blittable/Non-Blittable类型列表，System.Boolean属于non-blittable类型，但实际测试发现以下矛盾：

测试案例1：包含bool的unmanaged结构体 #

定义结构体：

[StructLayout(LayoutKind.Sequential)]
struct Unmanaged {
    public byte b1;
    public int i1;
    public bool bool1;
    public byte b2;
    //public string str; // 取消注释将变为自动布局

    public unsafe override string ToString() {
        var b1FieldOffset = (long)Unsafe.AsPointer(ref this.b1) - (long)Unsafe.AsPointer(ref this);
        var i1FieldOffset = (long)Unsafe.AsPointer(ref this.i1) - (long)Unsafe.AsPointer(ref this);
        var b2FieldOffset = (long)Unsafe.AsPointer(ref this.b2) - (long)Unsafe.AsPointer(ref this);
        var bool1Offset = (long)Unsafe.AsPointer(ref this.bool1) - (long)Unsafe.AsPointer(ref this);

        var sb = new StringBuilder();
        sb.AppendLine($"Size:      {Unsafe.SizeOf<Unmanaged>()}");
        sb.AppendLine($"b1 Offset: {b1FieldOffset}");
        sb.AppendLine($"i1 Offset: {i1FieldOffset}");
        sb.AppendLine($"bool1 Offset: {bool1Offset}");
        sb.AppendLine($"b2 Offset: {b2FieldOffset}");

        return sb.ToString();
    }
}

输出结果显示托管内存严格遵循顺序布局：

Size:      12
b1 Offset: 0
i1 Offset: 4
bool1 Offset: 8
b2 Offset: 9

测试案例2：添加string（managed类型）后的结构体 #

取消注释public string str;字段后，托管内存布局变为自动布局（忽略Sequential设置）：

Size:      16
b1 Offset: 12
i1 Offset: 8
bool1 Offset: 13
b2 Offset: 14

结论与建议 #

你的猜测成立，文档中基于blittable/non-blittable的描述确实已过时，实际运行时的行为划分依据应为unmanaged/managed类型：

• 当结构体为unmanaged类型（即使包含non-blittable成员如bool），LayoutKind.Sequential会同时控制托管与非托管内存的布局；
• 当结构体包含managed类型成员（如string），LayoutKind.Sequential仅管控非托管封送时的布局，托管内存采用自动布局。

结合你之前反馈过文档中Pack字段关于decimal结构的过时描述，说明.NET官方文档存在更新滞后的情况。你应该提交文档更新反馈，建议到.NET文档的GitHub仓库创建Issue，附上你的测试代码、输出结果，明确指出现有描述与实际运行时行为的差异，以及建议将blittable/non-blittable替换为unmanaged/managed的表述。

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