有什麼區別前置條件，後置條件和不變在計算機術語

Question

我讀的書Java Concurrency in Practice並得到一個有點困惑了這些條件：

1. 前期狀態
2. 後置條件
3. 不變

有人可以解釋我他們（如果有可能的話，舉個例子）？

Answer 1

你有很多編寫Java，特別是多線程代碼，問題，如果你不明白這些簡單的想法：

1. 前提條件是事情的方法之前必須是真實的叫做。該方法告訴客戶「這是我期望的從你」。
2. 後期條件是方法完成後必須成立的事情。該方法告訴客戶「這是我承諾爲你做的」。
3. 不變量是永遠是真實的東西，不會改變。該方法告訴客戶「在你打電話給我之前這是否屬實，我保證在我完成時它仍然是真的」。

它們都是「合約編程」這個概念的一部分。它是由一個名叫C.A.R. Hoare的人發明的。 Bertrand Meyer在它周圍建立了一個名爲Eiffel的面嚮對象語言。沒有人使用它，但他因爲它而在陽光下度過了一天。

埃菲爾不是很受歡迎。在我寫這篇文章時，有超過400萬個問題，但其中只有32個被標記爲「埃菲爾」。

更新：2016年6月29日SO上有11,966,392個問題。其中只有92個被標記爲「埃菲爾」。埃菲爾問題的百分比大致保持在0.00077％左右。

我糾正 - 謝謝，flamingpenguin。我已經更新了我的答案。