後置條件- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
後置條件與繼承[編輯]. 在繼承的關係中，繼承了子程序的子類必須滿足鍥約。
子類中重新定義的子程序可以加強後置條件，但不能削弱。
在計算機編程中，後置條件指在執行一段代碼後必須成立的條件或謂詞。
例如，階乘的結果應該是大於等於1的整數。
物件導向編程中後置條件是契約式設計的一個重要組成部分。
契約式設計還包括先決條件 和不變條件的概念。
被調用的子程序以後置條件來反饋給調用者。
[1]
在繼承的關係中，繼承了子程序的子類必須滿足鍥約。
延伸文章資訊
- 1後置期限策略- MBA智库百科
後置期限策略(Back—end Loaded Approach)後置期限策略是指銀行只持有長期證券，不持有短期證券。與前置期限策略相反。與前置期限策略相比，利率波動對該 ...
- 22020精選後置熱賣好評排行榜- 松果購物
正在找後置嗎？推薦超優惠的後置給你，買後評價公開透明不踩雷，快速出貨享七天鑑賞期退貨無負擔！買後置就上松果購物！
- 3后置_百度百科
后置. 编辑 锁定 讨论. 中文名: 后置; 拼 音: hòu zhì. 释 义: 语法成分的后放; 注 音: ㄏㄡˋ ㄓˋ. hòu zhì. [postposition]一语法成分的后放. ...
- 4后置的解释|后置的意思|汉典“后置”词语的解释
后置 网络解释. 百度百科. 后置. hòu zhì; [postposition]一语法成分的后放; [postpose] ...
- 5【Coway】INNO-SENSE後置複合式濾芯(P250N適用) - momo ...
INNO-SENSE 後置複合式濾芯(P250N奈米高效淨水器適用) 建議更換週期：6個月. 品牌名稱. Coway. 款式. 廚上式. 材質. 活性碳. 保固期. 耗材無保固. 規格. 濾除懸...
