使用GCHandle固定数组传递给C函数时如何在C#中维护类型安全

搞定这个类型安全问题其实不难，核心就是把原来“无类型”的IntPtr换成强类型指针，让编译器帮你把关，避免不小心传错数组类型。咱们一步步来：

第一步：修正DllImport签名，启用强类型检查 #

你现有的C#签名里把C函数的float*参数换成了IntPtr，这等于丢掉了类型信息——编译器没法帮你检查是不是传了正确的数组类型（比如不小心传个int[]进去，编译不会报错，但运行时绝对出问题）。

把那些IntPtr换成对应的float*，同时保留unsafe修饰符（因为要直接操作指针）：

[DllImport("CLibrary.dll", EntryPoint = "deduce", CallingConvention = CallingConvention.Cdecl), SuppressUnmanagedCodeSecurity]
unsafe static extern int Deduce(int pItems, int pParams, bool pEntropy, float* pRank, float* pWeight, float* pResults);

现在编译器会强制要求你传float*类型的参数，任何其他类型的指针都过不了编译，从源头保证类型安全。

第二步：安全获取数组指针（两种场景对应两种方式） #

接下来要把C#的float[]转换成C函数能识别的float*，这里有两种靠谱的方式，选哪种取决于你的使用场景：

方式一：用fixed语句（推荐，单次调用场景）

fixed语句会自动帮你固定数组（防止GC移动内存），作用域结束后自动解除固定，不用手动管理资源，代码更简洁：

// 假设dist, weight, results都是预分配好的float数组，长度必须符合C函数要求！
int itemsCount = 10; // 替换成实际的p_items值
int paramsCount = 5; // 替换成实际的p_params值
bool useEntropy = true;

unsafe
{
    // 固定三个数组，直接获取float*指针
    fixed (float* distPtr = dist, weightPtr = weight, resultsPtr = results)
    {
        int returnCode = Deduce(itemsCount, paramsCount, useEntropy, distPtr, weightPtr, resultsPtr);
        // 这里处理函数返回的结果
    }
}
// 离开unsafe块后，数组自动解除固定，GC可以正常回收/移动它们

这种方式的好处是完全不用手动处理GCHandle，减少内存泄漏风险，同时编译器会确保你只能固定float[]并得到float*，类型安全拉满。

方式二：用GCHandle（长期固定场景）

如果C函数需要长期持有这些指针（比如异步调用、后续回调还要用），那fixed就不合适了（因为离开作用域就解除固定），这时候得用GCHandle手动固定：

GCHandle distHandle = default;
GCHandle weightHandle = default;
GCHandle resultsHandle = default;

try
{
    // 固定数组，防止GC移动内存
    distHandle = GCHandle.Alloc(dist, GCHandleType.Pinned);
    weightHandle = GCHandle.Alloc(weight, GCHandleType.Pinned);
    resultsHandle = GCHandle.Alloc(results, GCHandleType.Pinned);

    unsafe
    {
        // 从固定的句柄获取float*指针
        float* distPtr = (float*)distHandle.AddrOfPinnedObject();
        float* weightPtr = (float*)weightHandle.AddrOfPinnedObject();
        float* resultsPtr = (float*)resultsHandle.AddrOfPinnedObject();

        int returnCode = Deduce(itemsCount, paramsCount, useEntropy, distPtr, weightPtr, resultsPtr);
        // 处理返回结果
    }
}
finally
{
    // 必须释放所有固定的句柄，哪怕中间抛出异常也要保证资源回收！
    if (distHandle.IsAllocated) distHandle.Free();
    if (weightHandle.IsAllocated) weightHandle.Free();
    if (resultsHandle.IsAllocated) resultsHandle.Free();
}

额外注意事项 #

• 数组长度必须匹配：C函数会直接操作内存，所以results数组的长度必须足够容纳输出结果（一般根据pItems和pParams计算），否则会造成缓冲区溢出，轻则数据错误，重则程序崩溃。
• bool类型兼容性：如果你的C函数里的bool是typedef的int（4字节），而不是C99的_Bool（1字节），那可能需要把C#的bool改成int或者加[MarshalAs(UnmanagedType.Bool)]修饰，不过一般默认是兼容的，出问题再排查就行。

这样改完之后，编译器会帮你把好类型关，再也不用担心传错数组类型的问题了！

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