深刻理解 Java 异常

:notebook: 本文已归档到:「bloghtml

:keyboard: 本文中的示例代码已归档到:「javacorejava

异常框架



Throwable

Throwable 是 Java 语言中全部错误(Error)和异常(Exception)的超类。git

Throwable 包含了其线程建立时线程执行堆栈的快照,它提供了 printStackTrace() 等接口用于获取堆栈跟踪数据等信息。程序员

主要方法:github

  • fillInStackTrace - 用当前的调用栈层次填充 Throwable 对象栈层次,添加到栈层次任何先前信息中。
  • getMessage - 返回关于发生的异常的详细信息。这个消息在 Throwable 类的构造函数中初始化了。
  • getCause - 返回一个 Throwable 对象表明异常缘由。
  • getStackTrace - 返回一个包含堆栈层次的数组。下标为 0 的元素表明栈顶,最后一个元素表明方法调用堆栈的栈底。
  • printStackTrace - 打印 toString() 结果和栈层次到 System.err,即错误输出流。
  • toString - 使用 getMessage 的结果返回表明 Throwable 对象的字符串。

Error

ErrorThrowable 的一个子类。Error 表示合理的应用程序不该该尝试捕获的严重问题。大多数此类错误都是异常状况。编译器不会检查 Error数据库

常见 Error编程

  • AssertionError - 断言错误。
  • VirtualMachineError - 虚拟机错误。
  • UnsupportedClassVersionError - Java 类版本错误。
  • StackOverflowError - 栈溢出错误。
  • OutOfMemoryError - 内存溢出错误。

Exception

ExceptionThrowable 的一个子类。Exception 表示合理的应用程序可能想要捕获的条件。数组

**编译器会检查 Exception 异常。**此类异常,要么经过 throws 进行声明抛出,要么经过 try catch 进行捕获处理,不然不能经过编译。安全

常见 Exceptionbash

  • ClassNotFoundException - 应用程序试图加载类时,找不到相应的类,抛出该异常。
  • CloneNotSupportedException - 当调用 Object 类中的 clone 方法克隆对象,但该对象的类没法实现 Cloneable 接口时,抛出该异常。
  • IllegalAccessException - 拒绝访问一个类的时候,抛出该异常。
  • InstantiationException - 当试图使用 Class 类中的 newInstance 方法建立一个类的实例,而指定的类对象由于是一个接口或是一个抽象类而没法实例化时,抛出该异常。
  • InterruptedException - 一个线程被另外一个线程中断,抛出该异常。
  • NoSuchFieldException - 请求的变量不存在。
  • NoSuchMethodException - 请求的方法不存在。

示例:

public class ExceptionDemo {
    public static void main(String[] args) {
        Method method = String.class.getMethod("toString", int.class);
    }
};
复制代码

试图编译运行时会报错:

Error:(7, 47) java: 未报告的异常错误java.lang.NoSuchMethodException; 必须对其进行捕获或声明以便抛出
复制代码

RuntimeException

RuntimeExceptionException 的一个子类。RuntimeException 是那些可能在 Java 虚拟机正常运行期间抛出的异常的超类。

**编译器不会检查 RuntimeException 异常。**当程序中可能出现这类异常时,假若既没有经过 throws 声明抛出它,也没有用 try catch 语句捕获它,程序仍是会编译经过。

示例:

public class RuntimeExceptionDemo {
    public static void main(String[] args) {
        // 此处产生了异常
        int result = 10 / 0;
        System.out.println("两个数字相除的结果:" + result);
        System.out.println("----------------------------");
    }
};
复制代码

运行时输出:

Exception in thread "main" java.lang.ArithmeticException: / by zero
	at io.github.dunwu.javacore.exception.RumtimeExceptionDemo01.main(RumtimeExceptionDemo01.java:6)
复制代码

常见 RuntimeException

  • ArrayIndexOutOfBoundsException - 用非法索引访问数组时抛出的异常。若是索引为负或大于等于数组大小,则该索引为非法索引。
  • ArrayStoreException - 试图将错误类型的对象存储到一个对象数组时抛出的异常。
  • ClassCastException - 当试图将对象强制转换为不是实例的子类时,抛出该异常。
  • IllegalArgumentException - 抛出的异常代表向方法传递了一个不合法或不正确的参数。
  • IllegalMonitorStateException - 抛出的异常代表某一线程已经试图等待对象的监视器,或者试图通知其余正在等待对象的监视器而自己没有指定监视器的线程。
  • IllegalStateException - 在非法或不适当的时间调用方法时产生的信号。换句话说,即 Java 环境或 Java 应用程序没有处于请求操做所要求的适当状态下。
  • IllegalThreadStateException - 线程没有处于请求操做所要求的适当状态时抛出的异常。
  • IndexOutOfBoundsException - 指示某排序索引(例如对数组、字符串或向量的排序)超出范围时抛出。
  • NegativeArraySizeException - 若是应用程序试图建立大小为负的数组,则抛出该异常。
  • NullPointerException - 当应用程序试图在须要对象的地方使用 null 时,抛出该异常
  • NumberFormatException - 当应用程序试图将字符串转换成一种数值类型,但该字符串不能转换为适当格式时,抛出该异常。
  • SecurityException - 由安全管理器抛出的异常,指示存在安全侵犯。
  • StringIndexOutOfBoundsException - 此异常由 String 方法抛出,指示索引或者为负,或者超出字符串的大小。
  • UnsupportedOperationException - 当不支持请求的操做时,抛出该异常。

自定义异常

自定义一个异常类,只须要继承 ExceptionRuntimeException 便可。

示例:

public class MyExceptionDemo {
    public static void main(String[] args) {
        throw new MyException("自定义异常");
    }

    static class MyException extends RuntimeException {
        public MyException(String message) {
            super(message);
        }
    }
}
复制代码

输出:

Exception in thread "main" io.github.dunwu.javacore.exception.MyExceptionDemo$MyException: 自定义异常
	at io.github.dunwu.javacore.exception.MyExceptionDemo.main(MyExceptionDemo.java:9)
复制代码

抛出异常

若是想在程序中明确地抛出异常,须要用到 throwthrows

若是一个方法没有捕获一个检查性异常,那么该方法必须使用 throws 关键字来声明。throws 关键字放在方法签名的尾部。

throw 示例:

public class ThrowDemo {
    public static void f() {
        try {
            throw new RuntimeException("抛出一个异常");
        } catch (Exception e) {
            System.out.println(e);
        }
    }

    public static void main(String[] args) {
        f();
    }
};
复制代码

输出:

java.lang.RuntimeException: 抛出一个异常
复制代码

也可使用 throw 关键字抛出一个异常,不管它是新实例化的仍是刚捕获到的。

throws 示例:

public class ThrowsDemo {
    public static void f1() throws NoSuchMethodException, NoSuchFieldException {
        Field field = Integer.class.getDeclaredField("digits");
        if (field != null) {
            System.out.println("反射获取 digits 方法成功");
        }
        Method method = String.class.getMethod("toString", int.class);
        if (method != null) {
            System.out.println("反射获取 toString 方法成功");
        }
    }

    public static void f2() {
        try {
            // 调用 f1 处,若是不用 try catch ,编译时会报错
            f1();
        } catch (NoSuchMethodException e) {
            e.printStackTrace();
        } catch (NoSuchFieldException e) {
            e.printStackTrace();
        }
    }

    public static void main(String[] args) {
        f2();
    }
};
复制代码

输出:

反射获取 digits 方法成功
java.lang.NoSuchMethodException: java.lang.String.toString(int)
	at java.lang.Class.getMethod(Class.java:1786)
	at io.github.dunwu.javacore.exception.ThrowsDemo.f1(ThrowsDemo.java:12)
	at io.github.dunwu.javacore.exception.ThrowsDemo.f2(ThrowsDemo.java:21)
	at io.github.dunwu.javacore.exception.ThrowsDemo.main(ThrowsDemo.java:30)
复制代码

throw 和 throws 的区别:

  • throws 使用在函数上,throw 使用在函数内。
  • throws 后面跟异常类,能够跟多个,用逗号区别;throw 后面跟的是异常对象。

捕获异常

使用 try 和 catch 关键字能够捕获异常。try catch 代码块放在异常可能发生的地方。

它的语法形式以下:

try {
    // 可能会发生异常的代码块
} catch (Exception e1) {
    // 捕获并处理try抛出的异常类型Exception
} catch (Exception2 e2) {
    // 捕获并处理try抛出的异常类型Exception2
} finally {
    // 不管是否发生异常,都将执行的代码块
}
复制代码

此外,JDK7 之后,catch 多种异常时,也能够像下面这样简化代码:

try {
    // 可能会发生异常的代码块
} catch (Exception | Exception2 e) {
    // 捕获并处理try抛出的异常类型
} finally {
    // 不管是否发生异常,都将执行的代码块
}
复制代码
  • try - try 语句用于监听。将要被监听的代码(可能抛出异常的代码)放在 try 语句块以内,当 try 语句块内发生异常时,异常就被抛出。
  • catch - catch 语句包含要捕获异常类型的声明。当保护代码块中发生一个异常时,try 后面的 catch 块就会被检查。
  • finally - finally 语句块老是会被执行,不管是否出现异常。try catch 语句后不必定非要finally 语句。finally 经常使用于这样的场景:因为finally 语句块老是会被执行,因此那些在 try 代码块中打开的,而且必须回收的物理资源(如数据库链接、网络链接和文件),通常会放在finally 语句块中释放资源。
  • trycatchfinally 三个代码块中的局部变量不可共享使用。
  • catch 块尝试捕获异常时,是按照 catch 块的声明顺序从上往下寻找的,一旦匹配,就不会再向下执行。所以,若是同一个 try 块下的多个 catch 异常类型有父子关系,应该将子类异常放在前面,父类异常放在后面。

示例:

public class TryCatchFinallyDemo {
    public static void main(String[] args) {
        try {
            // 此处产生了异常
            int temp = 10 / 0;
            System.out.println("两个数字相除的结果:" + temp);
            System.out.println("----------------------------");
        } catch (ArithmeticException e) {
            System.out.println("出现异常了:" + e);
        } finally {
            System.out.println("不论是否出现异常,都执行此代码");
        }
    }
};
复制代码

运行时输出:

出现异常了:java.lang.ArithmeticException: / by zero
不论是否出现异常,都执行此代码
复制代码

异常链

异常链是以一个异常对象为参数构造新的异常对象,新的异常对象将包含先前异常的信息。

经过使用异常链,咱们能够提升代码的可理解性、系统的可维护性和友好性。

咱们有两种方式处理异常,一是 throws 抛出交给上级处理,二是 try…catch 作具体处理。try…catch 的 catch 块咱们能够不须要作任何处理,仅仅只用 throw 这个关键字将咱们封装异常信息主动抛出来。而后在经过关键字 throws 继续抛出该方法异常。它的上层也能够作这样的处理,以此类推就会产生一条由异常构成的异常链。

示例:

public class ExceptionChainDemo {
    static class MyException1 extends Exception {
        public MyException1(String message) {
            super(message);
        }
    }

    static class MyException2 extends Exception {
        public MyException2(String message, Throwable cause) {
            super(message, cause);
        }
    }

    public static void f1() throws MyException1 {
        throw new MyException1("出现 MyException1");
    }

    public static void f2() throws MyException2 {
        try {
            f1();
        } catch (MyException1 e) {
            throw new MyException2("出现 MyException2", e);
        }
    }

    public static void main(String[] args) throws MyException2 {
        f2();
    }
}
复制代码

输出:

Exception in thread "main" io.github.dunwu.javacore.exception.ExceptionChainDemo$MyException2: 出现 MyException2
	at io.github.dunwu.javacore.exception.ExceptionChainDemo.f2(ExceptionChainDemo.java:29)
	at io.github.dunwu.javacore.exception.ExceptionChainDemo.main(ExceptionChainDemo.java:34)
Caused by: io.github.dunwu.javacore.exception.ExceptionChainDemo$MyException1: 出现 MyException1
	at io.github.dunwu.javacore.exception.ExceptionChainDemo.f1(ExceptionChainDemo.java:22)
	at io.github.dunwu.javacore.exception.ExceptionChainDemo.f2(ExceptionChainDemo.java:27)
	... 1 more
复制代码

扩展阅读:juejin.im/post/5b6d61…

这篇文章中对于异常链讲解比较详细。

异常注意事项

finally 覆盖异常

Java 异常处理中 finally 中的 return 会覆盖 catch 代码块中的 return 语句和 throw 语句,因此 Java 不建议在 finally 中使用 return 语句

此外 finally 中的 throw 语句也会覆盖 catch 代码块中的 return 语句和 throw 语句。

示例:

public class FinallyOverrideExceptionDemo {
    static void f() throws Exception {
        try {
            throw new Exception("A");
        } catch (Exception e) {
            throw new Exception("B");
        } finally {
            throw new Exception("C");
        }
    }

    public static void main(String[] args) {
        try {
            f();
        } catch (Exception e) {
            System.out.println(e.getMessage());
        }
    }
}
复制代码

输出:C

覆盖抛出异常的方法

当子类重写父类带有 throws 声明的函数时,其 throws 声明的异常必须在父类异常的可控范围内——用于处理父类的 throws 方法的异常处理器,必须也适用于子类的这个带 throws 方法 。这是为了支持多态。

示例:

public class ExceptionOverrideDemo {
    static class Father {
        public void start() throws IOException {
            throw new IOException();
        }
    }

    static class Son extends Father {
        @Override
        public void start() throws SQLException {
            throw new SQLException();
        }
    }

    public static void main(String[] args) {
        Father obj1 = new Father();
        Father obj2 = new Son();
        try {
            obj1.start();
            obj2.start();
        } catch (IOException e) {
            e.printStackTrace();
        }
    }
}
复制代码

上面的示例编译时会报错,缘由在于:

由于 Son 类抛出异常的实质是 SQLException,而 IOException 没法处理它。那么这里的 try catch 就不能处理 Son 中的异常了。多态就不能实现了。

异常和线程

若是 Java 程序只有一个线程,那么没有被任何代码处理的异常会致使程序终止。若是 Java 程序是多线程的,那么没有被任何代码处理的异常仅仅会致使异常所在的线程结束。

最佳实践

  • 对可恢复的状况使用检查性异常(Exception),对编程错误使用运行时异常(RuntimeException)
  • 优先使用 Java 标准的异常
  • 抛出与抽象相对应的异常
  • 在细节消息中包含能捕获失败的信息
  • 尽量减小 try 代码块的大小
  • 尽可能缩小异常范围。例如,若是明知尝试捕获的是一个 ArithmeticException,就应该 catch ArithmeticException,而不是 catch 范围较大的 RuntimeException,甚至是 Exception
  • 尽可能不要在 finally 块抛出异常或者返回值
  • 不要忽略异常,一旦捕获异常,就应该处理,而非丢弃
  • 异常处理效率很低,因此不要用异常进行业务逻辑处理
  • 各种异常必需要有单独的日志记录,将异常分级,分类管理,由于有的时候仅仅想给第三方运维看到逻辑异常,而不是更细节的信息。
  • 如何对异常进行分类
    • 逻辑异常,这类异经常使用于描述业务没法按照预期的状况处理下去,属于用户制造的意外。
    • 代码错误,这类异经常使用于描述开发的代码错误,例如 NPE,ILLARG,都属于程序员制造的 BUG。
    • 专有异常,多用于特定业务场景,用于描述指定做业出现意外状况没法预先处理。

扩展阅读:

小结





参考资料

相关文章
相关标签/搜索