Java中泛型（擦除）是如何检索类型信息的？

Question

通过使用泛型，我们可以在编译过程中检测到任何可能的错误。例如

List<String> list = new ArrayList<String>();
//list.add(new Integer(45)); This will cause compilation error.
list.add("car");
list.add("bus");
list.add("bike");
String vehicle = list.get(0); //compiler-generated cast

当我们在Java1.5之前使用原始类型而不是泛型时，它需要显式转换。例如，

List list2 = new ArrayList();
    list.add("car");
    list.add("bus");
    list.add("bike");
    String vehicle = (String)list.get(0); //explicit casting is necessary

然而，对于泛型，会发生类型擦除。也就是说，类型信息在运行时丢失。如果，也就是说，JVM如何知道它在运行时检索的对象类型，是字符串对象还是person对象（上面由编译器生成的cast）。但这对泛型有效，这可能会导致运行时错误。

List<Object> test = new ArrayList<Object>();
            test.add("hello");
            test.add(new Integer(34));

最后，Joshua Bloch在第115页（第23项，有效java）中提到，Set

我确实明白他上述声明的意思。一些澄清将有所帮助




Answer 1

泛型由Java编译器作为称为擦除的前端转换来实现。类型擦除适用于泛型的使用。当使用泛型时，它们被转换为编译时检查和运行时类型转换。

由于类型擦除机制，此代码：

List<String> a = new ArrayList<String>();
a.add("foo");
String x = a.get(0);

被编译成：

List a = new ArrayList();
a.add("foo");
String x = (String) a.get(0);

请注意，在类型擦除后，额外的强制转换插入到编译编译代码中。

注：@chrylis已经很好地解释了你问题的第二部分。

Answer 2

我不是很确定，但我所理解的是，在运行时类型信息丢失是因为在运行时，集合不可能是某种特定类型的。如果将字符串添加到集合中，它将仅为字符串，但集合不强制所有元素都应为字符串

Answer 3

编译器在从泛型方法检索项时插入强制转换操作；这是JVM知道的处理list结果的唯一方法。获取（0）作为字符串。这就是为什么堆污染（在泛型集合中插入错误类型的对象）会在运行时导致ClassCastException。

关于通配符：

• Set