java - 为什么原始类型引用可以引用泛型实例？

Question

<分区>

Answer 1

Map<Object,Object> map2 = new HashMap<String,String>();

As per my understanding

Map map1 is same as

Map<Object,Object> map1

没有。 Map与 Map<Object,Object> 不同.

HashMap<T,T> 类型的引用是 Map 类型引用的子类型.换句话说，类型为 Map 的引用可以引用 HashMap<String,String> 类型的对象.

另一方面，类型为 HashMap<T,T> 的引用不是 Map<E,E> 类型引用的子类型(即使 T 是一个 E 和 HashMap 是一个 Map )。换句话说，类型为 Map<Object,Object> 的引用不能引用 HashMap<String,String> 类型的对象即使String是一个Object和 HashMap是一个Map .

如果您想知道为什么在泛型情况下引用子类型的规则以这种方式工作，我可以根据我的理解给出一个解释。泛型是语法糖，经过所谓的type-erasure。一旦代码被编译。即 HashMap<String,String>编译后变成 HashMap .

如果编译器允许语句 Map<Object,Object> map = new HashMap<String,String> , 它会误导程序员相信 Map只能容纳String运行时的键和值。这将是荒谬的，因为泛型经历了 type-erasure在编译时本身。

声明Map map = new HashMap<String,String>另一方面，主要是为了与遗留代码向后兼容。