用途
使用斷言可以創建更穩定，品質更好且易于除錯的代碼
當需要在一個值為FALSE時中斷當前操作的話，可以使用斷言
單元測試必須使用斷言（Junit/JunitX）
除了類型檢查和單元測試外，斷言還提供了一種確定各種特性是否在程序中得到維護的極好的方法
使用斷言使我們向按契約式設計 更近了一步
使用方式
- assert Expression1
- assert Expression1:Expression2
其中Expression1應該總是一個布爾值，Expression2是斷言失敗時輸出的失敗消息的字符串。如果Expression1為假，則拋出一個 AssertionError，這是一個錯誤，而不是一個異常，也就是說是一個不可控制異常（unchecked Exception),AssertionError由于是錯誤，所以可以不捕獲，但不推薦這樣做，因為那樣會使你的系統進入不穩定狀態。
何時需要使用斷言
- 可以在預計正常情況下程序不會到達的地方放置斷言 ：assert false
- 斷言可以用于檢查傳遞給私有方法的參數。（對于公有方法，因為是提供給外部的接口，所以必須在方法中有相應的參數檢驗才能保證代碼的健壯性）
- 使用斷言測試方法執行的前置條件和后置條件
- 使用斷言檢查類的不變狀態，確保任何情況下，某個變量的狀態必須滿足。（如age屬性應大于0小于某個合適值）
