取消分配大数组

如何解决取消分配大数组

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

let a = Array.make 10000 0;;

如何“删除”a？

提前致谢。

解决方法

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

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

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

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

let a = ref (Array.make 10000 0)

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

a := [| |]