6 个版本 (3 个重大更改)
| 0.4.0 | 2022年5月7日 |
|---|---|
| 0.3.0 | 2021年8月28日 |
| 0.2.0 | 2021年7月29日 |
| 0.1.2 | 2021年7月18日 |
#1875 in Rust 模式
在 singleton-cell 中使用
16KB
174 行
该库为具有全局唯一属性的类型提供简单的 unsafe 特性，以及用于证明的 Erased 类。该软件包不提供实现策略，但提供了一些有效实现者的示例。
主要目的是用于 ghost 证明，在这种情况下，特定类型的值的所有权足以满足其他安全条件。
此外，还提供了类型 Erased<T> 和特质 Exists<T>，作为存在性足以保证安全时类型的所有权（包括引用）的零大小证明。