C#调用C DLL：手动指针传参与P/Invoke自动封送的差异

针对你提到的C DLL函数unsigned long GetList(unsigned long *List, unsigned long *listCount)，下面逐一拆解三种调用方式的底层逻辑、解决你的困惑，并给出适合C背景开发者的选型建议。

一、三种调用方式的底层原理 #

1. 手动指针方式（Unsafe + GCHandle/fixed） #

• 核心逻辑：直接绕开.NET自动内存管理，用unsafe代码操作内存地址，和C语言指针逻辑完全对齐。
  • 为什么要固定数组？.NET的GC会随时移动托管对象的内存位置，如果不固定数组，传给C DLL的指针会在GC触发后变成无效地址，引发内存访问错误。GCHandle.Alloc(..., GCHandleType.Pinned)或fixed关键字的作用，就是把数组钉死在当前内存地址，直到手动释放或fixed块结束。
  • 关于“包含可变数组的blittable类型本身非blittable”：blittable类型指托管/非托管环境内存布局完全一致的类型（比如uint、int这类值类型），但可变长度数组（如托管侧的uint[]）会额外存储长度等元数据，整体内存布局和非托管侧单纯的指针+长度结构不匹配，因此不属于blittable类型。不过单个uint元素是blittable的，固定数组后取到的指针是元素的起始地址，和C的指针逻辑完全匹配。
• 代码示例（贴近C风格）：

unsafe
{
    uint count = 0;
    // 第一步：获取所需数组长度
    GetList(null, &count);
    
    uint[] list = new uint[count];
    // fixed块自动固定数组，块结束后自动解除固定
    fixed (uint* listPtr = list)
    {
        GetList(listPtr, &count);
    }
}

// P/Invoke声明（用unsafe指针签名）
[DllImport("YourDll.dll")]
unsafe static extern uint GetList(uint* List, uint* listCount);

2. P/Invoke自动封送方式 #

• 核心逻辑：CLR自动完成托管类型到非托管类型的内存转换（封送），无需手动处理指针。
  • 关于“数组默认作为In参数但被修改”的困惑：文档里的“In参数”是语义上的默认声明，但对于blittable元素的数组（如uint[]），CLR为了性能会直接传递数组的固定起始地址给非托管函数，而非拷贝数组到非托管内存。因此非托管函数修改的是原数组的内存，你会看到数组内容被更改。如果要强制只做In传递（修改不影响原数组），可以加[In]属性，CLR会拷贝数组到非托管内存；如果要明确允许双向修改，加[In, Out]属性（语义声明，实际对于blittable数组，CLR还是直接传地址）。
• 代码示例：

uint count = 0;
// 第一步获取长度
GetList(null, ref count);

uint[] list = new uint[count];
// 直接传递数组和ref参数
GetList(list, ref count);

// P/Invoke声明
[DllImport("YourDll.dll")]
static extern uint GetList(uint[] List, ref uint listCount);

3. Marshal类手动分配内存方式 #

• 核心逻辑：完全手动在非托管堆分配内存，和C语言malloc/free逻辑一致，脱离托管内存的GC管理。
  • 用Marshal.AllocHGlobal分配非托管内存，Marshal.Copy在托管数组和非托管内存间拷贝数据，最后必须用Marshal.FreeHGlobal释放内存，否则会导致内存泄漏。
• 代码示例：

uint count = 0;
GetList(IntPtr.Zero, ref count);

// 分配非托管内存
IntPtr listPtr = Marshal.AllocHGlobal((int)count * sizeof(uint));
try
{
    GetList(listPtr, ref count);
    // 将非托管内存的数据拷贝到托管数组
    uint[] list = new uint[count];
    Marshal.Copy(listPtr, list, 0, (int)count);
}
finally
{
    // 必须手动释放非托管内存
    Marshal.FreeHGlobal(listPtr);
}

// P/Invoke声明
[DllImport("YourDll.dll")]
static extern uint GetList(IntPtr List, ref uint listCount);

二、三种方式的底层差异 #

三、适合C语言背景开发者的选型建议 #

如果你希望C#使用方式尽可能贴近C语言，手动指针（Unsafe）方式是最优选择：

• 完全沿用C的指针操作逻辑，无需学习CLR复杂的封送规则
• 用fixed关键字替代GCHandle，代码更简洁，且自动处理固定/解除固定
• 风险和C语言一致，符合你的开发习惯

如果追求开发效率、兼顾内存安全，P/Invoke自动封送方式更适合，只需注意数组的[In]/[Out]属性声明即可，CLR会处理大部分内存细节。

如果需要完全控制非托管内存（比如长期保留非托管内存、和其他非托管API交互），Marshal手动分配方式更适合，但必须严格遵守内存释放规则，避免泄漏。

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