奇怪的Java类型行为

Question

我在Map.entrySet的通用类型中看到了一些我不了解的行为。 如果我遍历一个类型化的映射，我会得到预期的类型，例如

HashMap<A,B> map = new HashMap<>();
for(Map.Entry<A,B> e: map.entrySet(){ ... }

但是，如果我有一个无类型的映射，则该条目集的迭代类型将报告为Object：

HashMap map = new HashMap();
a) for (Map.Entry e: map.entrySet(){ ... } // this will fail, e is being reported as "Object"
b) for (Object o: map.entrySet(){ ... } // this is compilable.

我不应该能够像语句a）中那样获得未键入的条目吗？ 如果我看一下jvm中的hashmap实现，则会看到以下内容：

c) public Set<Map.Entry<K,V>> entrySet() { ...

此行为似乎暗示着，因为在第二个示例中未指定K，V，因此某种程度上省略了c）中设置内容的整个键入。 谁能对此有所启示？ 这是预期的行为吗？

Answer 1

entrySet方法返回Set<K, V> 。 但是，当您为HashMap使用原始类型时，该类型中的所有泛型都会进行类型擦除，而entrySet方法仅返回Set 。 遍历原始Set将产生Object 。