Assert斷言

關鍵詞:

>> 一定
>> 常數

內部不變量（Internal invarant）的判斷

>> 某個狀況發生時，您判斷某個變數必然要是某個值
>> 例如:必須傳入參數的檢查

控制流程不變量（Control flow invariant）的判斷

>> switch判斷常數
>> 走到default代表出現非預期的錯誤了

總結就是，斷言是判定程式中的某個執行點必然是某個狀態

https://openhome.cc/Gossip/JavaGossip-V1/Assertion.htm