Rust的所有权语义如何与Clean和Mercury中的唯一性类型相关？

Question

我注意到在Rust中移动应用于左值，并且静态强制执行不移动的对象。

这些语义如何与Clean和Mercury中的唯一性类型相关？ 它们是相同的概念吗？ 如果没有，它们有何不同？

Answer 1

Rust中的所有权概念与Mercury和Clean中的唯一性不同，尽管它们的相关性在于它们都旨在通过静态检查提供安全性，并且它们都是根据范围内的引用数量来定义的。 关键的区别是：

• 唯一性是一个更抽象的概念。 虽然可以解释为对内存位置的引用是唯一的，如Rust的左值 ，但它也可以应用于抽象值，例如宇宙中每个对象的状态，以给出一个极端但典型的例子。 没有与这样的值对应的指针 - 它不能在调试器或类似的东西中打开和检查 - 但它可以像任何其他抽象类型一样通过接口使用。 目的是提供一种在有状态存在的情况下保持一致的价值导向语义。

• 在水星中，至少（我不能说清洁），唯一性是一个比所有权更有限的概念，因为必须有一个参考。 你不能分享一些参考文献的副本，条件是它们不会被写入，就像在Rust中可以做到的那样。 您也不能提供写作参考，但在借款人完成后再将其取回。

• 在Mercury中声明一些独特的东西并不能保证写入引用会发生，只是编译器会检查它是否安全; 它仍然适用于复制唯一引用的内容而不是更新到位的实现。 如果认为在给定的优化级别上认为合适，编译器将安排适当的更新。 或者，抽象类型的作者可以手动执行类似（或者有时更好）的优化，安全地知道用户将被迫以与他们一致的方式使用抽象类型。 另一方面，Rust中的所有权更直接地与内存模型相关联，并且对行为提供了更强的保证。