language-agnostic - 什么是不健全的演员阵容？

Question

我在几个 地方看到过这个词。什么是不健全的演员阵容？这与合理论证的概念有何关系？这是一个标准术语吗？

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

• 泛型 java 类型推断是不合理的
• 这种不健全的演员阵容确实会导致 Segmentation fault。
• 如果您强制转换为类型参数，我们会产生一个 unsound-cast-warning。
• 编译器对不健全的强制转换发出警告

Answer 1

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

类型良好的程序永远不会出错。

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

不健全的强制转换是破坏健全性属性的强制强制转换（显式类型转换），或者如果使用不当可能会破坏健全性属性。