c++ - 库方便使用 "design by contract"原理

Question

已结束。此问题不符合 Stack Overflow guidelines .它目前不接受答案。

---

我们不允许提出有关书籍、工具、软件库等方面的建议的问题。您可以编辑问题，以便用事实和引用来回答它。

关闭 6 年前。

Improve this question

是否有任何库可以帮助在 C++ 应用程序中实现按契约原则设计？

特别是，我正在寻找一个可以使用该原理的库，例如 this .

Answer 1

我遵循了以下文章的教义:

• An exception or a bug? (米罗Samek，C/C++ 用户杂志，2003 年)
• 对契约(Contract)设计的简单支持在 C++ 中(Pedro Guerreiro，TOOLS，2001)

我最终应用的几乎是 Samek 的方法。只需为 REQUIRE、ENSURE、CHECK 和 INVARIANT(基于现有的 assert 宏)创建宏就非常有用。当然它不如母语支持好，但无论如何，它可以让您从该技术中获得大部分实用值(value)。

至于库，我认为使用一个库并不值得，因为断言机制的一个重要值(value)是它的简单性。

有关调试代码和生产代码之间的区别，请参阅 When should assertions stay in production code? .