契约式设计 (Design By Contract, DbC) 是一种软件开发方法,它强调在软件开发中对于每个模块或者函数,应该明确定义其输入和输出的约定(契约)。这些契约可以包括前置条件(preconditions)和后置条件(postconditions),以及可能发生的异常情况。在代码实现时,必须满足这些约定,否则就会引发错误或者异常。这样说可能比较抽象,可以通过以下的示例代码来理解,如何使用断言来实现契约式设计:
欢迎光临 ToB企服应用市场:ToB评测及商务社交产业平台 (https://dis.qidao123.com/) | Powered by Discuz! X3.4 |