Marshal.StructureToPtr是否在托管堆分配内存？如何降低GC耗时？

你在优化应用内存分配以降低GC耗时的过程中，通过VS2022性能分析器发现Marshal.StructureToPtr<T>()在小对象堆有大量分配，Marshal.SizeOf<T>()也存在内存分配，且传入的struct频繁被回收。针对你的三个疑问，解答如下：

1. 这些互操作方法确实会产生引发GC的托管内存分配吗？ #

是的，这两个方法在特定场景下确实会生成需要GC回收的托管内存分配。

2. 原因是什么？ #

• Marshal.SizeOf的分配：你当前调用Marshal.SizeOf(str[0])时，传入的是结构体实例，底层会临时分配与类型信息相关的包装对象；即使使用泛型版本Marshal.SizeOf<T>()，首次调用时也会生成缓存用的托管对象，但后续调用会复用缓存，分配量会大幅减少。
• Marshal.StructureToPtr的分配：
  • 若结构体包含引用类型字段（如string），方法需要创建托管到非托管的转换元数据，会产生临时分配；
  • 即使是纯值类型结构体，.NET运行时首次处理该类型的互操作时，会生成并缓存类型转换代理（IL存根），这个代理对象会分配在托管堆；
  • 你传入的str[i]是值类型，作为参数传递给泛型方法时会发生装箱——值类型被包装成托管对象，这就是你看到struct频繁被回收的核心原因。

3. 如何避免这些分配以减少GC耗时？ #

结合你的代码场景，给出以下具体优化方案：

优化点1：改用泛型版Marshal.SizeOf() #

替换Marshal.SizeOf(str[0])为Marshal.SizeOf<T>()，避免传入实例导致的临时分配，同时利用泛型版本的类型缓存机制，减少重复分配。

优化点2：避免值类型装箱 #

通过__makeref传递结构体引用，避免值类型作为参数传递时的装箱操作；或者使用fixed替代GCHandle，代码更简洁且无额外分配。

优化点3：纯值类型结构体用Unsafe内存复制 #

如果你的结构体是非托管值类型（无引用字段），直接使用Unsafe.CopyBlock或Buffer.BlockCopy，完全绕过Marshal互操作的分配，性能最优。

优化后的代码示例 #

方案1：改进Marshal调用（支持含引用字段的结构体）

// Serialize only the first length elements of str
public static byte[] ToBytes<T>(T[] str, int length)
    where T : struct
{
    if (str == null || str.Length == 0)
    {
        return Array.Empty<byte>();
    }

    int usedLength = Math.Min(str.Length, length);
    int elementSize = Marshal.SizeOf<T>();
    int size = usedLength * elementSize;

    byte[] arr = new byte[size];

    fixed (byte* arrPtr = arr)
    {
        byte* currentPtr = arrPtr;
        for (int i = 0; i < usedLength; i++)
        {
            var strRef = __makeref(str[i]);
            Marshal.StructureToPtr(TypedReference.ToObject(strRef), (IntPtr)currentPtr, false);
            currentPtr += elementSize;
        }
    }

    return arr;
}

方案2：Unsafe内存复制（仅支持非托管值类型，需启用不安全代码）

using System.Runtime.CompilerServices;

// Serialize only the first length elements of str
public static unsafe byte[] ToBytes<T>(T[] str, int length)
    where T : unmanaged
{
    if (str == null || str.Length == 0)
    {
        return Array.Empty<byte>();
    }

    int usedLength = Math.Min(str.Length, length);
    int elementSize = Unsafe.SizeOf<T>();
    int size = usedLength * elementSize;

    byte[] arr = new byte[size];

    fixed (T* strPtr = str)
    fixed (byte* arrPtr = arr)
    {
        Unsafe.CopyBlock(arrPtr, strPtr, (uint)size);
    }

    return arr;
}

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