ocaml - 取消分配大数组

Question

我很好奇是否有办法在 OCaml 中删除和取消分配某些内容。例如，假设我有一个使用以下方法初始化的数组：

let a = Array.make 10000 0;;

我如何“删除” a？

提前致谢。

标签： ocaml

Answer 1

简短的回答是当值不再被访问时，它们被删除（由垃圾收集器）。

如果这个定义a是一个全局定义，它总是可以访问的。因此它永远不会被删除。

相反，如果这是函数中的本地定义，它将在函数返回时被删除（或者如果最后一个引用在函数结束之前可能会更早）。

一般来说，不可变的全局值永远不会被垃圾收集。如果你想要这个，你可以使用一个可变的全局值：

let a = ref (Array.make 10000 0)

当您不再需要时a，您可以这样做：

a := [| |]