Java 的异常处理机制很大一部分来自 C++。它允许程序员跳过暂时无法处理的问题,以继续后续的开发,或者让程序根据异常做出更加聪明的处理。
Java 使用一些特殊的对象来代表异常状况,这样对象称为 异常对象。当异常状况发生时,Java 会根据预先的设定,抛出(throw)代表当前状况的对象。所谓的抛出是一种特殊的返回方式。该线程会暂停,逐层退出方法调用,直到遇到 异常处理器(Exception Handler)。异常处理器可以 捕捉(catch)的异常对象,并根据对象来决定下一步的行动。
异常处理器看起来如下,它由 try, catch, finally
以及随后的程序块组成。finally
不是必须的。
try {
...;
}
catch() {
...;
}
catch() {
...;
}
finally {
...;
}
这个异常处理器监视 try
后面的程序块。catch
的括号有一个参数,代表所要捕捉的异常的类型。catch
会捕捉相应的类型及其衍生类。try
后面的程序块包含了针对该异常类型所要进行的操作。try
所监视的程序块可能抛出不止一种类型的异常,所以一个异常处理器可以有多个 catch
模块。finally
后面的程序块是无论是否发生异常,都要执行的程序。
我们在 try
中放入可能出错,需要监视的程序,在 catch
中设计应对异常的方案。
异常的类型
Java 中的异常类都继承自 Throwable
类。一个 Throwable
类的对象都可以 抛出(throw)。
橙色:unchecked
, 蓝色:checked
Throwable
对象可以分为两组。一组是 unchecked
异常,异常处理机制往往不用于这组异常,包括:
Error
类通常是指Java
的内部错误以及如资源耗尽的错误。当Error
(及其衍生类)发生时,我们不能在编程层面上解决Error
,所以应该直接退出程序。Exception
类有特殊的一个衍生类RuntimeException
。RuntimeException
(及其衍生类)是 Java 程序自身造成的,也就是说,由于程序员在编程时犯错。RuntimeException
完全可以通过修正 Java 程序避免。比如将一个类型的对象转换成没有继承关系的另一个类型,即ClassCastException
。这类异常应该并且可以避免。
剩下的是 checked
异常。这些类是由编程与环境互动造成程序在运行时出错。比如读取文件时,由于文件本身有错误,发生 IOException
。再比如网络服务器临时更改 URL 指向,造成 MalformedURLException
。文件系统和网络服务器是在 Java 环境之外的,并不是程序员所能控制的。如果程序员可以预期异常,可以利用异常处理机制来制定应对预案。比如文件出问题时,提醒系统管理员。再比如在网络服务器出现问题时,提醒用户,并等待网络服务器恢复。异常处理机制主要是用于处理这样的异常。
抛出异常
在上面的程序中,异常来自于我们对 Java IO API
的调用。我们也可以在自己的程序中抛出异常,比如下面的 battery
类,有充电和使用方法:
class Battery
{
// 充电方法,最大电量为1
public void chargeBattery(double p)
{
if (this.power + p < 1.) {
this.power = this.power + p;
}
else {
this.power = 1.;
}
}
// 放电方法
public boolean useBattery(double p)
{
// 先检查参数 p 是否为正数
// 否则捕获错误
try {
test(p);
}
catch(Exception e) {
System.out.println("catch Exception");
System.out.println(e.getMessage());
p = 0.0;
}
if (this.power >= p) {
this.power = this.power - p;
return true;
}
else {
this.power = 0.0;
return false;
}
}
// 如果参数 p < 0 捕捉错误并抛出
private void test(double p) throws Exception
{
if (p < 0) {
Exception e = new Exception("p 必须为正数");
throw e;
}
}
private double power = 0.0; // percentage of battery
}
public class Test
{
public static void main(String[] args)
{
Battery aBattery = new Battery();
aBattery.chargeBattery(0.5);
aBattery.useBattery(-0.5);
}
}
输出:
catch Exception
p 必须为正数
useBattery()
表示使用电池操作。useBattery()
方法中有一个参数 p
,表示使用的电量。我们使用 test()
方法测试该参数。如果该参数为负数,那么我们认为有异常,并抛出。
在 test
中,当有异常发生时(p < 0),我们创建一个 Exception
对象 e
,并用一个字符串作为参数。字符串中包含有异常相关的信息,该参数不是必需的。使用 throw
将该 Exception
对象抛出。
我们在 useBattery()
中有异常处理器。由于 test()
方法不直接处理它产生的异常,而是将该异常抛给上层的 useBattery()
,所以在 test()
的定义中,我们需要 throws Exception
来说明。
假设异常处理器并不是位于 useBattery()
中,而是在更上层的 main()
方法中,我们也要在 useBattery()
的定义中增加 throws Exception
。
异常处理器中,我们会捕捉任意 Exception
类或者其衍生类异常。这往往不利于我们识别问题,特别是一段程序可能抛出多种异常时。我们可以提供一个更加具体的类来捕捉。