#### [后置條件](https://lingcoder.gitee.io/onjava8/#/book/16-Validating-Your-Code?id=%e5%90%8e%e7%bd%ae%e6%9d%a1%e4%bb%b6) 后置條件測試你在方法中所做的操作的結果。這段代碼放在方法調用的末尾，在**return**語句之前(如果有的話)。對于長時間、復雜的方法，在返回計算結果之前需要對計算結果進行驗證（也就是說，在某些情況下，由于某種原因，你不能總是相信結果)，后置條件很重要，但是任何時候你可以描述方法結果上的約束時，最好將這些約束在代碼中表示為后置條件。