pointers - F# - 是否需要明确删除引用单元格？

Question

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

Answer 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