后置条件

十月 31, 2023

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

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

在面向对象编程中编辑

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

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

后置条件与继承编辑

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

参见编辑

参考资料编辑

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

十月 31, 2023

后置条件, 在计算机编程中, 指在执行一段代码后必须成立的条件或谓词, 例如, 阶乘的结果应该是大于等于1的整数, 目录, 在面向对象编程中, 与继承, 参见, 参考资料在面向对象编程中, 编辑面向对象编程中是契约式设计的一个重要组成部分, 契约式设计还包括先决条件, 和不变条件的概念, 被调用的子程序以来反馈给调用者, 与继承, 编辑, 在继承的关系中, 继承了子程序的子类必须满足锲约, 子类中重新定义的子程序可以加强, 但不能削弱, 参见, 编辑契约式设计, 卫语句, 先决条件, 霍尔逻辑, 不变条件参考资料,. 在计算机编程中后置条件指在执行一段代码后必须成立的条件或谓词例如阶乘的结果应该是大于等于1的整数目录 1 在面向对象编程中 1 1 后置条件与继承 2 参见 3 参考资料在面向对象编程中编辑面向对象编程中后置条件是契约式设计的一个重要组成部分契约式设计还包括先决条件和不变条件的概念被调用的子程序以后置条件来反馈给调用者 1 后置条件与继承编辑在继承的关系中继承了子程序的子类必须满足锲约子类中重新定义的子程序可以加强后置条件但不能削弱 2 参见编辑契约式设计卫语句先决条件霍尔逻辑不变条件参考资料编辑 Meyer Bertrand Object Oriented Software Construction second edition Prentice Hall 1997 p 342 Meyer 1997 pp 570 573 取自 https zh wikipedia org w index php title 后置条件 amp oldid 59698892, 维基百科，wiki，书籍，书籍，图书馆，

文章

，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。