计算机编程中,后置条件指在执行一段代码后必须成立的条件或谓词

例如,阶乘的结果应该是大于等于1的整数。

在面向对象编程中

编辑

面向对象编程中后置条件是契约式设计的一个重要组成部分。契约式设计还包括先决条件不变条件的概念。

被调用的子程序后置条件来反馈给调用者。[1]

后置条件与继承

编辑

在继承的关系中,继承了子程序的子类必须满足锲约。子类中重新定义的子程序可以加强后置条件,但不能削弱。[2]

参见

编辑

参考资料

编辑
  1. ^ Meyer, Bertrand, Object-Oriented Software Construction, second edition, Prentice Hall, 1997, p. 342.
  2. ^ Meyer, 1997, pp. 570–573.