#### [不變性](https://lingcoder.gitee.io/onjava8/#/book/16-Validating-Your-Code?id=%e4%b8%8d%e5%8f%98%e6%80%a7) 不變性保證了必須在方法調用之間維護的對象的狀態。但是，它并不會阻止方法在執行過程中暫時偏離這些保證，它只是在說對象的狀態信息應該總是遵守狀態規則： **1**. 在進入該方法時。 **2**. 在離開方法之前。 此外，不變性是構造后對于對象狀態的保證。 根據這個描述，一個有效的不變性被定義為一個方法，可能被命名為**invariant()**，它在構造之后以及每個方法的開始和結束時調用。方法以如下方式調用： assert invariant(); 這樣，如果出于性能原因禁用斷言，就不會產生開銷。