4 分•作者: habedi0•9 个月前
大家好,
我创建了一个开源库,用于在 Zig 编程语言中使用契约式设计 (DbC) 原则。
它名为 Zig-DbC,目前提供以下功能:
- 一个简单的 API,用于定义前置条件、后置条件和不变量。
- 契约在 `Debug`、`ReleaseSafe` 和 `ReleaseSmall` 模式下生效,以便尽早发现错误。
- 在 `ReleaseFast` 模式下,所有检查都在编译时移除,零性能开销。
- 一个可选模式,用于处理返回错误的函数中的部分状态更改。
- 透明的错误处理,将代码中的错误传播给调用者。
项目 GitHub 仓库:<a href="https://github.com/habedi/zig-dbc" rel="nofollow">https://github.com/habedi/zig-dbc</a>