c# – 为什么sizeof的struct是不安全的

For all other types,including structs,the sizeof operator can only
be used in unsafe code blocks.

C# Language Specification更精确：

>成员被打包成一个结构体的顺序是未指定的.
>为了对齐目的,开始时可能有未命名的填充
一个结构体,一个结构体内部和结构体的结尾.
>用作填充的位的内容是不确定的.
>当应用于具有struct类型的操作数时,结果是该类型的变量中的总字节数,包括任何填充.

然而,CLR如何处理以下结构：

[StructLayout(LayoutKind.Explicit,Size = 1,Pack = 1)]
public struct MyStruct
{
    [FieldOffset(0)] public byte aByte;
}

public struct MyEmptyStruct { }

在MyStruct中,我们强制执行布局,大小以及如何通过StructLayout属性打包它.这个结构应该在内存中有1个字节的大小.

另一方面,MyEmptyStruct是空的,我们可以假设内存中的大小将为0字节 – 即使这样的结构很可能不会被使用,仍然是一个有趣的情况.

当使用sizeof(MyStruct)和sizeof(MyEmptyStruct)来计算这些结构的大小时,编译器会抛出以下错误：

‘*‘ does not have a predefined size,therefore sizeof can only
be used in an unsafe context

我想知道为什么在这种情况下使用sizeof被认为是不安全的.问题不是要求解决方法,也不是要求计算结构体的大小的正确方法,而是关注原因.