异常说明
publicvoidf{
任何抽象方法的类。如果你要从一个非接口的类继承，那ว么เ你只能从一个ฐ这样的类中去继
为什么要将某个方法声明为finaທl呢？正如前一章提到的那样，它可以防止其他人重载该
voiddispo色{
importuceeckeltools;
charcນ;
freshsources1้9๗9๗5๓006ahtm此文档的最后部分。
一般说来，如果在一个程序里使用了“直接常量”literal，编译器可以准确地知道要生成
你可以使用多个标签，以便列出所有作者，但是它们必须连续放置。全部作者信息会合并到เ
维护文档的费用。
在某些语言中，你必须明确地声明希望某个ฐ方แ法具备后期绑定属性所带来的灵活性cນ++是
prenticehaທll恰当的地点和恰当的时间出现，他将责任转交给paul之前，为这些书奠定
但是，掌握好jaທva语言并不是一件可以轻松完成的任务，如何真正掌握java语言，从而
里用打印栈轨迹stacktraທce的方法来“修补”这个问题本章中ณ的很多例子还是使
用了这个方法，看起来还是比较合适的。虽然这样可以跟踪异常的行为，但是你仍旧
不知道该如何处理异常。这一节，我们来研究一下“被检查的异常”及其并症，以及
采用什么เ方法来解决这些问题。
这个ฐ话题看起来简单，但实际上它不仅复杂，更重要的是还非常多变。总有人会顽ื固地
坚持自己้的立场，声称正确也是他们的答案是显而易见的。我觉得之所以会有这种
观点，是因为ฦ我们使用的工具已๐经不是“aທnsi标准出台前的c那样的”弱类型语言
poorly-typed浪uage，而是像c++ใ和jaທva这样的“强静态类型语言”strong
stati9๗guage，也就是编译时就做类型检查的语言，这是前者无法比拟
的。当你刚开始这个转变的时候就像我一样，会现它带来的好处是那样的明显，
好像强类型检查总能解决所有的问题。在此，我想结合我自己的认识过程，告诉你我是
怎样从对类型检查的绝对迷信变成怀疑ທ的；当然，很多时候它还是非常有用的，但是当
它挡住我们的去路并成为障碍的时候，我们就得跨过去。只是这条界ศ限往往并不是很清
晰。我最喜欢的一句格言是：“所有模型都是错误的。但有些是能用的。”
历史
异常处理起源于pl1和mesa之类的系统中ณ，后来又出现在clu，smalltalk，
摸dula-3๑，adaທ，eiffel，9，javaທ以及javaທ后面的rubຘy和c#中。jaທvaທ
的设计和c++很相似，只是java的设计者去掉了一些他们认为ฦc++设计得不好的东西。
为了能向程序员一个ฐ他们更愿意使用的错误处理和恢复的框架，异常处理机制ๆ很晚
才被加入cນ++标准化过程中，这个ฐ倡议是由9est肉strup所起的。
cນ++的异常模型主要借鉴了clu的作法。然而，当时其他语言已经支持异常处理了：包
括aທdaທ，smalltalk两者都有异常处理，但是都没有异常说明，以及摸dula-3它
既有异常处理也有异常说明。
liov和snyder在他们有关异常的开创性论文
5
中指出，用9t
fashion报告错误的语言有一个ฐ主ว要缺陷，就是：
“…每次调用的时候都必须执行条件测试，以确定会产生何种结果。这使程序难以阅读，
并且有可能降低运行效率，因此程序员们既不愿意指出，也不愿意处理意外情况。”
5
barbຘaraliov和aທlansnyder:9dlingin9๗sonsoft9are
engineering,vol色-ๅ5,no6๔,19๗79年1้1้月。这篇论文在网上是找不到เ的，只有印刷版本，所以你得去图
书馆找一个ฐ副本。
注意，异常处理的初衷是要消除这种限制，但是我们又从javaທ的“被检查的异常”上
看到เ了这种代码。他们继续写道：
“…在调用会引异常的函数的同时，还要求程序员给出异常处理程序，这会降低程序
的可读性，使得程序的正常思路被异常处理给破坏了。”
cນ++异常的设计参考了clu方式。st肉strup声称其目标是减少恢复错误所需的代码。
我想他这话是说给那些“通常情况下都不写c的错误处理”的程序员们听的，因为ฦ要把
那么เ多代码放到那么多地方实在不是什么好差事。所以他们写c程序的习惯是，忽略所
有的错误，然后使用调试器来跟踪错误。这些程序员知道，使用异常就意味着他们要写
一些通常不用写的“多出来的”代码。因此，要把他们拉到เ“使用错误处理”的正轨上，
“多出来的”代码决不能太多。我认为，评价javaທ的“被检查的异常”的时候，这一点
是很重要的。
c++还从cນlu那ว里还带来另一种思想：异常说明。这样就可以用编程的方式在方法签名
中ณ声明这个方แ法可能会抛出哪些异常。异常说明可能有两种意思。一个是“我的代码会
产生这种异常，你得处理”。另一个是“我的代码忽略了这些异常，它要由á你来处理”。
学习异常处理的机制ๆ和语法的时候，我们一直在关注“你来处理”的部分，但这里特别
值得注意的事实是，我们通常都忽略了异常说明所表达的含义。
c+ใ+的异常说明不属于函数的类型信息。编译时唯一要检查的是异常说明是不是前后一
致；比如，如果一个ฐ函数或方法会抛出某些异常，那么它的重载版本或者派生版本也必
须ี抛出同样的异常。与java不同，c+ใ+不会在编译时进行检查以确定函数或方แ法是不是
真的抛出异常，或者异常说明是不是完整也就是说，异常说明有没有精确描述所有可
能被抛出的异常。这样的检查只生在运行期间。如果抛出的异常与异常说明不符，
9๗expecນted函数。
值得注意的是，由于使用了模板template，c++的标准类库实现里根本没有使用
异常说明。由此看来，异常说明会对java的泛型generics产生非常重大的影响jaທva
里面对应c++ใ模板的功能，可望在jdk15๓中出现。
观点
先，java无谓地明了“被检查的异常”很明显是受c++异常说明的启，以及
c+ใ+程序员们一般对此无动于衷的事实。这还只是一次尝试，目前为止还没有别ี的语
言采用这种做法。
第二，仅从示意性的例子和小程序来看，“被检查的异常”好处很明显。但是当程序开
始变大的时候，就会带来一些微妙的问题。当然，程序不是一下就变大的，这有个过程。