2 个版本
0.1.1 | 2021 年 12 月 20 日 |
---|---|
0.1.0 | 2021 年 12 月 20 日 |
#5 in #invariant
4KB
不安全存储
UnsafeStorage
用于标记存储其内部值时必须保持的一些任意不变性。因此,创建和修改内部值是一种“不安全”的行为。虽然在传统的 Rust 术语中可能并不不安全(没有内存不安全),但行为可能是“未定义”——或者至少是未记录的,因为预期不变性将得到维护。
这在没有将它们的存储封装在模块中的宏中非常有用。这使得最终用户的宏更加直观,因为它们可以在单个模块中多次使用宏。