C#中使用LayoutKind.Explicit访问嵌套结构体的问题

问题1：x64模式下AccessViolationException异常的原因与解决 #

异常原因 #

这不是预期行为，问题出在两个核心点：

1. 指针类型截断：x64环境下内存地址是8字节（64位），但你用int ptr存储地址，会把64位地址强制截断为32位，导致地址无效，触发内存访问违规。
2. 指针计算逻辑错误：&(thisPtr->Points)获取的是托管数组引用的地址，而非结构体中嵌入的二进制数组起始地址。显式布局中FieldOffset(16)标记的Points应该是直接嵌入结构体的连续内存块，而非引用类型的指针。

解决代码 #

修改getPoint方法，使用64位类型存储地址，直接从结构体起始地址计算正确偏移：

public unsafe ST_Point* getPoint(int n)
{
    fixed (ST_Layer* thisPtr = &this)
    {
        // 结构体起始地址 + Points的FieldOffset(16) + n个ST_Point的字节数
        long baseAddr = (long)thisPtr + 16;
        return (ST_Point*)(baseAddr + n * sizeof(ST_Point));
    }
}

注：ST_Point由两个double组成，大小固定为16字节，Pack=8的对齐设置也保证了x86/x64下布局一致，无需额外调整。

问题2：直接像普通数组访问元素的实现 #

可以实现直接通过layer.Points[0].X访问，但不能用普通托管数组，需要使用固定大小缓冲区（unsafe结构体专属特性），这样数组会直接嵌入结构体的连续内存中，完全匹配共享内存的二进制布局要求。

修改后的结构体定义 #

[StructLayout(LayoutKind.Explicit, Pack = 8)]
public unsafe struct ST_Layer
{
    [FieldOffset(0)] public ushort nPoints;
    [FieldOffset(8)] public double fHeight;
    [FieldOffset(16)] public fixed ST_Point Points[10]; // 固定大小缓冲区，直接嵌入结构体

    public unsafe ST_Point* getPoint(int n)
    {
        fixed (ST_Layer* thisPtr = &this)
        {
            return &thisPtr->Points[n]; // 直接通过数组索引取指针，逻辑更简洁
        }
    }
}

访问方式 #

现在可以直接通过固定缓冲区像普通数组一样访问，也可以继续使用指针方法：

static void Main(string[] args)
{
    unsafe
    {
        ST_Layer layer = new ST_Layer();
        layer.nPoints = 3;
        layer.fHeight = 4;
        
        // 直接像数组一样修改元素
        fixed (ST_Point* pointsPtr = layer.Points)
        {
            pointsPtr[0].X = 5;
            pointsPtr[3].Y = 6;
        }

        // 遍历输出
        for (int i = 0; i < 10; i++)
        {
            fixed (ST_Point* pointsPtr = layer.Points)
            {
                Debug.WriteLine($"Data [{i}] {pointsPtr[i].X}, {pointsPtr[i].Y}");
            }
        }
        while (true)
            Thread.Sleep(50);
    }
}

关键说明 #

• 固定大小缓冲区fixed ST_Point Points[10]会直接在结构体中分配10个ST_Point的连续内存，二进制结构和Python侧的结构体定义完全对齐，适合共享内存传输。
• 访问时的fixed块用于固定缓冲区地址，避免GC移动内存（栈上分配的结构体可省略，但堆上分配时必须使用，固定操作更通用安全）。

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