AtomicReferenceArray提供线程安全的对象数组原子操作，基于CAS和volatile语义实现元素级并发控制，适用于高并发下无锁更新数组元素的场景。
在Java中，AtomicReferenceArray 是 java.util.concurrent.atomic 包提供的一个线程安全的数组类，用于对对象数组的元素进行原子性更新。它适用于需要在多线程环境下安全地读取和修改数组元素的场景，而无需使用 synchronized 或显式锁。
AtomicReferenceArray 的基本特点
与普通的数组不同，AtomicReferenceArray 提供了基于 volatile 语义和 CAS（Compare-And-Swap）机制的方法来保证单个元素操作的原子性。它不支持数组整体的原子操作，但能确保每个索引位置的读写是线程安全的。
- 内部存储的是引用类型（如 String、自定义对象等）
- 所有 get 和 set 操作默认具有 volatile 语义
- 提供 compareAndSet 方法实现条件更新
- 不会对数组本身加锁，性能优于同步容器
创建和初始化 AtomicReferenceArray
可以通过指定大小或从已有数组复制来创建实例：
// 创建一个长度为10的空数组
AtomicReferenceArray<String> array = new AtomicReferenceArray<>(10);
// 使用已有数组初始化（会复制内容）
String[] init = {"a", "b", "c"};
AtomicReferenceArray<String> array2 = new AtomicReferenceArray<>(init);
常用原子操作方法
以下是一些核心方法及其用途：
立即学习“Java免费学习笔记（深入）”；
java-api-doc-generator
下载
分析 Java Spring Boot 后端 Controller 代码，自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。
- get(int index)：获取指定位置的值，具有 volatile 读的内存语义
- set(int index, E value)：设置新值，具有 volatile 写的内存语义
- compareAndSet(int index, E expect, E update)：如果当前值等于预期值，则更新为新值，CAS 操作
- lazySet(int index, E value)：延迟设置值，性能更好但刷新主存时机不确定
- getAndSet(int index, E newValue)：原子地设置新值并返回旧值
实际使用示例
假设我们有一个共享的状态数组，多个线程需要更新某个位置的状态：
AtomicReferenceArray<String> states = new AtomicReferenceArray<>(5);
// 线程1尝试更新索引2的状态
boolean success = states.compareAndSet(2, null, "RUNNING");
if (success) {
System.out.println("状态设置成功");
} else {
System.out.println("状态已被其他线程修改");
}
// 线程2安全读取
String current = states.get(2);
System.out.println("当前状态：" + current);
// 原子交换
String old = states.getAndSet(2, "FINISHED");
System.out.println("旧状态：" + old);
这个例子展示了如何通过 compareAndSet 避免竞态条件，比如只在状态为空时才设置为运行中。
适用场景与注意事项
AtomicReferenceArray 特别适合以下情况：
- 高并发下频繁更新数组中个别元素
- 用作无锁数据结构的基础组件（如无锁队列、缓存槽位）
- 替代 volatile Object[] 数组以获得更细粒度的控制
需要注意：
- 仅保证单个元素操作的原子性，不能保证复合操作（如先读后改）的原子性
- 数组大小一旦创建不可变
- 不支持 null 值的 compareAndSet 判断（某些 JVM 实现可能限制）
