假定ConcurrentHashMap也可以存放value为null的值。那不管是HashMap还是ConcurrentHashMap调用map.get(key)的时候,如果返回了null,那么这个null,都有两重含义:
1.这个key从来没有在map中映射过。
2.这个key的value在设置的时候,就是null。
但是hashmap可以通过 containskey来确定到底是哪一个原因!
而多线程情况下,ConcurrentHashMap中的value不能为null
证明如下:
ConcurrentHashMap的使用场景为多线程。
用反证法来推理,假设concurrentHashMap允许存放值为null的value。
这时有A、B两个线程。
线程A调用concurrentHashMap.get(key)方法,返回为null,我们还是不知道这个null是没有映射的null还是存的值就是null。
我们假设此时返回为null的真实情况就是因为这个key没有在map里面映射过。那么我们可以用concurrentHashMap.containsKey(key)来验证我们的假设是否成立,我们期望的结果是返回false。
但是在我们调用concurrentHashMap.get(key)方法之后,containsKey方法之前,有一个线程B执行了concurrentHashMap.put(key,null)的操作。那么我们调用containsKey方法返回的就是true了。这就与我们的假设的真实情况不符合了。也就是上面说的二义性。
上面也说了,hashmap可以key为null,但可以存在多个null吗?
static final int hash(Object key) {
int h;
return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
}
final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
boolean evict) {
Node[] tab; //临时表,赋值为table
Node p; //临时节点
int n, i;
if ((tab = table) == null || (n = tab.length) == 0) //table为空,显然是第一次插入
n = (tab = resize()).length; //resize()方法开辟空间,首地址返回给tab
if ((p = tab[i = (n - 1) & hash]) == null) //根据哈希值计算插入元素在table中的位置,如果是空,说明这个位置没有被占用过,直接放入
tab[i] = newNode(hash, key, value, null); //在table中的这个位置放入元素,注意,这里说明table存储的不是头指针,是数据
else {
Node e; K k; //这个e表示的是待覆盖的节点
if (p.hash == hash &&
((k = p.key) == key || (key != null && key.equals(k)))) //说明table某个位置上的元素和待插入元素的key的哈希值相同,而且equals()方法也成立,应该用新value覆盖旧的value
e = p; //记录这个位置,待覆盖
else if (p instanceof TreeNode) //判断是不是红黑树,红黑树太复杂了,看不懂
e = ((TreeNode)p).putTreeVal(this, tab, hash, key, value);
else { //这个是链表情况
for (int binCount = 0; ; ++binCount) { //binCount记录链表长度
if ((e = p.next) == null) {
p.next = newNode(hash, key, value, null); //到表尾了,一路没有发现应该覆盖的节点,将新节点插在表尾
if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
treeifyBin(tab, hash); //如果长度大于阈值,转换为红黑树
break;
}
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
break;
p = e; //说明链表某个位置上的元素和待插入元素的key的哈希值相同,而且equals()方法也成立,应该用新value覆盖旧的value
}
}
if (e != null) { // existing mapping for key
V oldValue = e.value;
if (!onlyIfAbsent || oldValue == null)
e.value = value;
afterNodeAccess(e);
return oldValue; //覆盖
}
}
++modCount;
if (++size > threshold) //扩容操作,可见只看元素的总个数
resize();
afterNodeInsertion(evict);
return null;
}
这里调出源码进行分析,由于hashmap方法里面,当k==null返回0
所以只要key为null就将Node插入到索引为0的桶当中,那下一个null来了怎么办
源码当中写了,首先判断这个存在的节点,如果它们的hashcode相等,下一步判断key是否相同,这里判断用到了||,就是地址一样(都是null也成了),或者equals相同也可以,就进行替换,
所以得出结论:hashmap 当中 key为null的只有一个!!!
那么在hashmap当中 value可以为null吗?那当然可以,因为我们没有对value进行限制
那ConcurrentHashMap当中的key呢为什么不能为null?
可以看到进行了判断处理,但最终我们还是认为目的是避免了二义性