rust - Rust 的借用规则是否妨碍了功能数据结构？

Question

函数式数据结构(例如 Haskell/Clojure/Scala 中使用的 Hash Array Mapped Trie)依赖于底层数据结构中的大量共享。例如，如果我们在类似 map 的数据类型上实现 insert，通常通过在实现数据结构的树上进行路径复制来实现。

鉴于这些数据结构在很大程度上依赖于共享(并且没有主要所有者)潜在值(value)，借用是否会妨碍实现此类结构？

Answer 1

简短回答:否。

长答案:

Rust 实际上可以很好地处理不可变结构(例如，它比 C 的 const 提供更多保证)。

共享所有权没有问题 (Rc/Arc) 具有真正不可变的值，您可以轻松地多次借入不可变结构。借用时您不能移动，但这可以通过分发拥有代理(再次通过 Rc 或 Arc)而不是引用来规避。

在 Rust 中，您可能没有在 Haskell 中遇到的一个问题是将可变值与 Cell 或 RefCell 混合，因为您可以创建循环，而那些不会收集是因为 Rust 没有 GC。