volatile只保证数组或对象引用本身的可见性，不保证其内部元素或字段的可见性；例如volatile int[] arr仅使arr引用的重赋值可见，而arr[0]=1等操作仍无可见性保障，node内部字段也需单独声明volatile才能保证同步。
volatile 修饰数组或对象时，只保证引用本身的可见性，不保证数组元素或对象内部字段的可见性。这是理解 volatile 在复杂结构中行为的关键前提。
volatile 数组：只保引用，不保元素
声明如 volatile int[] arr = new int[1];，意味着：
- 其他线程能立即看到 arr 引用是否被重新赋值（比如指向新数组），因为 volatile 写操作会刷新引用到主内存；
- 但
arr[0] = 1;这类对数组元素的写入，仍是普通写操作——不触发 volatile 语义，不刷新缓存，也不加内存屏障； - 因此，线程 A 修改
arr[0]后，线程 B 可能仍读到旧值，除非该字段本身也用 volatile 修饰（但 Java 不允许volatile int[]中的元素直接加 volatile）。
volatile 对象引用：同理，只保“谁”，不保“里面”
例如：volatile Node node = new Node();
- 若后续执行
node = new Node();，其他线程能立即看到 node 指向了新对象； - 但若仅修改
node.value = 42;，而value字段未声明为 volatile，则该修改不具备可见性保障； - CHM（ConcurrentHashMap）JDK8 中的
transient volatile Node<k>[] table</k>正是利用这一点：扩容时替换整个 table 引用需可见；而每个 Node 内部的val和next字段单独用 volatile 修饰，才确保链表遍历时读到最新值。
为什么不能靠 volatile 保证复合结构的一致性？
根本原因在于 volatile 的作用范围是单个变量读写操作，而非其内容结构：
- 数组是一个对象，
arr是引用变量，volatile 作用于该引用变量； - 对象字段是独立变量，volatile 必须显式加在每个需保障可见性的字段上；
- 没有“volatile 深度递归”机制——JVM 不会自动将 volatile 语义传播到子成员。
实际使用建议
要安全地在并发中使用数组或对象，需分层处理：
- 若需原子替换整个结构（如切换配置数组），用 volatile 引用 + 不可变元素（如 final 字段）或配合 CAS；
- 若需频繁读写内部数据，优先考虑
AtomicIntegerArray、AtomicReferenceArray或java.util.concurrent包中的线程安全容器； - 自定义对象中关键状态字段（如 flag、count、next 节点）必须单独声明为 volatile，不能依赖外层引用的 volatile 修饰；
- 避免用 volatile 修饰可变对象引用并期望其内部状态自动可见——这是常见误用。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
