validit

在访问变量时验证变量内部状态。

• 为类型 T 实现 Validate trait 以定义如何验证 T 的内部状态。
• 包装结构 Valid<T: Validate> 实现 Deref 和 DerefMut trait，并在访问变量时验证内部状态。

例如，如果您的程序中有一个结构 Foo(u64)，并且您想确保 a 总是小于 5，则可以实现对 Foo 的 Validate trait 的实现，并使用 less! 宏来验证 a。

struct Foo(u64);

impl validit::Validate for Foo {
  fn validate(&self) -> Result<(), Box<dyn std::error::Error>> {
    validit::less!(self.0, 5);
    Ok(())
  }
}

fn main() {
  let v1 = Valid::new(Foo(1));
  let _x = v1.0; // Good.

  let v6 = Foo(6);
  let _x = v6.0; // No panic without validation.
  
  let v6 = Valid::new(Foo(6));
  let _x = v6.0; // panic: panicked at 'invalid state: expect: self.0(6) < 5(5) ...
}

贡献

• 🙌 有问题？加入 Discord 频道 或开始一个 讨论。