一、异常概述
Java中的所有异常都派生于Throwable类，有Error和Exception两个分支。
Error类层次结构描述了Java运行时系统的内部错误和资源耗尽错误，应用程序不应该抛出这种类型的对象。
在设计Java程序时，需要关注Exception层次结构。这个层次结构又分解为两个分支：一个分支派生于RuntimeException；另一个分支包含其他异常。
派生于Error类或RuntimeException类的所有异常称为非受查（unchecked）异常，所有其他的异常称为受查（checked）异常。
方法应该在其首部声明所有可能抛出的受查异常：
public FileInputStream(String name) throws FileNotFoundException
非受查异常要么不可控制（Error），要么就应该避免发生（RuntimeException），因此不要在函数首部声明。
注意：如果在子类中覆盖了超类的一个方法，子类方法中声明的受查异常不能比超类方法中声明的异常更通用（也就是说，子类方法可以抛出更特定的异常，或者根本不抛出任何异常）。如果超类方法没有抛出任何受查异常，则子类也不能抛出任何受查异常。
如果类中的一个方法声明将会抛出一个异常，而这个异常是某个特定类的实例时，则这个方法就有可能抛出一个这个类的异常，或者这个类的任意一个子类的异常。例如，FileInputStream构造器声明将有可能抛出一个IOException异常，然而并不知道具体是哪种IOException异常。它既可能是IOException异常，也可能是其子类的异常，例如FileNotFoundException。
二、捕获异常
2.1 try/catch语句块
如果某个异常发生的时候没有在任何地方进行捕获，那么程序就会终止执行，并在控制台上打印出异常信息，其中包括异常的类型和堆栈的内容。
要捕获一个异常，必须设置try/catch语句块，例如：
public void read(String file) {
try {
InputStream in = new FileInputStream(filename);
int b;
while ((b = in.read()) != -1) {
// 处理输入
} catch(IOException exception) {
exception.printStackTrace();
}
}
}
- 如果在try语句块中的任何代码抛出了一个在catch子句中说明的异常类，那么：
- 程序将跳过try语句块的其余代码
- 程序将执行catch子句中的handler代码
- 如果在try语句块中的代码没有抛出任何异常，那么程序将跳过catch子句
- 如果方法中的任何代码抛出了一个在catch子句中没有声明的异常类型，那么这个方法就会立刻退出
在一个try语句块中可以捕获多个异常类型，并对不同类型的异常做出不同的处理：
try {
// 可能抛出异常的代码
} catch (FileNotFoundException e) {
// 处理异常
} catch (UnknownHostException e) {
// 处理异常
} catch (IOException e) {
// 处理异常
}
2.2 传递异常
另一种处理异常的方法是：什么也不做，把异常传递给调用者。如果采用这种处理方式，就必须声明这个方法可能会抛出一个异常，例如：
public void read(String file) throws IOException { // 在方法首部声明会抛出一个IOException
InputStream in = new FileInputStream(filename);
int b;
while ((b = in.read()) != -1) {
// 处理输入
} catch(IOException exception) {
exception.printStackTrace();
}
}
如果调用了一个抛出受查异常的方法，就必须对它进行处理，或者继续传递。
如果编写一个覆盖超类的方法，而这个方法又没有抛出异常，那么这个方法就必须捕获方法代码中出现的每一个受查异常，不允许在子类的throws中出现超过超类方法所列出的异常类范围
2.3 finally子句
不管是否有异常被捕获，finally子句中的代码都被执行，例如：
InputStream in = new FIleInputStream(...);
try {
// 可能抛出异常的代码
} catch(Exception e) {
// 处理异常
} finally {
// 这里的代码总是会被执行
in.close();
}
- 无论try中的代码是否被正常执行完毕，finally中的代码总是会被执行。
- 如果在finally语句块中使用return语句，这个返回值将会覆盖原始的返回值。
