08第八讲 断言和异常

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