约束

此包提供了一个宏，可以轻松声明受约束的类型，当需要比现有类型提供的更多保证时。此类类型可以利用类型系统来避免不便捷的验证和错误处理。

最常见的例子是非空字符串。有时你需要断言一个字符串不为空。如果不将此属性编码到类型中，你必须每次使用该字符串时都检查它不为空，或者依赖于之前的检查。这会导致错误 prone 和更难以维护的代码。

使用此包可以轻松创建非空字符串类型

constraint::constraint!{
    /// A non empty owned string
    pub NonEmptyString(String) if |s: &String| !s.is_empty()
}

许可证

本项目根据您的选择，许可为 Apache-2.0 或 MIT 许可证。