F# 原生互操作指针内存分配最佳实践及常见问题咨询

各实现方案的风险分析 #

val0（普通堆数组取指针） #

存在双重致命问题，完全不可用：

• 数组未被固定，GC运行时会重排堆对象位置，你存储的arr[0]指针会直接失效，访问时会触发野指针崩溃或数据错乱
• 内部作用域创建的arr没有被外部持有根引用，GC完全可能在val0构造完成、SomeFunc调用前就将无引用的arr回收，指针会指向已释放的堆空间

val1（stackalloc分配栈内存） #

你担心的栈回滚问题不存在：stackalloc分配的内存生命周期和当前函数栈帧绑定，只要run函数未执行结束，这块栈空间就不会被回收或复用，同步调用SomeFunc的场景下内容完全安全。
仅需注意几个限制：

• 栈空间默认只有1MB左右，count不能过大，否则会直接触发栈溢出
• 若原生函数会将指针存储起来做异步调用，绝对不能用栈内存，run函数返回后栈空间会被其他逻辑复用，后续访问直接崩溃
• 优势是栈内存不受GC管控、不需要固定、性能极高，适合小尺寸、同步调用的轻量互操作场景

val2（带pinned=true的堆数组） #

你的修复方案是正确的，原实现的核心问题：

• 就算开启了pinned=true保证数组地址不会被GC移动，内部作用域的arr没有外部根引用，依然可能被GC提前回收，哪怕地址固定，回收后的地址也是无效的
• 额外添加GCHandle.Alloc的作用是给数组增加一个强引用根，保证GC在GCHandle释放前不会回收该数组，配合pinned属性保证地址不变，就符合互操作的安全要求
• 注意必须手动释放GCHandle，否则数组会一直驻留在堆中无法被回收，造成内存泄漏

val3（AllocHGlobal分配非托管内存） #

这是通用性最强的安全方案，非托管内存不受GC管控，不会被移动也不会被自动回收，适合所有场景，包括异步调用、大内存分配。
使用非托管内存的通用注意事项：

• 必须手动释放：无论代码执行路径是否触发异常，都要保证FreeHGlobal被调用，建议用use关键字绑定IDisposable对象，自动在作用域结束时释放，避免内存泄漏
• 分配时要精确计算内存大小，注意类型对齐规则，避免分配空间不足导致越界写入
• 非托管内存默认不会自动清零，如果依赖初始值需要手动初始化，避免脏数据干扰
• 不要在把非托管指针传给其他调用方后提前释放内存，否则会导致野指针问题
• 场景适配：如果是同步调用、内存尺寸很小的场景，没必要用非托管内存，栈分配性能更好；如果托管代码也要频繁访问这块内存，用固定的托管数组更方便，不需要手动处理内存读写逻辑

互操作内存分配最佳实践 #

• 小尺寸（<4KB）、同步调用、不需要长期持有指针：优先用stackalloc
• 托管侧需要频繁访问数据、同步/短期异步调用：用带GCHandle固定的pinned数组
• 大内存、长期持有指针、原生侧异步使用：优先用AllocHGlobal这类非托管内存
• 禁止操作：不要给未固定的托管对象取原生指针传给原生代码，不要让被原生指针引用的托管对象脱离根引用作用域

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