.NET 8中RepeatedIDValue64_8.Get返回fixed指针引用是否安全？

想确认以下代码中RepeatedIDValue64_8.Get方法在通过fixed指针固定内存段后，返回该内存段的引用是否安全？程序发生崩溃，怀疑是否与GC后的内存碎片整理有关。使用.NET 8.0版本。

代码示例 #

public struct IDValue64 : IStructMessage<IDValue64>
{
    public static StructMessageParser<IDValue64> Parser = new StructMessageParser<IDValue64>();
    public const int SizeOf = 16;
    public long Id;
    public long Value;

    public override string ToString()
    {
        MessageFormat format = new MessageFormat();
        format.WriteLine("{");
        format.Indent();
        format.WriteLine("Id : " + Id.ToString() + ",");
        format.WriteLine("Value : " + Value.ToString() + " }");
        format.Outdent();
        return format.ToString();
    }
}

unsafe public struct RepeatedIDValue64_8 
{
    const int BuffSize = 128;
    public const int MaxCount = 8;
    public int Count;
    public fixed byte Buffer[BuffSize];
    
    public int GetCount() => Count;
    public int GetMaxCount() => MaxCount;
    
    public ref IDValue64 Get(int index)
    {
        if (index < 0 || index >= Count)
        {
            string message = string.Format("RepeatedIDValue64_8 index{0} count{1}", index, Count);
            throw new ArgumentOutOfRangeException(message);
        }
        fixed (byte* pb = Buffer)
        {
            IDValue64* pbs = (IDValue64*)pb;
            return ref pbs[index]; // 是否安全？
        }
    }

    public override string ToString()
    {
        StringBuilder sb = new StringBuilder();
        sb.Append("{\n");
        for (int i = 0; i < Count; i++)
        {
            sb.Append("[" + i.ToString() + "]:");
            sb.Append(Get(i).ToString());    // 崩溃位置
        }
        sb.Append('}');
        return sb.ToString();
    }
}

分析结论：这段代码不安全，是导致崩溃的直接原因 #

• fixed块的作用范围限制：fixed语句仅在块内部保证内存不会被GC移动。一旦代码离开fixed块，CLR就会解除对该内存的固定。对于RepeatedIDValue64_8这种包含fixed数组的值类型，如果实例被装箱到堆上（比如作为对象传递、存储在集合中），GC在回收时完全可能移动整个装箱对象的内存位置。
• 返回ref引用的风险：Get方法返回的ref IDValue64指向Buffer内的内存，但离开fixed块后，该内存的固定状态已失效。后续使用这个引用时，若对应的RepeatedIDValue64_8实例被GC移动，引用会指向错误的内存地址，直接触发访问违规崩溃。
• 崩溃位置的关联：即使在ToString中是立即调用Get(i).ToString()，也存在风险——如果RepeatedIDValue64_8实例处于堆上，GC可能在fixed块结束后、ToString()执行前的间隙触发内存移动，或者多线程场景下GC异步执行，导致引用失效。

修复建议 #

• 优先改为返回值而非引用：避免暴露内存引用，直接在fixed块内完成结构体的读取并返回值：

public IDValue64 Get(int index)
{
    if (index < 0 || index >= Count)
    {
        string message = string.Format("RepeatedIDValue64_8 index{0} count{1}", index, Count);
        throw new ArgumentOutOfRangeException(message);
    }
    fixed (byte* pb = Buffer)
    {
        IDValue64* pbs = (IDValue64*)pb;
        return pbs[index];
    }
}

• 若必须使用引用：需确保RepeatedIDValue64_8实例始终处于固定状态，比如将其分配到非托管内存，或用GCHandle.Alloc固定装箱后的实例，但这种方式需要手动管理内存，复杂度高且容易出错，不推荐。

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