6.3 断言与防御式编程

1 复习：设计ADT 第一道防线：使bug不可能 ▪ 对付bug的最好办法是通过设计使它们不可能。 –静态检查：通过在编译时捕获错误来消除许多错误。 –动态检查：Java通过动态捕获数组溢出错误，使其不可能发生。如果试图使用数组或列表边界之外的索引，Java会自动生成错误。 –未选中的异常/运行时错误-不可变：不可变类型是一种值一旦创建就永远无法更改的类型。 –不可变值：按final，可分配一次，

>>阅读原文<<