大厂面试题-为什么ConcurrentHashMap中key不允许为null

目录

考察目标

问题解析

问题解答

---

考察目标

这是一个基础问题，主要考察1到3年经验的开发人员，ConcurrentHashMap在实际应用中使用频率较高，考察这个问题的目的，是了解求职者的基本功。

所以为了表现更好，可以从ConcurrentHashMap的设计角度去回答。

问题解析

打开ConcurrentHashMap的源码

在put方法里面，可以看到这样一段代码(如图)

如果key或者value为空，则抛出空指针异常。

但是为什么ConcurrentHashMap不允许key或者value为空呢？

简单来说，就是为了避免在多线程环境下出现歧义问题。

所谓歧义问题，就是如果key或者value为null，当我们通过get(key)获取对应的value的时候，如果返回的结果是null，我们没办法判断，它是put(k,v)的时候，value本身为null值，还是这个key本身就不存在。

比如在这样一种情况下(如图)，线程t1调用containsKey方法判断key是否存在，假设当前这个key不存在，本来应该返回false。

但是在T1线程返回之前，正好有一个T2线程插入了这个key，但是value为null。这就导致原本T1线程返回的结果有可能是true，有可能是false，取决于T1和T2线程的执行顺序。

这种现象我们可以认为是线程安全性问题，而ConcurrentHashMap又是一个线程安全的集合，所以自然就不允许key或者value为null。

而HashMap中是允许存null的，因为它不需要考虑到线程安全性问题。

所以这个问题的核心本质还是ConcurrentHashMap这个并发安全性集合的特性。当然。Doug Lea还认为，不管是否是并发安全的集合，它都不应该允许存储null。

问题解答

ConcurrentHashMap这么设计的原因是为了避免在多线程并发场景下的歧义问题。也就是说，当一个线程从ConcurrentHashMap获取某个key，如果返回的结果是null的时候。

这个线程无法确认，这个null表示的是确实不存在这个key，还是说存在key，但是value为空。

这种不确定性会造成线程安全性问题，而ConcurrentHashMap本身又是一个线程安全的集合，所以才这么设计！