- 正确答案：HashMap和ConcurrentHashMap的主要区别在于线程安全性、性能表现以及内部实现机制。HashMap是非线程安全的，适用于单线程环境；而ConcurrentHashMap是线程安全的，专为高并发场景设计，允许多个线程同时读写而不会导致数据不一致。此外，两者在锁机制、迭代器行为、对null值的支持等方面也存在显著差异。 - 解答思路：要回答这个问题，首先需要明确两个类的基本用途——都是基于哈希表实现的键值对存储结构。然后从线程安全、并发控制方式、性能、是否支持null键/值、迭代器特性等维度进行对比分析。重点应放在底层实现原理上，尤其是JDK不同版本中ConcurrentHashMap的演变（如JDK 7的Segment分段锁 vs JDK 8的CAS+synchronized）。 - 深度知识讲解： 1. 线程安全性： - HashMap不是线程安全的。多个线程同时操作HashMap可能导致结构破坏，例如在扩容过程中形成链表环（在JDK 7中尤为严重），从而引发死循环。 - ConcurrentHashMap通过细粒度锁机制或无锁算法保证线程安全，允许多个线程并发访问不同桶而不互相阻塞。 2. 实现原理与锁机制： - 在JDK 7中，ConcurrentHashMap采用“分段锁”（Segment）机制。整个哈希表被划分为多个Segment（继承自ReentrantLock），每个Segment管理一部分HashEntry数组。读操作无需加锁，写操作只锁定对应的Segment，提高了并发度。结构示意： ConcurrentHashMap -> Segment[0] ... Segment[N] ↓ HashEntry数组 - 在JDK 8及以后版本，ConcurrentHashMap重构为使用Node数组 + 链表/红黑树结构，类似于HashMap，但加入了并发控制： - 使用CAS（Compare-And-Swap）操作结合volatile关键字实现无锁化更新头节点。 - 当发生冲突时，使用synchronized关键字对链表头节点加锁（即“同步到节点”级别），而不是整个桶或表。 - 引入了sizeCtl、transferIndex等volatile字段来协调多线程扩容操作。 3. 对null的支持： - HashMap允许一个null键和多个null值。 - ConcurrentHashMap不允许null键或null值。这是因为在并发环境下，get(key)返回null无法判断是键不存在还是值为null，容易引发歧义和空指针异常。 4. 迭代器行为： - HashMap的迭代器是fail-fast的，在遍历过程中如果其他线程修改了map，会抛出ConcurrentModificationException。 - ConcurrentHashMap的迭代器是弱一致性的（weakly consistent），不会抛出ConcurrentModificationException。它基于当前快照进行遍历，可以容忍一定程度的并发修改。 5. 性能对比： - 单线程下，HashMap性能最优，因为没有同步开销。 - 多线程环境下，ConcurrentHashMap远优于使用Collections.synchronizedMap(new HashMap<>())的方式，后者是对整个map加锁，串行化程度高。 6. 扩容机制（JDK 8）： - ConcurrentHashMap支持多线程协同扩容。当某个线程发现需要扩容时，会触发transfer过程，并由多个线程共同搬运旧数组中的节点到新数组。通过volatile变量控制进度，避免重复工作。 - 相关代码示例（JDK 8 ConcurrentHashMap核心结构片段）： ``` // Node节点定义（简化） static class Node implements Map.Entry { final int hash; final K key; volatile V val; // 值用volatile修饰，保证可见性 volatile Node next; // 下一个节点也用volatile ... } // put方法关键逻辑（伪代码形式） final V putVal(K key, V value, boolean onlyIfAbsent) { if (key == null || value == null) throw new NullPointerException(); // 不允许null int hash = spread(key.hashCode()); // 扰动函数计算hash int binCount = 0; for (Node[] tab = table;;) { Node f; int n, i, fh; if (tab == null || (n = tab.length) == 0) tab = initTable(); // 初始化表，使用CAS保证只有一个线程初始化成功 else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) { // 如果该位置为空，尝试用CAS插入 if (casTabAt(tab, i, null, new Node(hash, key, value))) break; } else if ((fh = f.hash) == MOVED) { // 正在扩容，协助迁移数据 tab = helpTransfer(tab, f); } else { V oldVal = null; synchronized (f) { // 锁住当前链表头节点 if (tabAt(tab, i) == f) { if (fh >= 0) { // 链表节点 binCount = 1; for (Node e = f;; ++binCount) { K ek; if (e.hash == hash && ((ek = e.key) == key || (ek != null && key.equals(ek)))) { oldVal = e.val; if (!onlyIfAbsent) e.val = value; break; } Node pred = e; if ((e = e.next) == null) { pred.next = new Node(hash, key, value); break; } } } else if (f instanceof TreeBin) { // 红黑树处理 ... } } } if (binCount != 0) { if (binCount >= TREEIFY_THRESHOLD) treeifyBin(tab, i); // 转为红黑树 if (oldVal != null) return oldVal; break; } } } addCount(1L, binCount); // 更新元素总数，可能触发扩容 return null; } ``` - 扩展知识点： - CAS（Compare-and-Swap）：一种原子操作，用于实现无锁编程。Java中通过Unsafe类提供支持，如AtomicInteger内部就使用了CAS。 - volatile关键字：保证变量的内存可见性和禁止指令重排序，但在ConcurrentHashMap中仅用于状态标志和引用字段。 - 分段锁（Segment）的设计思想来源于数据库中的分区锁机制，目的是降低锁粒度。 - ConcurrentHashMap的size()方法不再直接返回全局计数，而是通过baseCount和CounterCell数组累加得到，避免统计时加锁影响性能。总结：HashMap适合单线程快速存取；ConcurrentHashMap则是在高并发下推荐使用的线程安全Map实现，其通过精细化的并发控制策略（CAS+synchronized+volatile）实现了高性能与安全性的平衡。理解其底层实现有助于写出更高效的并发程序。

广联达一面

全站热榜

创作者周榜