text: 在計算機程式設計中，後置條件指在執行一段程式碼後必須成立的條件或謂詞。例如，階乘的結果應該是大於等於1的整數。在面向物件程式設計中.面向物件程式設計中後置條件是契約式設計的一個重要組成部分。契約式設計還包括先決條件 和不變條件的概念。被呼叫的子程式以後置條件來反饋給呼叫者。後置條件與繼承.在繼承的關係中，繼承了子程式的子類必須滿足鍥約。子類中重新定義的子程式可以加強後置條件，但不能削弱。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 後置條件
metadata: https://zh.wikipedia.org/wiki?curid=6877213