Java异常机制

1. JAVA异常层次结构

 异常指不期而至的各种状况，如：文件找不到、网络连接失败、非法参数等。异常是一个事件，它发生在程序运行期间，干扰了正常的指令流程。Java通 过API中Throwable类的众多子类描述各种不同的异常。因而，Java异常都是对象，是Throwable子类的实例，描述了出现在一段编码中的 错误条件。当条件生成时，错误将引发异常。

    

 Java异常类层次结构图：

    

        图1 Java异常类层次结构图

  在 Java 中，所有的异常都有一个共同的祖先 Throwable（可抛出）。Throwable 指定代码中可用异常传播机制通过 Java 应用程序传输的任何问题的共性。

Throwable： 

 有两个重要的子类：Exception（异常）和 Error（错误），各自都包含大量子类。

Error（错误）:

 是程序无法处理的错误，表示运行应用程序中较严重问题。大多数错误与代码编写者执行的操作无关，而表示代码运行时 JVM（Java 虚拟机）出现的问题。例如，Java虚拟机运行错误（Virtual MachineError），内存不足（ OutOfMemoryError）。这些异常发生时，Java虚拟机（JVM）一般会选择线程终止。

 这些错误表示故障发生于虚拟机自身、或者发生在虚拟机试图执行应用时，是不可查的，因为它们在应用程序的控制和处理能力之外，而且绝大多数是程序运行时不允许出现的状况。本质上也不应该由程序员去处理Error。

Exception（异常）:是程序员可以处理的异常。

 Exception 分两大类：运行时异常RuntimeException和非运行时异常(编译异常)。程序中应当尽可能去处理这些异常。

 运行时异常：都是RuntimeException类及其子类异常，如NullPointerException(空指针异常)、IndexOutOfBoundsException(下标越界异常)、除数为零（ArithmeticException）等，程序中可以选择捕获处理，也可以不处理。这些异常一般是由程序逻辑错误引起的，程序员应该从逻辑角度尽可能修正程序中的bug。

 运行时异常的特点是Java编译器不会检查它，也就是说，当程序中可能出现这类异常，即使没有用try-catch语句捕获它，也没有用throws子句声明抛出它，也会编译通过。

 非运行时异常 （编译异常）：是RuntimeException以外的异常，类型上都属于Exception类及其子类，如IOException、SQLException等以及用户自定义的Exception异常。从程序语法角度讲是必须进行处理的异常，不处理就不能编译通过。一般情况下不自定义检查异常。

 通常，Java的Throwable分为可查的异常（checked exceptions）和不可查的异常（unchecked exceptions）。

1. 可查异常（编译器要求必须处置的异常）：正确的程序在运行中，很容易出现的、情理可容的异常状况。这种异常的特点是Java编译器会检查它，也就是说，如果程序中可能出现这类异常，要么用try-catch语句捕获它，要么用throws子句声明抛出它，否则编译不会通过。除了RuntimeException及其子类以外，其他的Exception类及其子类都属于可查异常。
2. 不可查异常(编译器不要求强制处置的异常)：包括运行时异常（RuntimeException与其子类）和错误（Error）。

2.处理异常机制

 在 Java 应用程序中，异常处理机制为：抛出异常，捕捉异常。

 抛出异常：当一个方法出现错误引发异常时，方法创建异常对象并交付运行时系统，异常对象中包含了异常类型和异常出现时的程序状态等异常信息，然后运行时系统负责寻找处置异常的代码并执行。

 捕获异常：在方法抛出异常之后，运行时系统将转为寻找合适的异常处理器（exception handler）。潜在的异常处理器是异常发生时存留在调用栈中的方法的集合。当异常处理器所能处理的异常类型与方法抛出的异常类型相符时，即为合适 的异常处理器。运行时系统从发生异常的方法开始，依次回查调用栈中的方法，直至找到含有合适异常处理器的方法并执行。当运行时系统遍历调用栈而未找到合适 的异常处理器，则运行时系统终止。同时意味着Java程序的终止。

 对于运行时异常、错误或可查异常，Java技术所要求的异常处理方式有所不同。

 由于运行时异常的不可查性，Java规定，运行时异常将由Java运行时系统自动抛出，允许应用程序忽略运行时异常。

 对于方法运行中可能出现的Error，当运行方法不欲捕捉时，Java允许该方法不做任何抛出声明。因为，大多数Error异常属于永远不能被允许发生的状况，也属于合理的应用程序不该捕捉的异常。

 对于所有的可查异常，Java规定：一个方法要么捕捉，要么声明抛出方法之外。能够捕捉异常的方法，需要提供相符类型的异常处理器。所捕捉的异常，可能是由于自身语句所引发并抛出的异常，也可能是由某个调用的方法或者Java运行时 系统等抛出的异常。异常总是先被抛出，后被捕捉的。

 任何Java代码都可以抛出异常，如：自己编写的代码、来自Java开发环境包中代码，或者Java运行时系统。无论是谁，都可以通过Java的throw语句抛出异常。

从方法中抛出的任何异常必须使用throws子句来声明。

 总之：对于可查异常必须捕捉、或者声明抛出。允许忽略不可查的RuntimeException和Error。

 捕获异常的代码：

 通过try-catch语句或者try-catch-finally语句或者try-finally。如：

//第一种形式
try{
 //可能抛出异常的代码
}catch(Exception e){//Exception替换为具体类型
 //处理异常的代码
}

//第二种形式
try{
 //可能抛出异常的代码
}catch(Exception e){//Exception替换为具体类型
 //处理异常的代码
}finally{
 //代码正常结束或抛出异常后执行的结束代码
}

//第三种形式
try{
 //可能抛出异常的代码
}finally{
 //代码正常结束或抛出异常后执行的结束代码
}

可以使用带资源的try语句在try结束后自动关闭实现了AutoCloseable接口的资源, 这种形式可以更简洁地处理在finally中关闭资源时抛出异常的情况

try(Scanner in = ... ,
  	PrintWriter writer out = ...){
     }

需要注意以下几点：

  1.当try中产生了异常，余下的语句（即使包含return语句）都不会执行，转到相应的catch语句和finally执行
 2.catch子句可以有多个，以捕捉不同类型的异常；如果两个catch子句中捕捉的异常具有继承关系，则应该把捕捉子类的catch写在另一个catch的前面
 3.try子句和catch子句可以有return语句，分别在程序正常结束后和捕获并处理异常后返回一个值；eclipse不建议在finally子句中写return语句，因为这样会导致try和catch中的return无效
 4.finally子句无论程序正常结束还是发生异常都会执行
 5.可以有多个try-catch-finally段，即执行了finally语句后并不意味方法的结束
 6.当两个或多个异常的处理相同时，可以在catch中使用|将异常类型连接起来，如： FileNotFoundException | RuntimeException
  7.catch子句和finally子句中也可能产生异常

参考整理自：https://www.cnblogs.com/wrencai/p/5648442.html