使用 Java 泛型理解类型安全异常 [重复]

Question

我有以下代码：

public static void main(String[] args) {
    List<String> s = new ArrayList<String>();
    s.add("kshitiz");

    //This is not typesafe. It should blow up at runtime
    List<Integer> i = new ArrayList(s);
    System.out.println(i.get(0));
}

这个程序运行良好，它打印kshitiz。仅当我将最后一行替换为：

System.out.println(i.get(0).getClass());

例外：

Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer

这里发生了什么？

Answer 1

我猜你知道，泛型类型在运行时消失了。现在，要看看幕后发生了什么，让我们看看这段代码

public static Class<?> getClass(final Object object) {
    return object.getClass();
}

public static void main(final String[] args) {
    final List<String> s = new ArrayList<String>();
    s.add("kshitiz");

    // This is not typesafe. It should blow up at runtime
    final List<Integer> i = new ArrayList(s);
    System.out.println(getClass(i.get(0)));
    System.out.println(i.get(0).getClass());
}

以及javap -c的输出

  [...]
  26: getstatic     #8                  // Field java/lang/System.out:Ljava/io/PrintStream;
  29: aload_2
  30: iconst_0
  31: invokeinterface #9,  2            // InterfaceMethod java/util/List.get:(I)Ljava/lang/Object;
  36: invokestatic  #10                 // Method getClass:(Ljava/lang/Object;)Ljava/lang/Class;
  39: invokevirtual #11                 // Method java/io/PrintStream.println:(Ljava/lang/Object;)V
  42: getstatic     #8                  // Field java/lang/System.out:Ljava/io/PrintStream;
  45: aload_2
  46: iconst_0
  47: invokeinterface #9,  2            // InterfaceMethod java/util/List.get:(I)Ljava/lang/Object;
  52: checkcast     #12                 // class java/lang/Integer
  55: invokevirtual #2                  // Method java/lang/Object.getClass:()Ljava/lang/Class;
  58: invokevirtual #11                 // Method java/io/PrintStream.println:(Ljava/lang/Object;)V
  61: return

所以你看到，在第二次调用中，String 被强制转换为 Integer，而在第一种情况下，它被视为一个对象。 因此，只要像处理任何其他对象一样处理 String，一切都很好，但是一旦您调用列表元素类型的方法，该对象就会被强制转换为该类型。

Answer 2

Java 中的泛型被设计破坏了。

在您的List<Integer> i = new ArrayList(s); 中，您有一个原始的ArrayList。这意味着您忽略类型参数，它的工作方式就像它是Object。然后你（隐式地）将ArrayList 转换为List<Integer>，但在运行时不会检查泛型，因此 JVM 不关心不匹配。

当您执行 System.out.println(i.get(0)) 时，您不会将 String 转换为 Integer，因为调用了 'println(Object)` 方法。

在System.out.println(i.get(0).getClass()) 中，这个神奇的刹车因为某种原因（你可能可以在规范中找到这个原因，但我建议你不要这样做）你的String 被转换为Integer。