Deal - DbC、检查Python 值、异常和副作用

---

---

一、关于 Deal

Deal 是用于 design by contract (DbC) 和 检查值、异常和副作用的Python库。简而言之，交易使您能够编写bug的代码。

通过在代码中添加一些装饰器，您可以获得免费测试、静态分析、形式验证等等。阅读介绍开始。

• github : https://github.com/life4/deal
• 官方文档：https://deal.readthedocs.io/

---

---

特点

• 经典DbC：前置、后置、不变。
• 跟踪异常和副作用。
• 基于属性的测试。
• 静态检查器。
• 与pytest、flake8、sphinx和假设集成。
• 类型注释支持。
• 外部验证器支持。
• 导入模块的合同。
• 可以在生产中启用或禁用。
• 无色：只注释你想要的。因此，很容易集成到现有项目中。
• 多彩：每个命令中每段代码的语法高亮。
• 内存泄漏检测：deal确保纯函数不会在内存中留下意外对象。
• DRY：测试发现、错误消息生成。
• 部分执行：linter执行合约以静态检查可能的值。
• 形式验证：证明您的代码适用于所有输入（或找出何时不适用）。
• 零依赖运行时：分析工具有一些依赖关系，但生产中不需要任何依赖关系。
• 快速：每个代码更改都经过基准测试和分析。
• 可靠：该库具有100%的测试覆盖率，部分验证，并自2018年以来由多家公司在生产中运行。

---

二、安装

python3 -m pip install --user 'deal[all]'

---

三、30秒内使用 Deal

# the result is always non-negative
@deal.post(lambda result: result >= 0)
# the function has no side-effects
@deal.pure
def count(items: List[str], item: str) -> int:
    return items.count(item)

# generate test function
test_count = deal.cases(count)

---

现在我们可以：

• 运行python3 -m deal lint或flake8以静态检查错误。
• 运行python3 -m deal test或pytest生成并运行测试。
• 只需在项目中使用该函数并在运行时检查错误。

的文档。

---

四、其它

贡献

欢迎投稿！您可以贡献的一些想法：

• 为linter添加新的检查。
• 改善文档。
• 添加更多测试。
• 提高性能。
• 找到bug？修好它！
• 写了一篇关于交易的文章？太好了。让我们把它添加到README.md中。
• 没有时间编码？别担心！只需告诉您的朋友和订阅者该项目。更多用户->更多贡献者->更多酷功能。

---

要在本地运行测试，您只需要任务。运行task all来运行所有代码格式化程序、linter和测试。

谢谢你❤️

---

2025-03-19(三)