6.3 斷言與防禦式編程

1 複習：設計ADT 第一道防線：使bug不可能 ▪ 對付bug的最好辦法是通過設計使它們不可能。 –靜態檢查：通過在編譯時捕獲錯誤來消除許多錯誤。 –動態檢查：Java通過動態捕獲數組溢出錯誤，使其不可能發生。如果試圖使用數組或列表邊界之外的索引，Java會自動生成錯誤。 –未選中的異常/運行時錯誤-不可變：不可變類型是一種值一旦創建就永遠無法更改的類型。 –不可變值：按final，可分配一次，

>>阅读原文<<