後置條件- 維基百科,自由的百科全書 - Wikipedia
文章推薦指數: 80 %
後置條件與繼承[編輯]. 在繼承的關係中,繼承了子程序的子類必須滿足鍥約。
子類中重新定義的子程序可以加強後置條件,但不能削弱。
在計算機編程中,後置條件指在執行一段代碼後必須成立的條件或謂詞。
例如,階乘的結果應該是大於等於1的整數。
物件導向編程中後置條件是契約式設計的一個重要組成部分。
契約式設計還包括先決條件 和不變條件的概念。
被調用的子程序以後置條件來反饋給調用者。
[1]
在繼承的關係中,繼承了子程序的子類必須滿足鍥約。
延伸文章資訊
- 12020精選後置熱賣好評排行榜- 松果購物
正在找後置嗎?推薦超優惠的後置給你,買後評價公開透明不踩雷,快速出貨享七天鑑賞期退貨無負擔!買後置就上松果購物!
- 2后置的意思- 漢語詞典 - 漢語網
后置詞語解釋. 簡體拼音:[hòu zhì]. 拼音:[hòu zhì]. 反義詞:. 近義詞:. 基本釋義:. 詳細釋義:. 百科解釋:. hòu zhì [postposition]一語法成...
- 3後置條件- 維基百科,自由的百科全書 - Wikipedia
後置條件與繼承[編輯]. 在繼承的關係中,繼承了子程序的子類必須滿足鍥約。子類中重新定義的子程序可以加強後置條件,但不能削弱。
- 4后置的解释|后置的意思|汉典“后置”词语的解释
后置 网络解释. 百度百科. 后置. hòu zhì; [postposition]一语法成分的后放; [postpose] ...
- 5后置_百度百科
后置. 编辑 锁定 讨论. 中文名: 后置; 拼 音: hòu zhì. 释 义: 语法成分的后放; 注 音: ㄏㄡˋ ㄓˋ. hòu zhì. [postposition]一语法成分的后放. ...