c++ - C++ 库,以方便使用"按合同设计"原理

  显示原文与译文双语对照的内容
107 0

在 C++ 应用中,是否有帮助实现契约式原则设计的库?

特别是,我正在寻找一个设备使用原则的库,比如这个,。

时间:原作者:0个回答

58 2

我遵循以下文章的指导:

  • 异常或者 Bug) ( Miro Samek,C/C++ 用户日记,2003 )
  • 在 ( Pedro Guerreiro,工具,2001 ) 中,按合同设计简单的设计支持

我最终应用的是samek的方法。只为需要。确保。检查和不变( 基于现有的assert 宏) 创建宏非常有用。当然,它不如本地语言支持好,但是,它允许你从技术中获得大部分实用价值。

对于库,我不认为使用一个,因为这个断言机制的一个重要值是它的简单性。

有关调试代码和生产代码之间的差异,请参见什么时候应当将断言保留在生产代码中

原作者:
...