【发布时间】:2013-01-05 14:11:31
【问题描述】:
这不是它们是什么的问题,而是它们如何在内部实现的问题。编译器如何区分已检查异常(例如直接从除 RuntimeException 之外的 Exception 派生)和未检查异常(例如从 RuntimeException 派生)。异常类定义中是否有一些特殊标志说明必须将哪些异常放入 try/catch 块中,或者 Java 编译器中是否有一些特定规则(例如 Java 语言设计明确指定检查或不检查的异常类型)?
【问题讨论】:
这不是它们是什么的问题,而是它们如何在内部实现的问题。编译器如何区分已检查异常(例如直接从除 RuntimeException 之外的 Exception 派生)和未检查异常(例如从 RuntimeException 派生)。异常类定义中是否有一些特殊标志说明必须将哪些异常放入 try/catch 块中,或者 Java 编译器中是否有一些特定规则(例如 Java 语言设计明确指定检查或不检查的异常类型)?
【问题讨论】:
这是由 Java 编译器强制执行的,并且在 runtime 时也会进行双重检查:如果 Throwable 扩展 RuntimeException 或 Error,那么它是视为未经检查;所有其他的都被检查。
在运行时,也会强制执行此检查(请记住,理论上您可以在运行时“构建”Java 类)。
【讨论】:
所有未经检查的异常都是类 RuntimeException 或类 Error 的继承者。所有其他都被检查。
例如,使用反射,您始终可以检测到哪个类是当前异常的特定类的超类。这与 Java 编译器检测其类型的方式相同。
【讨论】: