程序很难做到完美，不免有各种各样的异常。比如程序本身有bug，比如程序打印时打印机没有纸了，比如内存不足。为了解决这些异常，我们需要知道异常发生的原因。对于一些常见的异常，我们还可以提供一定的应对预案。C语言中的异常处理是简单的通过函数返回值来实现的，但返回值代表的含义往往是由惯例决定的。程序员需要查询大量的资料，才可能找到一个模糊的原因。面向对象语言，比如C++, Java, Python往往有更加复杂的异常处理机制。这里讨论Java中的异常处理机制。
Java异常处理
异常处理
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程序。try部分的程序是从一个文件中读取文本行。在读取文件的过程中，可能会有IOException发生:
BufferedReader br = new BufferedReader(new FileReader("file.txt"));
try {
StringBuilder sb = new StringBuilder();
String line = br.readLine();
while (line != null) {
sb.append(line);
sb.append("\n");
line = br.readLine();
}
String everything = sb.toString();
}
catch(IOException e) {
e.printStackTrace(); System.out.println("IO problem");
}
finally {
br.close();
}
如果我们捕捉到IOException类对象e的时，可以对该对象操作。比如调用对象的printStackTrace()，打印当前栈的状况。此外，我们还向中端打印了提示"IO problem"。
无论是否有异常，程序最终会进入finally块中。我们在finally块中关闭文件，清空文件描述符所占据的资源。
异常的类型
Java中的异常类都继承自Trowable类。一个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类，有充电和使用方法:
public class Test
{
public static void main(String[] args)
{
Battery aBattery = new Battery();
aBattery.chargeBattery(0.5);
aBattery.useBattery(-0.5);
}
}
class Battery
{
/**
* increase battery
*/
public void chargeBattery(double p)
{
// power <= 1
if (this.power + p < 1.) {
this.power = this.power + p;
}
else {
this.power = 1.;
}
}
/**
* consume battery
*/
public boolean useBattery(double 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;
}
}
/**
* test usage
*/
private void test(double p) throws Exception // I just throw, don't handle
{
if (p < 0) {
Exception e = new Exception("p must be positive");
throw e;
}
}
private double power = 0.0; // percentage of battery
}
useBattery()表示使用电池操作。useBattery()方法中有一个参数，表示使用的电量。我们使用test()方法测试该参数。如果该参数为负数，那么我们认为有异常，并抛出。
在test中，当有异常发生时(p < 0)，我们创建一个Exception对象e，并用一个字符串作为参数。字符串中包含有异常相关的信息，该参数不是必需的。使用throw将该Exception对象抛出。
我们在useBattery()中有异常处理器。由于test()方法不直接处理它产生的异常，而是将该异常抛给上层的useBattery()，所以在test()的定义中，我们需要throws Exception来说明。
(假设异常处理器并不是位于useBattery()中，而是在更上层的main()方法中，我们也要在useBattery()的定义中增加throws Exception。)
在catch中，我们使用getMessage()方法提取其异常中包含的信息。上述程序的运行结果如下:
catch Exception
p must be positive
异常处理器中，我们会捕捉任意Exception类或者其衍生类异常。这往往不利于我们识别问题，特别是一段程序可能抛出多种异常时。我们可以提供一个更加具体的类来捕捉。
自定义异常
我们可以通过继承来创建新的异常类。在继承时，我们往往需要重写构造方法。异常有两个构造方法，一个没有参数，一个有一个String参数。比如:
class BatteryUsageException extends Exception
{
public BatteryUsageException() {}
public BatteryUsageException(String msg) {
super(msg);
}
}
我们可以在衍生类中提供更多异常相关的方法和信息。
在自定义异常时，要小心选择所继承的基类。一个更具体的类要包含更多的异常信息，比如IOException相对于Exception。
finally中应避免使用return
public int test(){
try{
int m=10/0;
System.out.println(“a”);
return 1;
}catch(Exception e){
System.out.println(“b”);
return 2;
}finally{
System.out.println(“c”);
return 3;
}
}
最后的执行结果为 b,c,函数返回值为3;因为在try中除数为0，抛出异常， 后面的语句不会执行，所以不会输出a，转而执行catch里面的代码，所以 输出b，因为不管有没有异常，finally代码块必须执行，因此，程序在执行 return 2;之前会转而执行finally里面的代码，因此输出c，然后执行return 3; 至此程序结束，函数返回3，一个函数执行了return是不会跳转到函数体内部 再去执行return 2;语句的。在这个例子中，即使除数不为0，try里面没有 异常，程序依然会在执行return 1;之前去执行finally，结果仍将是返回3。 至此，我们发现了一个问题：即使出现了异常，程序依然返回了一个数值， 我们所写的异常捕捉没有起到任何作用。导致这个问题的罪魁祸首就是在finally代码中用到了return 语句。
总结：鉴于finally代码块不管出没出现异常都会执行的特点，可以得出finally最好的作用就是释放资源，与此同时一定要避免在finally代码块里出现return语句。