代碼協定

一，代碼協定     代碼協定通常稱作契約式編程，包括如下三個部分： 前置條件（precondiction）：爲了調用函數，必須爲真的條件，在其違反時，函數決不調用，傳遞好數據是調用者的責任。 後置條件（postcondion）：函數保證能做到的事情，函數完成時的狀態，函數有這一事實表示它會結束，不會無休止的循環 類不變項（class invariant）：從調用者的角度來看，該條件總是爲真，在函

>>阅读原文<<