异常及其处理知识点

一.异常处理概述

1. 程序正常执行顺序：逐语句顺序执行.

2. 语句的正常完成和突然完成。

3. 异常出现.

1执行过程中出现错误时，系统会自动创建一个对象(称作异常对象，包含出错信息)并且抛出这个对象，

2. 程序执行期间遇到无法继续执行的情况，程序员可以创建一个异常对象，然后使用throw语句抛出这个异常对象。

4. 异常处理过程.

1）终止程序的正常执行顺序，转去查找处理该异常的代码.

查找策略：首先在当前函数查找，没有找到则本方法结束，到调用该方法的方法中继续查找，如果一直查找到main方法也没有找到处理该异常的代码，打印堆栈踪迹后程序结束。

2）.处理异常.如果在调用链的某个方法中找到处理这个异常的代码，则恢复程序正常执行状态，执行这段代码以及之后的代码。

二.与异常有关的语句

1.throw expression语句；

2.try-catch-finally语句

三.Throwable类及其子类

Throwable

Error

Exception

RuntimeException

检查型异常= Exception及其子类- RuntimeException及其子类

Throwable类的构造函数和方法

构造函数

Throwable()

Throwable(String message)

方法

String getMessage()

String getLocalizedMessage()

void printStackTrace()

Throwable fillInStackTrace()

四. throws子句---方法定义的完整语法。

1.语法.

方法修饰符结果类型方法名（形参表）throws子句方法体

throws子句的语法是

throws 异常类型名1,……, 异常类型名n

其中throws是java保留字，诸异常类型名是检查型异常的名字。

2. 对方法体的限制.

方法体中抛出的任何检查型异常，无论是由throw语句抛出的还是由于调用其它方法而发生的检查型异常，其类型都必须是throws子句中列出的某个类型或其子类型。否则编译期间出错。

因此，编译器能够保证：通过编译的程序中的所有检查型异常都得到了处理。

3.对方法重写的限制.

子类重写方法f，那么子类的f不能抛出比基类f更多的检查型异常。但是允许重写的f抛出较少的检查型异常，甚至不抛出任何检查型异常。

重写子类方法时，如果允许子类方法抛出比基类方法更多的异常，那么将破坏“通过编译的程序中的所有检查型异常都得到了处理”这一事实。

异常及其处理.

一.异常处理概述

在运行过程中，应用程序可能遇到各种错误。例如，从一个已经关闭的流读数据；访问数组时数组下标越界；使用空引用调用方法等。

许多程序员不检查可能的错误，理由是如果每执行一个语句都检查是否出错，将使程序的结构混乱，难以理解。

为了解决程序的正确性和程序结构的清晰性之间的矛盾，程序设计语言引入了异常及异常处理机制。下面是java语言的异常处理机制的粗略过程:

1.程序运行时出错，抛出异常对象.当程序执行过程中出现错误(例如0做除数，数组下标越界等)时，系统会自动创建一个对象(称作异常对象，包含出错信息)并且抛出这个对象，或者在程序执行期间遇到无法继续执行的情况(例如打开文件失败，连接数据库失败等)，程序员可以创建一个异常对象，然后使用throw语句抛出这个异常对象。

2.终止程序的正常执行顺序，转去查找处理该异常的代码.只要有异常对象E被抛出(无论是由系统抛出的还是由throw语句抛出的)，程序就立即停止正常的执行顺序，转去查找处理异常对象E的代码。查找策略是首先在当前方法中查找，没有找到则本方法结束，到调用该方法的方法中继续查找，如果一直查找到main方法也没有找到处理该异常的代码，打印堆栈踪迹后程序结束。

3.处理异常.如果在调用链的某个方法中找到处理这个异常的代码，则执行这段代码以及之后的代码。

与异常处理有关的语句是throw语句，try-catch-finally语句和Throwable类及其子类。

二. 与异常处理有关的语句

1. throw语句

语法：throw expression；

这里throw是保留字，expression是一个表达式，它的值一定是某个Throwable类对象的引用。throw语句的功能是：计算表达式得到一个Throwable对象的引用e，抛出e使得系统进入异常处理状态，查找处理该类异常的catch子句。如果找到这样的catch子句，系统恢复到正常执行程序的状态，开始处理异常；如果一直找不到处理该类异常的catch子句，线程终止。

例.看下面代码段

//创建Throwable对象，系统并不进入异常处理状态

Throwable e=new Throwable();

……//其它代码，系统正常执行这些代码

if (B) throw e; //抛出异常，系统进入异常处理状态，查找处理e的代码。

else

……//系统仍旧处于正常执行程序的状态，执行这些代码。

2. try-catch-finally语句

语法1：

try

｛statements｝//{…}称作try块

catch(Exception类型1 e1)｛statements_1｝//{…}称作catch块

……

catch(Exception类型n en)｛statements_n｝//{…}称作catch块

语法2：

try

｛statements｝//{…}称作try块

catch(Exception类型1 e1)｛statements_1｝//{…}称作catch块

……

catch(Exception类型n en)｛statements_n｝//{…}称作catch块

finally ｛statements｝//{…}称作finally块

这里try，catch，finally都是java语言的保留字。e1,e2,…,en是标识符。要特别注意，诸catch子句的异常类型应该子类型在前，父类型在后，否则编译出错。因为父类型的catch 会拦截子类型的异常对象，使子类型的catch永远也不会起作用，成为不可抵达的代码。

try-catch语句的语义