ConcurrentHashMap 的 value 字段不加 volatile,因其通过 Unsafe CAS 操作和内存屏障保障可见性,而非依赖字段修饰符;JDK 8/9+ 中 Node.value 均为普通字段,加 volatile 反增写屏障开销且无必要。

为什么 ConcurrentHashMap 的 value 字段不加 volatile?
因为 ConcurrentHashMap 本身不靠 volatile 保证 value 的可见性,而是通过 Unsafe 的 CAS 操作 + 内存屏障(如 UNSAFE.putObjectVolatile)在关键路径上施加更强的语义。value 字段本身是普通字段,但所有写入都发生在受控的原子操作中——比如 putVal 里对 Node.value 的赋值,实际由 UNSAFE.putObject 或带 volatile 语义的变体完成,不是直接裸赋值。
常见错误现象:
有人手动把 ConcurrentHashMap 的 value 类型改成 volatile Object,结果发现编译不过(泛型擦除后无法约束字段修饰符),或者自己封装了一个带 volatile value 的 Node,却忘了读写仍需同步控制——这时 volatile 单独存在毫无意义,甚至掩盖真正的线程安全漏洞。
- 使用场景:只有你自己实现并发容器时才需要考虑字段级 volatile;用标准
ConcurrentHashMap就别碰 value 字段的可见性 - 参数差异:JDK 8 中
Node的val是普通字段;JDK 9+ 引入TreeBin和ForwardingNode,其内部字段也未加volatile,逻辑一致 - 性能影响:给每个 value 加
volatile会显著增加写屏障开销,而ConcurrentHashMap的设计目标是写少读多,且写已天然序列化
什么时候必须给集合字段加 volatile?
当你暴露一个非线程安全集合的引用,并且多个线程可能同时读/写这个引用本身(不是集合内容)时,比如缓存单例、配置映射表等静态或成员变量。
典型错误:private Map —— 如果在初始化线程里构建完后,其他线程直接读取该字段,可能看到部分构造、甚至 null 引用(由于指令重排序)。
立即学习“Java免费学习笔记(深入)”;
- 正确做法:用
volatile修饰该字段,例如private volatile MapconfigMap; - 注意:这仅保证“引用”本身的可见性,不保证
configMap内部操作线程安全;若需运行时修改,仍得换成ConcurrentHashMap或加锁 - 兼容性:JDK 5+ 生效;JDK 1.4 及之前 volatile 语义弱,不能依赖
CopyOnWriteArrayList 的 elementData 为什么是 volatile?
因为 CopyOnWriteArrayList 的核心机制是“读不加锁、写复制”,每次写操作(add/set/remove)都会新建数组并用 volatile 写入 elementData 字段。读线程能立即看到新数组,靠的就是这个 volatile 写的 happens-before 保证。
容易踩的坑:
误以为 volatile 能让数组元素本身可见——其实不能。如果数组里存的是可变对象(比如 new AtomicReference(0)),改它的状态,仍需对象自身同步;volatile 只管 elementData 这个引用换没换。
- 使用场景:适合读远多于写的场合,比如监听器列表、配置快照
- 性能影响:写操作要数组复制 + volatile 写,代价高;频繁写时比
ConcurrentLinkedQueue慢得多 - 示例:
volatile Object[] elementData;在 JDK 源码中明确声明,不可省略
自定义并发集合时,volatile 字段的边界在哪?
volatile 只解决单个字段的可见性与重排序问题,它不能替代锁或 CAS 来保护复合操作。比如你写一个简易的无锁栈,即使 top 指针用 volatile,push 仍需 CAS 循环,否则两个线程同时 push 会丢失节点。
真实调试中常遇到:
看到某个字段加了 volatile 就以为“线程安全了”,结果在多线程下出现数据覆盖、计数不准、链表断裂——根本原因是漏掉了对操作原子性的保障。
- 原则:volatile 用于状态标志(running、closed)、引用替换(head/tail)、或作为 CAS 的基础字段;绝不用于保护“读-改-写”流程
- 替代方案:优先用
AtomicReferenceFieldUpdater控制字段级原子更新,比反射 + volatile 更安全可控 - 复杂点在于:volatile 和 final 在构造期间的交互很微妙;如果在构造器里把 this 逸出,volatile 字段也可能被其他线程看到初始值而非写入值










