是否有可能在Java中运行时类型不匹配？

Question

我正在阅读OCaml和维基，它说：

*its static type system renders runtime type mismatches impossible*

我理解为什么，但我认为，为什么这在OCaml（和FP）中如此特别？ 如何在Java中导致运行时类型不匹配？ 例如

boolean a = true;
int b = a + 1;

将在编译时返回错误。

编辑1：

哈斯克尔

func :: Int -> Bool
func i = if i > 0 then True else False

Java的

boolean func (int i) {
    if (i > 0) return true; else return false;
}

是不是这两种情况都会在调用func时保证参数类型？

Answer 1

在Java中，您可能导致运行时类型不匹配，如下所示：

Object i = Integer.valueOf(6);
String s = (String) i;   
System.out.println(s);

这将编译，因为允许将编译时类型的i （ Object ）强制转换为String ，但是在运行时， i的实际值（ 6 ，作为Integer ）将与String不兼容。

鉴于此， ClassCastException 。

Answer 2

请考虑使用数组的以下代码：

// create an array of strings
String[] strings = new String[10];

// cast it to an array of objects
Object[] objects = strings;

// insert an object into the array
objects[0] = new Object();     // Run-time error occurs here

Java允许这个编译，尽管将一个字符串数组转换为一个对象数组数组引入了运行时错误的可能性。 第8行演示了这一点，导致了专门为这种情况创建的类型的运行时异常： java.lang.ArrayStoreException: java.lang.Object 。

请参阅Java泛型并键入擦除

Answer 3

该wiki一般讨论静态类型系统，并将它们与动态类型语言进行对比，而不是与其他静态类型语言进行对比。 OCaml或Haskell没有特定的关于运行时类型不匹配的内容，这些不匹配并不适用于所有静态类型的语言。

请注意， 不可能有点不诚实。 几乎所有静态类型的语言都能让你以有限的方式进行运行时输入，因为如果没有它，某些任务就非常困难。 实际上，您引用的段落列出了一些这样的情况，例如序列化。 这里的其他答案在Java中提供了一些很好的例子。 但是，绝大多数代码应该能够轻松避免运行时类型不匹配。

Answer 4

在Java中，类型不匹配是可能的。 例如，以下命令抛出ClassCastException 。

Object o = 1;
String s = (String) o;

但是，传递给方法的参数由编译器检查。

无法使用签名调用方法

boolean func (int i) 

除非i是一个int ，并且不可能调用带签名的方法

boolean func2 (String s)

除非s是String或null 。

因此，在func2的主体内，您永远不会在运行时获得ClassCastException ，因为s不是String 。

Answer 5

在Java中，不可能在可再现类型 （基本类型，非泛型引用类型，原始类型，所有通配符参数化的类型或其元素类型可重新生成的数组类型）之间存在类型不匹配。

如果您有一个可重新类型的变量，那么它在任何时间点保存的值都保证是该类型的值。 对于引用类型，这意味着引用为null或指向运行时类为变量类型的子类型的对象。 这是有保证的，因为Java在存储类型不是变量类型的子类型的值时需要强制转换，并且对可再现类型进行强制转换是强制转换类型，这意味着它们在运行时被检查，如果类型不兼容，它将抛出一个例外，而不是让类型不匹配。

另一方面，对于不可再生类型 （例如参数化类型），可能存在类型不匹配（在Java术语中称为“堆污染”）。 这是因为对不可再生类型的强制转换是未经检查的强制转换 。

List<String> foo = new ArrayList<String>();
foo.add("hi");
List<?> bar = foo;
List<Integer> baz = (List<Integer>)bar; // unchecked cast
// now there is a type mismatch