还有一个更重要的原因，它在技术上不能做到，因为它破坏了地图。

Java has polymorphic generic construction like <? extends SomeClass>. Marked such reference can point to type signed with <AnySubclassOfSomeClass>. But polymorphic generic makes that reference readonly. The compiler allows you to use generic types only as returning type of method (like simple getters), but blocks using of methods where generic type is argument (like ordinary setters). It means if you write Map<? extends KeyType, ValueType>, the compiler does not allow you to call method get(<? extends KeyType>), and the map will be useless. The only solution is to make this method not generic: get(Object).

我认为泛型教程的这一部分解释了这种情况(我的重点):

“你需要确保通用API没有过度限制;它必须 继续支持原API合同。再来看一些例子 从java.util.Collection。泛型前API看起来像这样:

interface Collection { 
  public boolean containsAll(Collection c);
  ...
}

一种天真的概括是:

interface Collection<E> { 
  public boolean containsAll(Collection<E> c);
  ...
}

虽然这肯定是类型安全的，但它不符合API的原始契约。 containsAll()方法适用于任何类型的传入集合。它只会 如果传入的集合真的只包含E的实例，则成功，但是:

传入的静态类型 收藏可能有所不同 因为调用者不知道 集合的精确类型 传入，或者因为它是 集合<S>，其中S是a E的子类型。 它是完美的 使用containsAll()调用是合法的 不同类型的集合。的 程序应该工作，返回false。”

向后兼容，我想。Map(或HashMap)仍然需要支持get(Object)。

谷歌的一名出色的Java编码器Kevin Bourrillion不久前在一篇博客文章中就这个问题写了一篇文章(当然是在Set而不是Map的上下文中)。最相关的句子:

的方法 Collections框架(和谷歌. Collections框架) 收藏图书馆也是)从不 限制其参数的类型 除非是为了预防 收集从破碎。

我不完全确定我是否同意这一原则——例如，. net似乎需要正确的键类型就可以了——但值得遵循博客文章中的推理。(提到。net之后，有必要解释一下，为什么在。net中它不是问题的部分原因是。net中存在更大的问题，即更有限的方差…)

兼容性。

在泛型可用之前，只有get(Object o)。

如果他们改变了这个方法来获得(<K> o)，这可能会迫使java用户进行大量的代码维护，只是为了让正常的代码重新编译。

他们可以引入一个额外的方法，比如get_checked(<K> o)，并弃用旧的get()方法，这样就有了一个更温和的过渡路径。但出于某种原因，这并没有做到。(我们现在所处的情况是，需要安装findBugs之类的工具来检查get()参数和map的声明键类型<K>之间的类型兼容性。)

我认为与.equals()的语义相关的参数是虚假的。(从技术上讲，他们是正确的，但我仍然认为他们是假的。如果o1和o2没有任何共同的超类，任何头脑正常的设计师都不会让o1.equals(o2)为真。)

还有一个更重要的原因，它在技术上不能做到，因为它破坏了地图。

Java has polymorphic generic construction like <? extends SomeClass>. Marked such reference can point to type signed with <AnySubclassOfSomeClass>. But polymorphic generic makes that reference readonly. The compiler allows you to use generic types only as returning type of method (like simple getters), but blocks using of methods where generic type is argument (like ordinary setters). It means if you write Map<? extends KeyType, ValueType>, the compiler does not allow you to call method get(<? extends KeyType>), and the map will be useless. The only solution is to make this method not generic: get(Object).