java异常机制详解

此篇文章不从java体系的角度来思考java的异常分类，异常的体系结构等，而是我对异常的一些理解，以及对java异常体系的设计的一些思考。关于java异常体系的文章可以参考如下：
Java提高篇——Java 异常处理

Error：Error类对象由 Java
虚拟机生成并抛出，大多数错误与代码编写者所执行的操作无关。例如，Java虚拟机运行错误（Virtual
MachineError），当JVM不再有继续执行操作所需的内存资源时，将出现
OutOfMemoryError。这些异常发生时，Java虚拟机（JVM）一般会选择线程终止；还有发生在虚拟机试图执行应用时，如类定义错误（NoClassDefFoundError）、链接错误（LinkageError）。这些错误是不可查的，因为它们在应用程序的控制和处理能力之
外，而且绝大多数是程序运行时不允许出现的状况。对于设计合理的应用程序来说，即使确实发生了错误，本质上也不应该试图去处理它所引起的异常状况。在Java中，错误通常是使用Error的子类描述。

Exception：在Exception分支中有一个重要的子类RuntimeException（运行时异常），该类型的异常自动为你所编写的程序定义ArrayIndexOutOfBoundsException（数组下标越界）、NullPointerException（空指针异常）、ArithmeticException（算术异常）、MissingResourceException（丢失资源）、ClassNotFoundException（找不到类）等异常，这些异常是不检查异常，程序中可以选择捕获处理，也可以不处理。这些异常一般是由程序逻辑错误引起的，程序应该从逻辑角度尽可能避免这类异常的发生；而RuntimeException之外的异常我们统称为非运行时异常，类型上属于Exception类及其子类，从程序语法角度讲是必须进行处理的异常，如果不处理，程序就不能编译通过。如IOException、SQLException等以及用户自定义的Exception异常，一般情况下不自定义检查异常。

辨析

Error和Exception都是程序运行过程中发现了一些错误，而采用error和exception进行分类的原因，是基于一个角度，很多分类都是基于一个角度进行分类的，便于分析，对于程序运行过程中发现异常，对我们的程序来说是不致命的，不会导致我们的程序崩溃，此时我们就将之称为异常，没有预料到的问题，我们可以通过编写程序对异常进行处理，对于Error来说，这对我们编写的程序是致命的，出现了ErrorJVM是会自动停止程序运行的。举个例子，出现除数为0的异常，我们可以跳过这段代码逻辑的运行，而如果发现内存泄漏的异常，我们的java对象，就会出现数据丢失，从而导致大部分功能都不能使用，或者功能错误。对我们的程序来说等于是灾难，必须停止。就如同一个机器的外壳坏了，和核心零件坏了之间的关系。

不受检查异常（Unchecked Exception）和检查异常（Checked Exception）

受检测异常和不受检测异常也是都是程序运行过程中才会出现的异常，但是受检测异常，因为程序不运行起来，是不可能出现异常的，而不受检测异常都是RuntimeException，那么就会给我们一种受检测异常不是运行时期出现的，是编译期出现的，但是编译期，代码不运行起来，怎么会出现不可预料的情况呢，正确的理解是受检测异常是比较常规，而且出现异常的可能性比较大的异常，所以java语言发明者给我们定义了这个类型的异常，目的是希望我们在编写代码时，就必须对这一类异常进行处理，目的在于提醒我们，对这类异常进行处理，然后保证程序运行时的稳定性。而且这类异常有一个特点，就是我们通过编写代码也不能保证这类异常不出现，只能通过捕获，对其出现了进行处理。

而不受检查异常也就是RuntimeException，此类异常是可以通过良好的代码编程习惯进行避免的，是我们程序的逻辑不对时才会出现的异常，比如数组越界，这是我们可以避免的异常。分这两类异常，都是为了规范我们的编码，保证代码运行的稳定。

而受检异常总是和编译期相关，为什么我们没有感觉呢，这个是因为我们使用的集成开发工具，已经为我们做了代码提示，那么我们对于受检测异常的处理都是直接按编译器提示的处理了。所以没感觉到，


如果使用javac的编译工具对代码进行编译，我们会发现，编译器报了一个错误: 未报告的异常错误IllegalAccessException; 必须对其进行捕获或声明以便抛出那么我们就可以知道这是java语言开发者为了规范我们的编码，来定义的一类异常。
集成开发环境帮助我们做了很多事情，从而导致我们在很多概念的理解有一些偏差，如果有需要可以使用java自带的工具，去编译一下代码，运行一下代码，可以加深我们对java语言的理解。

异常处理关键字的使用

Java异常处理涉及到五个关键字，分别是：try、catch、finally、throw、throws。下面将骤一介绍，通过认识这五个关键字，掌握基本异常处理知识。
• try – 用于监听。将要被监听的代码(可能抛出异常的代码)放在try语句块之内，当try语句块内发生异常时，异常就被抛出。
• catch – 用于捕获异常。catch用来捕获try语句块中发生的异常。
• finally – finally语句块总是会被执行。它主要用于回收在try块里打开的物力资源(如数据库连接、网络连接和磁盘文件)。只有finally块，执行完成之后，才会回来执行try或者catch块中的return或者throw语句，如果finally中使用了return或者throw等终止方法的语句，则就不会跳回执行，直接停止。
• throw – 用于抛出异常。
• throws – 用在方法签名中，用于声明该方法可能抛出的异常。

try-catch的使用：同时也是自定义的异常该怎么使用的一个例子

要明白异常捕获，还要理解监控区域（guarded region）的概念。它是一段可能产生异常的代码，并且后面跟着处理这些异常的代码。

因而可知，上述try-catch所描述的即是监控区域，关键词try后的一对大括号将一块可能发生异常的代码包起来，即为监控区域。Java方法在运行过程中发生了异常，则创建异常对象。将异常抛出监控区域之外，由Java运行时系统负责寻找匹配的catch子句来捕获异常。若有一个catch语句匹配到了，则执行该catch块中的异常处理代码，就不再尝试匹配别的catch块了。

匹配的原则是：如果抛出的异常对象属于catch子句的异常类，或者属于该异常类的子类，则认为生成的异常对象与catch块捕获的异常类型相匹配。

public class TestException {
    public static void main(String[] args) {
        int a = 1;
        int b = 0;
        try { // try监控区域
            if (b == 0) throw new ArithmeticException(); // 通过throw语句抛出异常
            System.out.println("a/b的值是：" + a / b);
            System.out.println("this will not be printed!");
        }
        catch (ArithmeticException e) { // catch捕捉异常  如果try的区域出现了这个异常那么这个异常就会被捕获，然后执行下面的代码
            System.out.println("程序出现异常，变量b不能为0！");
        }
        System.out.println("程序正常结束。");
    }
}

**throw new ArithmeticException()**这句代码表示抛出了一个异常，能够被捕获。

throw关键词的使用

class TestThrow{
    static void proc(){
        try{
            throw new NullPointerException("demo");
        }catch(NullPointerException e){
            System.out.println("Caught inside proc");
            throw e;
        }
    }

    public static void main(String [] args){
        try{
            proc();
        }catch(NullPointerException e){
            System.out.println("Recaught: "+e);
        }
    }
    //这个例子是一个很好的例子，proc里面的try区域出现了一个异常并且抛出了，此时这个异常被catch捕获了，然后其又将其抛出了
    //然后在主函数里面的try的代码块就会接受到由proc函数抛出的异常，然后又被主函数给捕获了，执行下面的代码。
}

Throws关键字的使用相对比较复杂一些
Throws抛出异常的规则：

如果是不受检查异常（unchecked exception），即Error、RuntimeException或它们的子类，那么可以不使用throws关键字来声明要抛出的异常，编译仍能顺利通过，但在运行时会被系统抛出。
必须声明方法可抛出的任何检查异常（checked exception）。即如果一个方法可能出现受可查异常，要么用try-catch语句捕获，要么用throws子句声明将它抛出，否则会导致编译错误
仅当抛出了异常，该方法的调用者才必须处理或者重新抛出该异常。当方法的调用者无力处理该异常的时候，应该继续抛出，而不是囫囵吞枣。
调用方法必须遵循任何可查异常的处理和声明规则。若覆盖一个方法，则不能声明与覆盖方法不同的异常。声明的任何异常必须是被覆盖方法所声明异常的同类或子类。

对于受检测异常，必须对其进行捕获，除非将其使用Throws进行抛出。

class TestThrows{
    static void throw1() throws IllegalAccessException {
        System.out.println("Inside throw1 . ");
        try {
            throw new IllegalAccessException("demo");
        }catch (IllegalAccessError e){
            throw e;//必须声明了Throws IllegalAccessException 函数签名之后才能将其向外抛出，否则需要
                    //使用try -catch再次将这异常捕获，意思就是使用Throws就必须在内部解决
        }
    }
    public static void main(String[] args){
        try {
            throw1();//如果throw1方法没有设置throws的函数签名的话，这里是不能捕获这个异常的，因为根本报不出这个异常
        } catch (IllegalAccessException e) {
            e.printStackTrace();
        }
    }

对于受检测的异常，也就是编译期会对其检测的异常，因为有这样严格的规定，所以使用起来编译时会报错，但是程序运行时报错就少了。
参考文章