java异常处理机制

一道笔试题，代码如下，问返回值是什么。

int ret = 0;
try{
throw new Exception();
}
catch(Exception e){
ret = 1;
return ret;
}
finally{
ret = 2;
}

主要的考点就是catch中的return在finally之后执行 但是会将return的值放到一个地方存起来，所以finally中的ret=2会执行，但返回值是1。

面试经常问的是：

**try 块：**用于捕获异常。其后可接零个或多个catch块，如果没有catch块，则必须跟一个finally块。
**catch 块：**用于处理try捕获到的异常。
**finally ：**无论是否捕获或处理异常，finally块里的语句都会被执行。
注意（很重要，面试常问）：当在try块或catch块中遇到return语句时，finally语句块将在方法返回之前被执行。
在以下4种特殊情况下，finally块不会被执行：
1）在finally语句块中抛出了异常且未处理。
2）在前面的代码中用了System.exit()退出程序。
3）程序所在的线程死亡。
4）CPU出现异常被关闭。

关于异常机制，首先我们需要知道java异常的类层次结构图：

复习一下：

JVM 虚拟机错误有两种：

OutOfMemoryError（除程序计数器外的虚拟机栈、堆、方法区在请求的内存无法被满足时）和StackOverFlowError（线程请求的栈深度超出虚拟机允许的深度）。出现了虚拟机错误和AWT错误的时候，虚拟机就会终止其线程。

详细解释一下异常类：

1、Throwable（可抛出）：异常类的最终父类，它有两个子类，Error与Exception。

Throwable中常用方法有：
getCause()：返回抛出异常的原因。如果 cause 不存在或未知，则返回 null。
getMeage()：返回异常的消息信息。
printStackTrace()：对象的堆栈跟踪输出至错误输出流，作为字段 System.err 的值。

2.Error（错误）

表示程序无法处理的错误，一般与程序员的执行操作无关。理论上这些错误是不允许发生的，如果发生，也不应该试图通过程序去处理，所以Error不是try-catch的处理对象，而JVM一般的处理方式是终止发生错误的线程。Error类常见子类有VirtualMachineError与AWTError。

3.Exception

Exception（异常）：出现原因取决于程序，所以程序也理应通过try-catch处理。
异常分为两类：可查异常与不可查异常。

**可查异常：**编译器要求必须处理，否则不能通过编译，使用try-catch捕获或者throws抛出。常见的可查异常有IOException（IO错误）及其子类EOFExcption(文件已结束异常)、FileNotFound（文件未找到异常）。

不可查异常（也叫运行时异常）：编译期不会检查，所以在程序中可不处理，但如果发生，会在运行时抛出。所以这类异常要尽量避免！常见的不可查异常都是RuntimeException类及其子类。

其他小异常（可略过）

1’ NullPointerException：空指针异常。调用了不存在的对象或未经实例化或初始化的对象时会抛出，如当试图操作一个空对象（赋值为null）的属性、方法时就会抛出。

（实例化：通俗的理解就是为对象开辟空间，使其可在规定范围内被调用。注意：User u;这只是一个对象声明，并没有进行实例化或初始化。
初始化：就是把实例化后的对象中的基本数据类型字段赋默认值或设定值，为非基本类型赋值null，对于static字段只会初始化一次。）

2’ ArithmeticException：算术条件异常。最常见的就是0作除数时会抛出。

3’ ClassNotFoundException：类未找到异常。在通过反射Class.forName(“类名”)来获取类时，如果未找到则会抛出异常。

4’ ArrayIndexOutOfBoundsException：数组索引越界异常。当试图操作数组的索引值为负数或大于等于数组大小时会抛出。

5’ NegativeArraySizeException：数组长度为负值异常。一般在初始化数组大小为负值时抛出。

6’ ArrayStoreException：数组类型不匹配值异常。例如将一个Object数组中加入一个Integer对象与一个String对象时，类型不匹配就会抛出。

7’ IllegalArgumentException：非法参数异常。会在使用Java类库方法时传入参数值越界时抛出

那么异常的处理机制原则是：

必须声明抛出异常和捕获可查异常，可以选择忽略Error和不可查异常（运行时异常）。
其中， //throw是针对对象抛出的异常，throws是针对方法抛出的异常

详解抛出异常和捕获异常（可略）：

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

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

try-catch-finally的执行顺序

1’当没有异常捕获时，会跳过catch，直接执行finally块。
2’ 当抛出运行时异常且没有定义相应的异常处理方法，就会由JVM抛出异常。
3.有多个catch时，只要找到其中对应的catch执行，其他catch不会执行。并且出现异常之后的代码也不会执行。

Throws抛出异常的规则：

1. 如果是不可查异常（unchecked exception），即Error、RuntimeException或它们的子类，那么可以不使用throws关键字来声明要抛出的异常，编译仍能顺利通过，但在运行时会被系统抛出。

2）必须声明方法可抛出的任何可查异常（checked exception）。即如果一个方法可能出现受可查异常，要么用try-catch语句捕获，要么用throws子句声明将它抛出，否则会导致编译错误

3)仅当抛出了异常，该方法的调用者才必须处理或者重新抛出该异常。当方法的调用者无力处理该异常的时候，应该继续抛出，而不是囫囵吞枣。

4）调用方法必须遵循任何可查异常的处理和声明规则。若覆盖一个方法，则不能声明与覆盖方法不同的异常。声明的任何异常必须是被覆盖方法所声明异常的同类或子类。

然后我们来看一个代码：

package Test;
 
public class TestException {
	public TestException() {
	}
 
	boolean testEx() throws Exception {
		boolean ret = true;
		try {
			ret = testEx1();
		} catch (Exception e) {
			System.out.println("testEx, catch exception");
			ret = false;
			throw e;
		} finally {
			System.out.println("testEx, finally; return value=" + ret);
			return ret;
		}
	}
 
	boolean testEx1() throws Exception {
		boolean ret = true;
		try {
			ret = testEx2();
			if (!ret) {
				return false;
			}
			System.out.println("testEx1, at the end of try");
			return ret;
		} catch (Exception e) {
			System.out.println("testEx1, catch exception");
			ret = false;
			throw e;
		} finally {
			System.out.println("testEx1, finally; return value=" + ret);
			return ret;
		}
	}
 
	boolean testEx2() throws Exception {
		boolean ret = true;
		try {
			int b = 12;
			int c;
			for (int i = 2; i >= -2; i--) {
				c = b / i;
				System.out.println("i=" + i);
			}
			return true;
		} catch (Exception e) {
			System.out.println("testEx2, catch exception");
			ret = false;
			throw e;
		} finally {
			System.out.println("testEx2, finally; return value=" + ret);
			return ret;
		}
	}
 
	public static void main(String[] args) {
		TestException testException1 = new TestException();
		try {
			testException1.testEx();
		} catch (Exception e) {
			e.printStackTrace();
		}
	}
}

注意自己想一下最后输出的结果是啥。
公布答案：

i=2
i=1
testEx2, catch exception
testEx2, finally; return value=false
testEx1, finally; return value=false
testEx, finally; return value=false

要注意finally是一般情况下都会执行的。(特殊情况见上文）
另外，finally语句块不应该出现 应该出现return。上面的return ret最好是其他语句来处理相关逻辑。

.自定义异常

使用Java内置的异常类可以描述在编程时出现的大部分异常情况。除此之外，用户还可以自定义异常。用户自定义异常类，只需继承Exception类即可。
在程序中使用自定义异常类，大体可分为以下几个步骤。
（1）创建自定义异常类。
（2）在方法中通过throw关键字抛出异常对象。
（3）如果在当前抛出异常的方法中处理异常，可以使用try-catch语句捕获并处理；否则在方法的声明处通过throws关键字指明要抛出给方法调用者的异常，继续进行下一步操作。
（4）在出现异常方法的调用者中捕获并处理异常。