如何创建可访问但不可变的静态数组字段？对《Effective Java》方案存疑

你提到的《Effective Java》里的这个点真的是Java开发里很容易踩的坑——哪怕是用public static final修饰的数组，本质上还是可变的！因为数组对象本身的元素是可以被修改的，完全违背了我们想让它成为不可变常量的初衷，甚至会变成安全漏洞。

先给你看一段典型的错误代码，就能明白问题出在哪：

public class BadArrayExample {
    // 看似是不可变的常量数组，实则不然
    public static final String[] COLORS = {"RED", "GREEN", "BLUE"};
}

客户端只要拿到这个数组，就能直接修改它的元素：

BadArrayExample.COLORS[0] = "YELLOW"; // 这行代码会直接改变原数组的内容！

这就导致原本应该固定的常量被悄悄修改，后续逻辑很容易出问题。

接下来咱们看看《Effective Java》里给出的两种解决方案，拆解下它们是怎么解决问题的：

方案一：返回数组的副本，而非原数组 #

核心思路是绝不直接暴露原数组，而是提供一个访问器方法，返回原数组的克隆副本。这样客户端拿到的只是原数组的拷贝，修改拷贝完全不会影响原数组的内容。

代码示例：

public class SafeArrayExample1 {
    // 原数组私有化，外部无法直接访问
    private static final String[] COLORS = {"RED", "GREEN", "BLUE"};

    // 访问器返回原数组的克隆版本
    public static String[] getColors() {
        return COLORS.clone();
    }
}

测试一下就知道效果了：

String[] colorsCopy = SafeArrayExample1.getColors();
colorsCopy[0] = "YELLOW";
// 原数组的内容完全没被修改，输出还是RED
System.out.println(SafeArrayExample1.getColors()[0]);

方案二：用不可变集合替代数组 #

这是更优雅也更安全的方式——直接把数组转换成不可变的集合类型，比如Java 9+的List.of()返回的不可变列表，或者用Collections.unmodifiableList()包装普通列表。这样客户端连修改的机会都没有，因为这类集合不支持任何修改操作。

代码示例（Java 9+）：

public class SafeArrayExample2 {
    // 直接创建不可变列表，公开这个常量
    public static final List<String> COLORS = List.of("RED", "GREEN", "BLUE");
}

如果是Java 8及以下，可以这么写：

import java.util.Collections;
import java.util.Arrays;
import java.util.List;

public class SafeArrayExample2 {
    private static final List<String> COLORS_LIST = Arrays.asList("RED", "GREEN", "BLUE");
    public static final List<String> COLORS = Collections.unmodifiableList(COLORS_LIST);
}

要是客户端尝试修改这个列表，比如调用COLORS.set(0, "YELLOW")，会直接抛出UnsupportedOperationException，从根源上阻止了修改行为，比返回数组副本更可靠。

简单总结下：这两种方案都是通过隔离客户端和可变的原数组对象来实现不可变性的——要么给客户端一个“假的”副本，要么直接换成完全不可变的容器，彻底杜绝了修改原数据的可能。

内容的提问来源于stack exchange，提问作者Georan