为何HashMap指定泛型后传入非指定类型key不抛出异常？

API 探路者

2026-5-9

Why doesn't HashMap<Integer, String> throw an error when calling get("hello")?

你观察得太到位了！这事儿本质是Java泛型的类型擦除机制在搞鬼，咱们掰开揉碎了说：

1. Java泛型是「编译期语法糖」，运行时没痕迹

Java的泛型信息只在编译阶段管事儿，一旦代码编译成字节码，所有泛型参数都会被「擦除」。比如你定义的HashMap<Integer, String>，编译后就变回了最原始的HashMap——JVM运行时完全不知道这个Map本来规定键是Integer类型。

你看HashMap的get方法，擦除后的实际签名是这样的：

public Object get(Object key) {
    // 内部只看key的hashCode和equals，不管类型
}

所以不管你传String、Double还是啥，运行时方法都照单全收，根本不会做类型校验。

2. 为啥编译期也没报错？

这是编译器的兼容性设计导致的。get方法的泛型签名是get(K key)，但擦除后参数是Object，而String是Object的子类，编译器觉得这个调用合法，就没拦着。

但你要是试试hash1.put("hello", "test")，编译器立马就报错！因为put是写入操作，泛型要求键必须是Integer，编译器会严格校验；而get是读取操作，参数本质是Object，所以允许传任意类型——毕竟读的时候只是用key的equals找对应值，找不到就返回null而已。

3. 为啥`get("hello")`返回null？

HashMap找元素靠两步：先算key的hashCode()找哈希桶，再用equals()挨个比。你传的String"hello"和Integer类型的键，首先hashCode大概率不一样，就算哈希冲突了，equals()比较时因为类型不同（Integer和String），直接返回false，自然找不到对应值，就返回null了。