#macro #invariants

unsafe-storage

在不使用模块的情况下在宏中维护不变性

2 个版本

0.1.1 2021 年 12 月 20 日
0.1.0 2021 年 12 月 20 日

#5 in #invariant

MIT/Apache

4KB

不安全存储

UnsafeStorage 用于标记存储其内部值时必须保持的一些任意不变性。因此,创建和修改内部值是一种“不安全”的行为。虽然在传统的 Rust 术语中可能并不不安全(没有内存不安全),但行为可能是“未定义”——或者至少是未记录的,因为预期不变性将得到维护。

这在没有将它们的存储封装在模块中的宏中非常有用。这使得最终用户的宏更加直观,因为它们可以在单个模块中多次使用宏。

无运行时依赖