什么是不健全的演员？

Question

我在few places中看过这个词。什么是不健全的演员？这与sound argument的想法有什么关系？这是一个标准术语吗？

以下是使用此术语的一些引用：

• Generic java type inference is unsound
• This unsound cast can indeed lead to the Segmentation fault。
• we produce an unsound-cast-warning if you cast to a type parameter.
• compiler emitting a warning for unsound casts

Answer 1

编程语言类型系统的健全性属性通常解释为：

  

好的节目永远不会出错。

“出错”的确切含义取决于上下文，但通常的范围从“相当于提出未捕获的异常”到“相当于分段错误”。

不正确的强制转换是一种强制属性属性的强制转换（显式类型转换），或者如果错误使用则会破坏健全性属性。