斷言不在乎你的代碼是否沒有錯誤。 它們在乎的是結果是否違反了協議不變性。 就是這麼簡單。