【答案解析】 异常是指程序运行时(非编译时)所发生的非正常情况或错误，当程序违反了语义规则时，JVM就会将出现的错误表示为一个异常并抛出。这个异常可以在catch程序块中进行捕获，然后进行处理。而异常处理的目的则是为了提高程序的安全性与健壮性。
Java语言提供了两种错误的处理类，分别为Error(错误)和Exception(异常)，且它们拥有共同的父类：Throwable。
Error表示程序在运行期间出现了非常严重的错误，并且该错误是不可恢复的，由于这属于JVM层次的严重错误，所以，这种错误是会导致程序终止执行的。此外，编译器不会检查Error是否被处理，因此，在程序中不推荐去捕获Error类型的异常，主要原因是运行时异常多是由于逻辑错误导致的，属于应该解决的错误，也就是说，一个正确的程序中是不应该存在Error的。OutOfMemoryErTor、ThreadDeath等都属于错误。当这些异常发生时，JVM一般会选择将线程终止。
Exception表示可恢复的异常，是编译器可以捕捉到的。它包含两种类型：运行时异常(RuntimeException)和检查异常(Checked Exception)。
1)检查异常是在程序中最经常碰到的异常，所有继承自Exception并且不是运行时异常的异常都是检查异常，比如最常见的IO异常和SQL异常。对于这种异常，都发生在编译阶段，Java编译器强制程序去捕获此类型的异常，即把可能会出现这些异常的代码放到try块中，把对异常的处理的代码放到catch块中。这种异常一般在如下几种情况中使用：
①异常的发生并不会导致程序出错，进行处理后可以继续执行后续的操作。例如，当连接数据库失败后，可以重新连接后进行后续操作。
②程序依赖于不可靠的外部条件，例如系统IO。
2)对于运行时异常，编译器没有强制对其进行捕获并处理。如果不对这种异常进行处理，当出现这种异常时，会由JVM来处理。在Java语言中，最常见的运行时异常有如下几种：NullPointerException(空指针异常)、ArrayStoreException(数据存储异常)、ClassCastException(类型转换异常)、InexOutOfBoundException(数组越界异常)、BufferOverflowException(缓冲区溢出异常)和ArithmeticException(算术异常)等。
出现运行时异常后，系统会把异常一直往上层抛出，直到遇到处理代码为止。如果没有处理块，则抛到最上层，如果是多线程就由Thread.run()方法抛出，如果是单线程，就被main()方法抛出。抛出之后，如果是线程，这个线程也就退出了。如果是主程序抛出的异常，那么整个程序也就退出了。所以，如果不对运行时异常进行处理，后果是非常严重的，一旦发生，要么是线程中止，要么是主程序终止。
在使用异常处理时，还需要注意以下几个问题：
1)Java异常处理用到了多态的概念，如果在异常处理过程中，首先捕获了基类，然后再捕获子类，那么捕获子类的代码块将永远不会被执行。因此，在进行异常捕获的时候，正确的写法是：首先捕获子类，然后再捕获基类的异常信息。如下例所示：
| 正确的写法 | 错误的写法 |
try
{
//access db code
}
catch(SQLException e1)
{
//deal with this exception
}
catch(Exceptioil e2){} | try
{
//access db code
}
catch(Exception e1)
{
//deal witll this exception
}
catch(SQLException e2){} |
2)尽早抛出异常，同时对捕获的异常进行处理，或者从错误中恢复，或者让程序继续执行。对捕获的异常不进行任何处理是一个非常不好的习惯，这样的代码将非常不利于调试。当然，也不是抛出异常越多越好，对于有些异常类型，例如运行时异常，实际上根本不必处理。
3)可以根据实际的需求自定义异常类，这些自定义的异常类只要继承自Exception类即可。
4)异常能处理就处理，不能处理就抛出。对于一般异常，如果不能进行行之有效地处理，最好转换为运行时异常抛出。对于没有处理的异常，最终JVM会进行处理。
本题中，对于选项A，一个方法声明了抛出一个异常只表明这个方法有可能会抛出这个异常，而不是一定会抛出这个异常。因此，选项A错误。
对于选项B，如果出现的异常被捕获到，并进行相应的处理后，程序可以继续运行，而不会终止。因此，选项B错误。
对于选项C，异常匹配不是一种精确的匹配，使用了多态的概念。假如异常A是异常B的子类，如果有异常A抛出，在捕获异常的代码中，不仅可以匹配异常A，而且也可以匹配异常B。因此，选项C错误。
对于选项D，对于可能抛出的运行时异常，编译器没有强制对其进行声明，只有检查异常(例如IOException)，编译器才会强制要求在方法中声明。因此，选项D正确。