ADT的设计:断言、异常与防御式编程
防御式编程是设计ADT的一种手段,主要通过异常与断言来实现。断言断言用于在运行时检查代码正确性,如下面的代码public class AssertionTest { public static void main(String[] args) { int number = -5; // assumed number is not negative ...