08第八讲 断言及异常.ppt

第八讲 断言和异常 第八讲：异常和断言 学习目标： 定义异常 使用try、catch和finally语句 描述异常分类 识别普通异常 编写程序自己处理异常 使用断定 区分适当和不适当的断定的使用 运行时屏蔽断定 第八讲：异常和断言 异常和断定： 异常用于处理非预期情况： 文件没有找到，网络错误，非法参数等 断定用于证明和测试程序的假设 如：“这的值永远不会为负数” 断定测试可以在运行时从代码中完全删除，所以代码的运行速度不受影响 第八讲：异常和断言 异常： 必须处理的异常 非必须处理的异常RuntimeException 第八讲：异常和断言 异常： 第八讲：异常和断言 try和catch语句： try{ // … }catch(MyException mye){ // … }catch(Exception e){ // … } *catch是有顺序的，先子类后父类 *try不是必须要和catch配对，也可以和finally配对 第八讲：异常和断言 堆栈调用机制 如果一个异常在当前try-catch块中没有处理，那么它将抛向此方法的调用者 如果一个异常回到main方法，而且也没有处理，那么程序将非法终止。 第八讲：异常和断言 finally语句： *只有System.exit()方法可以阻止finally块的执行，return 语句在返回前，也要执行finally块 第八讲：异常和断言 第八讲：异常和断言 异常分类： 第八讲：异常和断言 普通异常： ArithmeticeException NullPointException NegativeArrayException ArrayIndexOutOfBoundsException 第八讲：异常和断言 异常处理或声明规则： 使用try-catch-finally语句块处理异常 可以使用throws子句在代码产生异常的地方抛出异常 throw在方法体中抛出异常 一个方法可以声明抛出多个异常 不是必须要处理或声明运行时异常或错误 第八讲：异常和断言 方法覆盖和异常： 可以抛出父类所抛出异常的子类异常 第八讲：异常和断言 创建您自己的异常： 继承Exception类 第八讲：异常和断言 断定： assert boolean_expression; Assert boolean_exp:detail_exp; 如果boolean_exp的值为false,将抛出AssertionError错误 第二个参数被转换成为字串并用来作为AssertionError的描述文本 使用javac –source 1.4 MyClass.java形式编译 第八讲：异常和断言 断定的推荐使用方法: 断定的文档和验证以及方法中的内部逻辑 1.内在不变式 2.控制流程不变式 3.后置条件和类不变式 不推荐用于公有方法的前置条件的检查 第八讲：异常和断言 控制运行时断定的求值： 如果屏蔽断定检查，代码执行速度不受影响 断定的检查缺省为允许，可以这样屏蔽： java –disableassertions 或java -da 断定的检查可以在类，包和包的层次中控制 * * public class HelloWorld{ public static void main(String[] args){ int i = 0; String greetings[] = { “Hello world!”, ”NO,I mean it!”, ”H” }; while (i 4) { System.out.println(greetings[I]); i ++; } } } try { startFaucet(); waterLawn(); } catch(BrokerPipeException e) { logProblem(e); } finally { stopFaucet(); } public class HelloWorld{ public static void main(String[] args){ int I=0; String greetings[] = { “Hello world!”,”NO,I mean it!”,”H” }; while(I4){ try { System.out.println