F# - 是否需要明确删除参考单元格？答案

【问题标题】：F# - Do ref cells need to be deleted explicitly?F# - 是否需要明确删除参考单元格？
【发布时间】：2017-01-31 01:03:39
【问题描述】：

在引用堆上的数据的意义上，引用单元是否类似于指针，并且需要显式删除？我在网上看到的所有示例都没有明确的删除调用。

【问题讨论】：

【解决方案1】：

您将如何明确删除它们？

此外，如果您查看 source code，您会发现 ref 单元类型只是可变字段上的不可变包装，:= 和 ! 运算符是 simply getter/setter calls。

您可以很容易地以类似的方式自己实现 ref：

type Ref<'a> = { mutable value: 'a }
let (:=) (r: Ref<_>) v = r.value <- v
let (!) (r: Ref<_>) = r.value

【讨论】：

【解决方案2】：

在引用堆上的数据的意义上，引用单元是否类似于指针，并且需要显式删除？

没有。 F# 在 CLR 上运行，CLR 通过垃圾收集器自动管理内存。内存资源，即使是使用堆的内存资源，也不需要开发者显式清理，事实上，没有机制可以显式删除特定对象。

相反，当不再有对它的引用时，引用单元格将有资格进行垃圾回收。之后的某个时间，它会被 GC 自动清理掉。

对于您在 F# 中生成的大多数类型也是如此，例如记录、可区分联合、类等。

【讨论】：