hashmap底层核心是put()全流程、resize()扩容机制、树化与退化条件;put需手写hash扰动、索引计算、桶内插入及树化判断;resize时元素重哈希后位于原下标或原下标加旧容量。

想真正吃透 HashMap 底层,光背概念没用。典型源码题是检验理解深度的试金石——它逼你把“数组+链表+红黑树”“扰动函数”“扩容重哈希”这些术语,还原成一行行可推演、可调试、可画图的逻辑链。下面这三类高频源码题,覆盖了面试和线上排查中最容易卡壳的核心环节。
一、put()全流程题:从 hash 计算到节点插入,每步都得能手写
这类题常问:“请手写 put 方法的关键步骤”,或给出一段简化伪代码让你补全逻辑。重点不在语法,而在能否说清关键决策点:
- 先调用 key.hashCode(),再进扰动函数(JDK8 是 h ^ (h >>> 16)),目的是让高16位参与索引计算,避免低位重复导致桶分布不均
- 索引计算用 hash & (table.length - 1),不是 % 运算——这是容量必须为 2 的幂的根本原因;若 table 长度为 16,-1 就是 15(二进制 1111),位与操作天然取低4位
- 找到桶后,分三种情况:桶为空直接 new Node 插入;桶头节点 key 相等则替换 value;否则遍历链表/红黑树,未命中则尾插(JDK8 链表用尾插,避免多线程死循环)
- 插入后判断是否需树化:链表长度 ≥ 8 且 table.length ≥ 64 才转红黑树;否则只触发扩容
二、扩容机制题:resize() 里元素怎么搬?为什么不能简单复制?
这是最容易答错的点。题目如:“HashMap 扩容时,原数组中下标为 5 的元素,新数组中可能在哪些位置?”答案不是“还是 5”,而是“5 或 5 + 原数组长度”。因为:
- 扩容后容量翻倍(如 16→32),新数组长度 n = oldCap
- 由于 n - 1 比 oldCap - 1 多一位,而 hash 值固定,所以新索引只取决于 hash 的新增那一位:若该位为 0,新索引 = 旧索引;若为 1,新索引 = 旧索引 + oldCap
- 因此每个桶里的节点,只需按 hash 新增位是 0 还是 1,拆成两个子链表,分别挂到新数组的两个位置——不用重新 hash,也不用遍历比较
- 这个设计让扩容时间复杂度控制在 O(n),而不是 O(n × 新容量)
三、并发与边界题:为什么多线程 put 可能导致死循环或数据丢失?
这类题直指线程不安全的本质。典型场景是两个线程同时触发 resize,然后同时搬运同一个桶:
- JDK7 中链表用头插法,多线程搬运时可能形成环形链表:线程A暂停在插入中途,线程B完成搬运并修改了 next 指针,A 恢复后继续头插,就把 B 的节点又插回自己前面,造成闭环
- JDK8 改用尾插,规避了环形链表,但仍有数据覆盖风险:两个线程计算出同一桶位置,各自新建 Node 后,后执行的 write 操作会覆盖先执行的,导致前一个 put 丢失
- 即使没丢数据,modCount 变量被多个线程并发修改,也会破坏 fail-fast 机制,使迭代器无法及时抛 ConcurrentModificationException
不复杂但容易忽略:真正掌握,是能把 resize 拆解成位运算图、能把 treeifyBin 跟 threshold 对应起来、能在白板上画出链表转红黑树时的左旋右旋节点关系。题做透了,原理自然就立住了。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











