ConcurrentHashMap 的 get 方法完全不需要加锁，因其纯读操作不修改共享状态，依赖 volatile 可见性与 final 不可变性保障线程安全：volatile 修饰 table、val、next 确保即时可见，final 修饰 hash 和 key 保证不可变，读操作全程无状态变更，写操作锁粒度仅限单桶且与读隔离。
ConcurrentHashMap 的 get 方法完全不需要加锁，是因为它本质上是一个纯读操作，不修改任何共享状态，同时依靠 JVM 内存模型的关键机制——volatile 可见性和final 不可变性——来保证多线程下读到的数据始终一致、安全、及时。
volatile 保障关键字段的即时可见
ConcurrentHashMap 的底层设计把所有可能被并发写入、又需要被并发读取的字段都用 volatile 修饰：
- table 数组引用 是 volatile 的：扩容后新数组的赋值对所有线程立即可见，get 能马上切换到新表查找；
- Node.val 和 Node.next 都是 volatile 的：put 写入值或链接下一个节点后，get 遍历链表时不会看到“半初始化”或“缓存旧值”的状态；
- 即使没有锁，JVM 的 happens-before 规则也确保：一个线程对 volatile 字段的写，对其他线程后续对该字段的读是可见的。
读操作全程无状态、不修改结构
get 方法只做定位和比对，不触发任何变更：
- 计算 hash → 定位桶 → 检查首节点 → 若匹配则返回 val；
- 若为链表，逐个遍历 next，只读不改指针、不增删节点；
- 若为红黑树，调用 TreeBin.find()，该方法内部虽有读锁（用于保护树结构稳定），但这是 TreeBin 自身的轻量级读锁，不是 ConcurrentHashMap 的全局锁或桶锁，也不影响其他桶的 get 并发；
- 整个过程不改变 table、不修改 Node 字段、不触发扩容、不调整结构 —— 没有竞态条件可被破坏。
写操作的锁与读操作天然隔离
ConcurrentHashMap 的同步策略是“写锁粒度极小，读完全不参与”：
立即学习“Java免费学习笔记（深入）”；
- put/remove 等写操作只锁定目标桶的首节点（synchronized(first)），甚至用 CAS 尝试无锁写入；
- 同一桶正在写时，其他线程的 get 仍可并发执行：读取的是当前已存在的节点，而写操作要么在插入新节点，要么在替换旧节点，两者不冲突；
- 扩容期间，旧桶迁移过程中会插入 ForwardingNode，get 遇到它会自动转向新表查找，整个桥接逻辑由 find() 封装，依然不加锁。
节点设计强化读的安全边界
Node 类本身就是一个“读友好型”结构：
- hash 和 key 是 final：构造后不可变，get 比对 key 时无需担心中途被改写；
- val 是 volatile：确保 put 成功写入后，get 一定能读到最新值（注意：仅限 val 引用本身，不延伸到其指向对象的内部状态）；
- 所有节点插入都通过 CAS 或 synchronized 保证原子写入数组或 next 指针，一旦写入成功，就对所有 get 线程可见且稳定。
