C# StructLayout.Explicit 问题

Question

我试图理解为什么下面的第二个例子没有问题，但第一个例子给了我下面的异常(exception)。在我看来，这两个例子都应该根据描述给出一个异常(exception)。谁能赐教一下？

Unhandled Exception: System.TypeLoadException: Could not load type 'StructTest.OuterType' from assembly 'StructTest, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null' because it contains an object field at offset 0 that is incorrectly aligned or overlapped by a non-object field.
at StructTest.Program.Main(String[] args) Press any key to continue . . .

示例 1

using System;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.InteropServices;
using System.Text;

namespace StructTest
{
    [StructLayout(LayoutKind.Sequential, Pack = 1)]
    struct InnerType
    {
        [MarshalAs(UnmanagedType.ByValArray, SizeConst = 100)]
        char[] buffer;
    }

    [StructLayout(LayoutKind.Explicit)]
    struct OuterType
    {
        [FieldOffset(0)]
        int someValue;

        [FieldOffset(0)]
        InnerType someOtherValue;
    }

    class Program
    {
        static void Main(string[] args)
        {
            OuterType t = new OuterType();
            System.Console.WriteLine(t);
        }
    }
}

---

示例 2

using System;
using System.Collections.Generic;
using System.Linq;
using System.Runtime.InteropServices;
using System.Text;

namespace StructTest
{
    [StructLayout(LayoutKind.Sequential, Pack = 1)]
    struct InnerType
    {
        [MarshalAs(UnmanagedType.ByValArray, SizeConst = 100)]
        char[] buffer;
    }

    [StructLayout(LayoutKind.Explicit)]
    struct OuterType
    {
        [FieldOffset(4)]
        private int someValue;

        [FieldOffset(0)]
        InnerType someOtherValue;

    }

    class Program
    {
        static void Main(string[] args)
        {
            OuterType t = new OuterType();
            System.Console.WriteLine(t);
        }
    }
}

Answer 1

公共(public)语言运行时包含一个验证器，可确保正在运行的代码(可验证的 IL)不可能破坏托管环境中的内存。这会阻止您声明这样一个字段重叠的结构。基本上，您的结构包含两个数据成员。一个整数(4 个字节)和一个 native 整数(指针大小)。在 32 位 CLR 上，您可能正在其中运行您的代码，char[] 将占用 4 个字节，因此如果您将整数放在距离结构开头不到四个字节的位置，您会有重叠的字段。有趣的是，您的两个代码片段在 64 位运行时都失败了，因为指针大小为 8 个字节。