C#中struct参数及局部变量默认是否对齐？能否转为Vector4？

首先明确核心结论：默认情况下，该Example结构体的参数实例和局部实例都不保证16字节对齐，直接用Unsafe.As转换为Vector4存在风险，具体分析如下：

1. 结构体对齐的核心规则 #

你定义的Example结构体仅指定了LayoutKind.Explicit、Size=16和Pack=1，但未设置Align属性：

• Pack=1仅控制结构体内部成员的内存布局对齐，和结构体实例本身的内存分配对齐无关；
• 结构体实例的默认对齐规则是取其成员的最大对齐值（这里是float的4字节），所以Example的自然对齐要求仅为4字节，JIT编译器只会保证它分配在4字节对齐的地址上，不会自动提升到16字节。

而Vector4作为SIMD类型，其内存访问要求16字节对齐——不对齐的访问在部分平台会触发硬件异常，即使不触发，也会导致SIMD指令无法高效执行，性能下降。

2. 两种实例的具体情况 #

方法参数实例（Example e） #

在.NET的调用约定中，16字节的readonly结构体参数可能会被拆分到寄存器传递，但当你通过ref e获取其内存地址时，JIT会将其“溢出”到栈上。栈本身虽为16字节对齐，但栈帧内的参数位置仅会按结构体的自然对齐（4字节）放置，无法保证恰好落在16字节对齐的地址上，因此转换后的Vector4大概率不对齐。

局部变量实例（var e2 = new Example()） #

局部变量的内存分配由JIT决定，同样只会遵循Example的4字节自然对齐要求。即使后续要转换为Vector4，JIT也没有义务主动将其调整为16字节对齐的地址，所以这里的Vector4同样无法保证对齐。

3. 解决办法 #

要让Example实例保证16字节对齐，只需修改结构体的StructLayout属性，添加Align=16：

[StructLayout(LayoutKind.Explicit, Size = 16, Pack = 1, Align = 16)]
readonly struct Example {
    [FieldOffset(0)]
    public float A;
    [FieldOffset(4)]
    public float B;
    [FieldOffset(8)]
    public float C;
    [FieldOffset(12)]
    public float D;
}

添加Align=16后，JIT会强制将Example的所有实例分配在16字节对齐的内存地址上，此时用Unsafe.As转换为Vector4就是安全的。

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