ocaml - 如何使用弱数组？

Question

问题说明了一切。我有一个数据结构，由于哈希表较弱而无法编码..想知道我是否可以摆脱它:)

Answer 1

弱数组是弱指针的数组。弱指针是对可能被垃圾收集的值的引用。

如果您在某个值上使用常规指针，您将阻止其垃圾收集，直到裁判本身被垃圾收集为止。如果引用较弱，则可以在裁判之前收集该值。

一个使用示例是将数据提供给多个接收器的源。如果源持有指向接收器的常规指针，则每当不再需要接收器时，它都不会被垃圾收集，直到源被需要为止(例如，这可能永远不会发生)。如果源使用对接收器的弱引用，则给定的接收器可能会在源之前被垃圾收集。

另一个例子是使用弱哈希表(涉及弱数组)的类型的 hashconsing。简而言之，hashconsing 是一种记住程序中创建和存在的给定类型的所有值的方法。与适当的值构造函数一起，这可以确保该类型的值的最大共享，并允许在该类型上实现结构平等作为物理平等。在这种情况下，如果使用非弱哈希表，程序不再使用的值将永远不会被垃圾收集。

最后，许多人认为(错误地)弱引用对于实现缓存很有用。对某个值保留弱引用，如果它被垃圾收集，则重新加载/重新计算该值。这不是一个好的缓存算法，因为主要垃圾收集会回收不再引用的任何值。因此，您的缓存算法没有可预测性或有用的属性，例如缓存大小/可用内存不超过给定比率。