#### [后置条件](https://lingcoder.gitee.io/onjava8/#/book/16-Validating-Your-Code?id=%e5%90%8e%e7%bd%ae%e6%9d%a1%e4%bb%b6) 后置条件测试你在方法中所做的操作的结果。这段代码放在方法调用的末尾，在**return**语句之前(如果有的话)。对于长时间、复杂的方法，在返回计算结果之前需要对计算结果进行验证（也就是说，在某些情况下，由于某种原因，你不能总是相信结果)，后置条件很重要，但是任何时候你可以描述方法结果上的约束时，最好将这些约束在代码中表示为后置条件。