Java异常体系介绍
异常体系简介
异常是指由于各种不期而至的情况,导致程序中断运行的一种指令流,如:文件找不到、非法参数、网络超时等。为了保证正序正常运行,在设计程序时必须考虑到各种异常情况,并正确的对异常进行处理。异常也是一种对象,java当中定义了许多异常类,并且定义了基类java.lang.Throwable作为所有异常的超类。Java语言设计者将异常划分为两类:Error和Exception,其体系结构大致如下图所示:
Throwable
有两个重要的子类:Exception(异常)和Error(错误),两者都包含了大量的异常处理类。
Error
程序中无法处理的错误,表示运行应用程序中出现了严重的错误。
此类错误一般表示代码运行时JVM出现问题。通常有Virtual MachineError(虚拟机运行错误)、NoClassDefFoundError(类定义错误)等。比如说当jvm耗完可用内存时,将出现OutOfMemoryError。此类错误发生时,JVM将终止线程。
这些错误是不可查的,非代码性错误。因此,当此类错误发生时,应用不应该去处理此类错误。
Exception
程序本身可以捕获并且可以处理的异常。
Exception可以根据是否要在编译期处理分为运行时异常和编译异常。
运行时异常/不受检异常(unchecked exception):该类异常包括RuntimeException类极其子类,表示JVM在运行期间可能出现的错误。比如说试图使用空值对象的引用(NullPointerException)、数组下标越界(ArrayIndexOutBoundException)。此类异常属于不受检异常,一般是由程序逻辑错误引起的,在程序中可以选择捕获处理,也可以不处理。也就说当程序中出现此类异常时,即便我们不做任何操作编译也会正常通过。
编译异常/受检异常(checked exception):编译器要求必须处理的异常。 除RuntimeException及其子类外,其他的Exception异常都属于此类异常。正确的程序在运行过程中,经常容易出现的、符合预期的异常情况。一旦发生此类异常,就必须采用某种方式进行处理。编译器会检查此类异常,当编译器检查到应用中的某处可能会此类异常时,将会提示你处理本异常——要么使用try-catch捕获,要么使用throws语句抛出,否则编译不通过。在开发中,通常不会自定义此类异常,而是直接使用系统提供的异常类。
异常处理流程
在java应用中,异常的处理机制分为抛出异常和捕获异常。
抛出异常:当一个方法出现错误而引发异常时,该方法会将该异常类型以及异常出现时的程序状态信息封装为异常对象,并交给本应用。运行时,该应用将寻找处理异常的代码并执行。任何代码都可以通过throw关键词抛出异常,比如java源代码抛出异常、自己编写的代码抛出异常等。
捕获异常:一旦方法抛出异常,系统自动根据该异常对象寻找合适异常处理器(Exception Handler)来处理该异常。所谓合适类型的异常处理器指的是异常对象类型和异常处理器类型一致。
对于不同的异常,java采用不同的异常处理方式:
1、运行异常将由系统自动抛出,应用本身可以选择处理或者忽略该异常。
2、对于方法中产生的Error,该异常一旦发生JVM将自行处理该异常,因此java允许应用不抛出此类异常。
3、对于所有的可查异常,必须进行捕获或者抛出该方法之外交给上层处理。也就是当一个方法存在异常时,要么使用try-catch捕获,要么使用该方法使用throws将该异常抛调用该方法的上层调用者。
捕获异常
try-catch
try {
//可能产生的异常的代码区,也称为监控区
}catch (ExceptionType1 e) {
//捕获并处理try抛出异常类型为ExceptionType1的异常
}catch(ExceptionType2 e) {
//捕获并处理try抛出异常类型为ExceptionType2的异常
}
监控区一旦发生异常,则会根据当前运行时的信息创建异常对象,并将该异常对象抛出监控区,同时系统根据该异常对象依次匹配catch子句,若匹配成功(抛出的异常对象的类型和catch子句的异常类的类型或者是该异常类的子类的类型一致),则运行其中catch代码块中的异常处理代码,一旦处理结束,那就意味着整个try-catch结束。含有多个catch子句,一旦其中一个catch子句与抛出的异常对象类型一致时,其他catch子句将不再有匹配异常对象的机会。
try-catch-finally
try{
//可能产生的异常的代码区
}catch (ExceptionType1 e) {
//捕获并处理try抛出异常类型为ExceptionType1的异常
}catch (ExceptionType2 e){
//捕获并处理try抛出异常类型为ExceptionType2的异常
}finally{
//无论是出现异常,finally块中的代码都将被执行
}
try-catch-finally代码块的执行顺序
A) try没有捕获异常时,try代码块中的语句依次被执行,跳过catch。如果存在finally则执行finally代码块,否则执行后续代码。
B)try捕获到异常时,如果没有与之匹配的catch子句,则该异常交给JVM处理。如果存在finally,则其中的代码仍然被执行,但是finally之后的代码不会被执行。
C)try捕获到异常时,如果存在与之匹配的catch,则跳到该catch代码块执行处理。如果存在finally则执行finally代码块,执行完finally代码块之后继续执行后续代码;否则直接执行后续代码。另外注意,try代码块出现异常之后的代码不会被执行。(见下图:)
经典面试题,说一下两个方法的输出结果;
public static int method1() {
try {
System.out.println(1 / 0);
return 0;
} catch (Exception e) {
System.out.println("catch 执行了");
return 1;
} finally {
System.out.println("finally 执行了");
return 2;
}
}
public static int method2() {
try {
System.out.println(1);
return 1;
} finally {
System.out.println(2);
return 2;
}
}
总结
try代码块:用于捕获异常。其后可以接零个或者多个catch块。如果没有catch块,后必须跟finally块,来完成资源释放等操作,另外建议不要在finally中使用return,不用尝试通过catch来控制代码流程。
catch代码块:用于捕获异常,并在其中处理异常。
finally代码块:无论是否捕获异常,finally代码总会被执行。如果try代码块或者catch代码块中有return语句时,finally代码块将在方法返回前被执行。注意以下几种情况,finally代码块不会被执行:
1、 在前边的代码中使用System.exit()退出应用。
2、 程序所在的线程死亡或者cpu关闭
3、 如果在finally代码块中的操作又产生异常,则该finally代码块不能完全执行结束,同时该异常会覆盖前边抛出的异常。
抛出异常
throws抛出异常
如果一个方法可能抛出异常,但是没有能力处理该异常或者需要通过该异常向上层汇报处理结果,可以在方法声明时使用throws来抛出异常。这就相当于计算机硬件发生损坏,但是计算机本身无法处理,就将该异常交给维修人员来处理。
public methodName throws Exception1,Exception2….(params){}
其中Exception1,Exception2…为异常列表一旦该方法中某行代码抛出异常,则该异常将由调用该方法的上层方法处理。如果上层方法无法处理,可以继续将该异常向上层抛。
throw抛出异常
在方法内,用throw来抛出一个Throwable类型的异常。一旦遇到到throw语句,后面的代码将不被执行。然后,便是进行异常处理——包含该异常的try-catch最终处理,也可以向上层抛出。注意我们只能抛出Throwable类和其子类的对象。
throw newExceptionType;
比如我们可以抛出:
throw new Exception();
也有时候我们也需要在catch中抛出异常,这也是允许的,比如说:
Try{
//可能会发生异常的代码
}catch(Exceptione){
throw newException(e);
}
异常关系链
在实际开发过程中经常在捕获一个异常之后抛出另外一个异常,并且我们希望在新的异常对象中保存原始异常对象的信息,实际上就是异常传递,即把底层的异常对象传给上层,一级一级,逐层抛出。当程序捕获了一个底层的异常,而在catch处理异常的时候选择将该异常抛给上层…这样异常的原因就会逐层传递,形成一个由低到高的异常链。但是异常链在实际应用中一般不建议使用,同时异常链每次都需要就将原始的异常对象封装为新的异常对象,消耗大量资源。现在(jdk 1.4之后)所有的Throwable的子类构造中都可以接受一个cause对象,这个cause也就是原始的异常对象。
下面是一个不错的例子:
public class TestException {
public static void main(String[] args) {
/*
* lowLevelAccess()将异常对象抛给middleLevelAccess(),而
* middleLevelAccess()又将异常对象抛给highLevelAccess(),
*也就是底层的异常对象一层层传递给高层。最终在在高层可以获得底层的异常对象。
*/
try {
new TestException().highLevelAccess();
} catch (HighLevelException e) {
e.printStackTrace();
System.out.println(e.getCause());
}
}
public void highLevelAccess() throws HighLevelException {
try {
middleLevelAccess();
} catch (Exception e) {
throw new HighLevelException(e);
}
}
public void middleLevelAccess() throws MiddleLevelException {
try {
lowLevelAccess();
} catch (Exception e) {
throw new MiddleLevelException(e);
}
}
public void lowLevelAccess() throws LowLevelException {
throw new LowLevelException();
}
}
/**
* 高层异常
*/
class HighLevelException extends Exception {
public HighLevelException(Throwable cause) {
super(cause);
}
}
/**
* 中层异常
*/
class MiddleLevelException extends Exception {
public MiddleLevelException(Throwable cause) {
super(cause);
}
}
/**
* 底层异常
*/
class LowLevelException extends Exception {
}
异常转译
异常转义就是将一种类型的异常转成另一种类型的异常,然后再抛出异常。之所以要进行转译,是为了更准确的描述异常。就我个人而言,我更喜欢称之为异常类型转换。在实际应用中,为了构建自己的日志系统,经常需要把系统的一些异常信息描述成我们想要的异常信息,就可以使用异常转译。异常转译针对所有Throwable类的子类而言,其子类型都可以相互转换。
通常而言,更为合理的转换方式是:
1、 Error——>Exception
2、 Error——>RuntimeException
3、 Exception——>RuntimeException,
在下面的代码中,我们自定义了MyException异常类,然后我们将IOException类型的异常转为MyException类型的异常,最后抛出。
public class Demo {
public static void main(String[] args) throws MyException {
File file = new File("H:/test.txt");
if (file.exists())
try {
file.createNewFile();
} catch (IOException e) {
throw new MyException("文件创建失败!", e);
}
}
}
class MyException extends Exception {
public MyException(String msg, Throwable e) {
super(msg, e);
}
}
posted on 2021-03-31 13:27 precedeforetime 阅读(158) 评论(0) 编辑 收藏 举报