Java异常

---

Java异常架构

受检异常与非受检异常

Java 的所有异常可以分为受检异常（checked exception）和非受检异常（unchecked exception）。
受检异常
编译器要求必须处理的异常。除 RuntimeException 及其子类外，其他的 Exception 异常都属于受检异常。
非受检异常
编译器不会进行检查并且不要求必须处理的异常，也就说当程序中出现此类异常时，即使我们没有try-catch捕获它，也没有使用throws抛出该异常，编译也会正常通过。该类异常包括运行时异常（RuntimeException极其子类）和错误（Error）

运行时异常和编译时异常

运行时异常：RuntimeException 类及其子类，表示 JVM 在运行期间可能出现的异常。可以编译通
过，但是⼀运⾏就停⽌了，程序不会⾃⼰处理。
编译时异常：Exception 中除 RuntimeException 及其子类之外的异常。要么⽤ try … catch… 捕获，要么⽤ throws 声明抛出，交给⽗类处理。

常见的 RuntimeException 有哪些？

ClassCastException(类转换异常)
IndexOutOfBoundsException(数组越界)
NullPointerException(空指针)
ArrayStoreException(数据存储异常，操作数组时类型不一致)
还有IO操作的BufferOverflowException异常

Java常见异常有哪些

java.lang.IllegalAccessError：违法访问错误。当一个应用试图访问、修改某个类的域（Field）或者调用其方法，但是又违反域或方法的可见性声明，则抛出该异常。
java.lang.InstantiationError：实例化错误。当一个应用试图通过Java的new操作符构造一个抽象类或者接口时抛出该异常.
java.lang.OutOfMemoryError：内存不足错误。当可用内存不足以让Java虚拟机分配给一个对象时抛出该错误。
java.lang.StackOverflowError：堆栈溢出错误。当一个应用递归调用的层次太深而导致堆栈溢出或者陷入死循环时抛出该错误。
java.lang.ClassCastException：类造型异常。假设有类A和B（A不是B的父类或子类），O是A的实例，那么当强制将O构造为类B的实例时抛出该异常。该异常经常被称为强制类型转换异常。
java.lang.ClassNotFoundException：找不到类异常。当应用试图根据字符串形式的类名构造类，而在遍历CLASSPAH之后找不到对应名称的class文件时，抛出该异常。
java.lang.ArithmeticException：算术条件异常。譬如：整数除零等。
java.lang.ArrayIndexOutOfBoundsException：数组索引越界异常。当对数组的索引值为负数或大于等于数组大小时抛出。
java.lang.IndexOutOfBoundsException：索引越界异常。当访问某个序列的索引值小于0或大于等于序列大小时，抛出该异常。
java.lang.InstantiationException：实例化异常。当试图通过newInstance()方法创建某个类的实例，而该类是一个抽象类或接口时，抛出该异常。
java.lang.NoSuchFieldException：属性不存在异常。当访问某个类的不存在的属性时抛出该异常。
java.lang.NoSuchMethodException：方法不存在异常。当访问某个类的不存在的方法时抛出该异常。
java.lang.NullPointerException：空指针异常。当应用试图在要求使用对象的地方使用了null时，抛出该异常。譬如：调用null对象的实例方法、访问null对象的属性、计算null对象的长度、使用throw语句抛出null等等。
java.lang.NumberFormatException：数字格式异常。当试图将一个String转换为指定的数字类型，而该字符串确不满足数字类型要求的格式时，抛出该异常。
java.lang.StringIndexOutOfBoundsException：字符串索引越界异常。当使用索引值访问某个字符串中的字符，而该索引值小于0或大于等于序列大小时，抛出该异常。

finally 块中的代码什么时候被执行？

在 Java 语⾔的异常处理中，finally 块的作⽤就是为了保证⽆论出现什么情况，finally 块⾥的代码⼀定会被执⾏。由于程序执⾏ return 就意味着结束对当前函数的调⽤并跳出这个函数体，因此任何语句要执⾏都只能在 return 前执⾏（除⾮碰到 exit 函数），因此 finally 块⾥的代码也是在 return 之前执⾏的。
此外，如果 try-finally 或者 catch-finally 中都有 return，那么 finally 块中的 return 将会覆盖别处的 return 语句，最终返回到调⽤者那⾥的是 finally 中 return 的值。

finally 是不是⼀定会被执行到？

不⼀定。下⾯列举两种执⾏不到的情况：
（1）当程序进⼊ try 块之前就出现异常时，会直接结束，不会执⾏ finally 块中的代码；
（2）当程序在 try 块中强制退出时也不会去执⾏ finally 块中的代码，⽐如在 try 块中执⾏ exit ⽅法。

try-catch-finally 中，如果 catch 中 return 了，finally 还会执行吗？

会。程序在执⾏到 return 时会⾸先将返回值存储在⼀个指定的位置，其次去执⾏ finally 块，最后再返回。因此，对基本数据类型，在 finally 块中改变 return 的值没有任何影响，直接覆盖掉；⽽对引⽤类型是有影响的，返回的是在 finally 对 前⾯ return 语句返回对象的修改值。

try-catch-finally 中那个部分可以省略？

catch 可以省略。try 只适合处理运⾏时异常，try+catch 适合处理运⾏时异常+普通异常。也就是说，如果你只⽤try 去处理普通异常却不加以 catch 处理，编译是通不过的，因为编译器硬性规定，普通异常如果选择捕获，则必须⽤ catch 显示声明以便进⼀步处理。⽽运⾏时异常在编译时没有如此规定，所以 catch 可以省略，你加上 catch编译器也觉得⽆可厚⾮。

Error 和 Exception 的区别？

Error 类和 Exception 类的⽗类都是 Throwable 类。主要区别如下：
Error 类： ⼀般是指与虚拟机相关的问题，如：系统崩溃、虚拟机错误、内存空间不⾜、⽅法调⽤栈溢出等。这类错误将会导致应⽤程序中断，仅靠程序本身⽆法恢复和预防；
Exception 类：分为运⾏时异常和受检查的异常。

throw 和 throws 的区别？

（1）throw：在⽅法体内部，表示抛出异常，由⽅法体内部的语句处理；throw 是具体向外抛出异常的动作，所以它抛出的是⼀个异常实例；
（2）throws：在⽅法声明后⾯，表示如果抛出异常，由该⽅法的调⽤者来进⾏异常的处理；表示出现异常的可能性，并不⼀定会发⽣这种异常。