根据这篇文章:
与静态类型检查相反,动态类型检查可能会导致程序在运行时因类型错误而失败.在某些编程语言中,可以预测并从这些故障中恢复 - 通过错误处理或类型安全性差.在其他情况下,类型检查错误被认为是致命的.
Java是一个类型检查错误致命的例子.为什么Java(也许是大多数静态类型语言)如此严格以至于在发生类型错误时它在运行时失败?假设您要向上输入对象A(实际类型int
)Object
,并向下转换为String
.编译时检查将通过,但运行时类型检查将失败并发生致命异常.这似乎很苛刻,因为它不像illegalArgumentException
程序字面上无法进行(无效的演员失去类型安全但不应该是不可能的).在我看来,最好的情况是抛出一个警告,然后在尝试调用整数对象上的String
方法indexOf
时致命地失败.在尝试执行此无效转换时,Java是否有理由无法在运行时继续运行?
Java是一个类型检查错误致命的例子.
不,不是.你可以抓住它们.
为什么Java(也许是大多数静态类型语言)如此严格以至于在发生类型错误时它在运行时失败?
因为这就是"静态打字"的意思; 同上'严格打字'.
假设您将对象A(实际类型为int)转换为Object类型,并向下转换为String.编译时检查将通过,但运行时类型检查将失败并发生致命异常.
不,不会.它将失败并取消选中RuntimeException.
这似乎很苛刻,因为它不像非法的ArgumentException,程序实际上无法继续(无效的演员会失去类型安全但不应该是不可能的).
但这是不可能的.演员无法进行.生成目标代码的方式假设如此.
在我看来,最理想的情况是发出警告
它扔了一个 RuntimeException.
如果试图在整数对象上调用String方法indexOf,那么就会致命地失败.
好吧,它没有那样做.
在尝试执行此无效转换时,Java是否有理由无法在运行时继续运行?
该实现是围绕异常发生的事实设计的.