面试题：Java 中能创建 volatile 数组吗？

1. `volatile` 关键字的作用

volatile 是 Java 中的一个关键字，用于修饰变量，确保变量的可见性和有序性：

可见性：当一个线程修改了 volatile 变量的值，其他线程可以立即看到修改后的值。
有序性：禁止指令重排序，确保 volatile 变量的读写操作按照代码顺序执行。

2. 能否创建 `volatile` 数组？

可以，但需要注意以下几点：

2.1 `volatile` 修饰数组引用

如果使用 volatile 修饰数组引用，例如：
```
volatile int[] array = new int[10];
```
作用：
- 确保数组引用的可见性。如果一个线程修改了数组引用（如指向一个新的数组），其他线程可以立即看到新的引用。
- 不保证数组元素的可见性。如果多个线程修改数组中的元素，仍然需要额外的同步机制（如 synchronized 或 AtomicIntegerArray）。

2.2 `volatile` 不能修饰数组元素

Java 不允许直接使用 volatile 修饰数组中的元素。例如，以下代码是非法的：
```
int volatile[] array = new int[10]; // 编译错误
```
如果需要保证数组元素的可见性，可以使用以下方法：
- 使用 AtomicIntegerArray、AtomicLongArray 等原子类。
- 使用 synchronized 块或锁来保护数组的读写操作。

3. 示例代码

3.1 `volatile` 修饰数组引用

public class VolatileArrayExample {
    private volatile int[] array = new int[10];

    public void updateArray() {
        int[] newArray = new int[10];
        newArray[0] = 1; // 修改新数组
        array = newArray; // 更新数组引用
    }

    public void printArray() {
        System.out.println(array[0]); // 读取数组引用
    }

    public static void main(String[] args) {
        VolatileArrayExample example = new VolatileArrayExample();
        new Thread(() -> {
            example.updateArray();
        }).start();

        new Thread(() -> {
            example.printArray();
        }).start();
    }
}

在这个例子中，volatile 确保了 array 引用的可见性。当一个线程更新 array 引用时，另一个线程可以立即看到新的数组。

3.2 使用 `AtomicIntegerArray` 保证元素可见性

import java.util.concurrent.atomic.AtomicIntegerArray;

public class AtomicArrayExample {
    private AtomicIntegerArray array = new AtomicIntegerArray(10);

    public void updateArray() {
        array.set(0, 1); // 原子更新数组元素
    }

    public void printArray() {
        System.out.println(array.get(0)); // 原子读取数组元素
    }

    public static void main(String[] args) {
        AtomicArrayExample example = new AtomicArrayExample();
        new Thread(() -> {
            example.updateArray();
        }).start();

        new Thread(() -> {
            example.printArray();
        }).start();
    }
}

AtomicIntegerArray 提供了原子操作，确保数组元素的可见性和线程安全。

4. 总结

特性	`volatile` 数组引用	`AtomicIntegerArray`
作用对象	数组引用	数组元素
可见性	保证数组引用的可见性	保证数组元素的可见性
线程安全	不保证数组元素的线程安全	保证数组元素的线程安全
适用场景	需要保证数组引用更新的可见性	需要保证数组元素操作的原子性和可见性