后置条件
来自维基百科，自由的百科全书
在计算机编程中，后置条件指在执行一段代码后必须成立的条件或谓词。
例如，阶乘的结果应该是大于等于1的整数。
在面向对象编程中
在继承的关系中，继承了子程序的子类必须满足锲约。子类中重新定义的子程序可以加强后置条件，但不能削弱。[2]
参见
参考资料
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
来自维基百科，自由的百科全书
在计算机编程中，后置条件指在执行一段代码后必须成立的条件或谓词。
例如，阶乘的结果应该是大于等于1的整数。
在继承的关系中，继承了子程序的子类必须满足锲约。子类中重新定义的子程序可以加强后置条件，但不能削弱。[2]
Seamless Wikipedia browsing. On steroids.