断言与异常

健壮性：系统在不正常输入或不正常外部环境下仍能够表现正常的程度

正确性：程序能否完全按照规约中的条款实现

正确性倾向于直接报错，而健壮性倾向于容错。异常是为了提前写出程序可能出现的错误，在运行前给出解决方法。而断言则是在开发阶段检验某些”假设“是否成立，若不成立则程序不会继续执行。

由此可见，断言更倾向于保证程序的正确性，而异常更倾向于保证程序的健壮性。我们可以使用异常来处理”预料到可能发生“的事情，用断言来处理”绝不应该发生“的事情

抛出异常包括try-catch-finally三部分。try中代码抛出异常，并被catch捕获后，try中抛出异常代码之后的代码不会再执行，执行捕获异常的catch中的代码；如果try中没有抛出异常，所有catch被跳过；如果try抛出异常，单数没有catch能捕获，则方法结束。Finally部分的代码是否捕获异常都会被执行。其中抛出的异常都是checked的，unchecked的异常意味着程序中存在bug，不用特别声明。

另外需要注意的是，子类型方法可以抛出更具体的异常，也可以不抛出任何异常；如果父类型的方法未抛出异常，那么子类型的方法也不能抛出异常。如果父类型中的方法没有抛出异常，那么子类型中的方法必须捕获所有的checked exception。子类型方法中不能抛出比父类型更多的异常