Lib.rs

擦除具有具体类型的指针并存储类型擦除的指针。

这大致相当于 C 中的 void*，但它不使用 libc::c_void。

在 Rust 中类型擦除指针有两个主要的有用原因

• 从内部实现细节中移除病毒式泛型。如果内部实现确实不关心存储的类型，将其作为不可知处理可以减少作者和编译器的单态化成本。
• 指向 ?Sized 类型的瘦指针。如果未指定类型存储其元数据内联，则它可以实现 Erasable 并在类型擦除指针后使用。类型擦除的指针不必携带元数据，而胖指针可以从内联元数据中恢复。我们提供了 Thin 包装类型以提供瘦指针类型。

变更列表

1.2.0

新增

• impl ErasablePtr for Thin<P>：明显的实现；Thin 在内部被擦除
• Thin::ptr_eq：轻松比较两个瘦指针的指针相等性

1.1.0

破坏性更改

不幸的是，在 Erasable::unerase 对实现者的要求中发现了一个微妙的问题，并且需要在本次版本中纠正。

始终的意图是，任何来源的指针都应该通过 Erasable::erase/unerase 进行往返，而不影响任何指针的来源有效性。不幸的是，在 1.0.0 版本中，Eraseable::unerase 的实现中明确建议使用临时共享引用（&_），这并不符合期望的语义。以下是 Eraseable::unerase 的新文档的引用

不应创建对指针指向对象的任何引用，因为它们的存在本身可能会影响其他指向同一位置的指针的有效性和可追溯性。

表面上创建共享引用看起来应该是可以的。毕竟，你有一个指向你类型的已知有效指针，你可以从被擦除的任何指针那里借用。然而，面对具有共享可变来源的原始指针，这会带来问题。如果写入指针指向的位置与任何 unerase 调用发生竞争，并且它创建了一个对位置的引用，那么在共享引用后面进行写入将产生未定义的行为。

根本问题是可能存在外部同步，这种实现无法知晓。此特质的实现必须只读取重新类型化指针所需的最小数据量，并且必须使用原始指针读取，或者，如果存在已知的 UnsafeCell 指针（例如原子），则必须引用该 UnsafeCell 指针和该 UnsafeCell 指针的安全 API。

有关此问题的发现更多信息，请参阅 此 Twitter 线程。

为了使此更新更容易，我们还添加了 const Erasable::ACK_1_1_0: bool。此值默认为 false，但 必须 在 Erasable 的新实现中将它覆盖为 true，以明确承认新的要求。为了找到没有这样做的方法，可以将 ERASABLE_ENFORCE_1_1_0_SEMANTICS 环境变量设置为删除默认实现，明确破坏未覆盖其值的任何实现者。