volatile修饰引用类型时仅保证引用本身可见，不保证所指对象内部字段或数组元素的可见性；引用重新赋值（如obj=new X()）对所有线程立即可见，但list.add()、arr[0]=1等操作无volatile语义，需额外同步措施。
volatile 修饰引用类型变量时，可见性只作用于“引用本身”，不延伸到引用所指向的对象内部字段。
引用值的修改对所有线程立即可见
当一个 volatile 引用变量被重新赋值（例如 obj = new MyClass() 或 arr = new int[5]），这个新地址会立即写入主内存，其他线程读取该引用时，一定能拿到最新的对象或数组地址。
这意味着：线程间能可靠感知“换了个对象”或“换了数组实例”，比如用于状态切换、配置更新、单例初始化等场景。
对象内部字段不自动获得 volatile 语义
如果只是声明 public volatile List<string> list = new ArrayList()</string>，那么：
立即学习“Java免费学习笔记（深入）”；
- list = new ArrayList() 这个赋值操作是可见的；
-
list.add("item") 这类调用——修改的是 ArrayList 内部的
elementData、size等字段——这些字段本身不是 volatile，其变更对其他线程不可见； - 多个线程并发调用
add仍可能引发数据错乱或丢失，因为缺乏原子性和可见性保障。
数组元素的读写也不受 volatile 保护
声明 public volatile int[] arr = new int[3] 后：
-
arr = new int[5]是可见的； -
arr[0] = 1这个写操作不具有 volatile 语义——它写的是数组对象的堆内存元素，而非引用变量本身； - 其他线程可能读不到刚写入的
arr[0]值，也不能防止指令重排序影响该写操作的执行顺序。
需要深层可见性时得另做处理
若需保证对象状态整体可见，常见做法包括：
- 用
final字段 + 不可变对象（如volatile Config config = new Config(...)）； - 对共享对象内部状态加锁（
synchronized或ReentrantLock）； - 使用线程安全容器（如
CopyOnWriteArrayList、ConcurrentHashMap）； - 将关键字段单独声明为 volatile（如
volatile int version），配合业务逻辑判断状态一致性。
