为什么要将一个私有字段的副本声明为“final”`

Question

约书亚·布洛赫在高效的Java中写道：

请注意，非零长度数组总是可变的，因此类具有公共静态最终数组字段或返回此类字段的访问器是错误的。如果类具有这样的字段或访问器，客户端将能够修改数组的内容。这是安全漏洞的常见来源：

// Potential security hole!
public static final Thing[] VALUES = { ... };

请注意，许多IDE生成的访问器会返回对私有数组字段的引用，这恰恰导致了这个问题。有两种方法可以解决这个问题。您可以将公共数组设为私有，并添加公共不可变列表：

private static final Thing[] PRIVATE_VALUES = { ... };
public static final List<Thing> VALUES =
Collections.unmodifiableList(Arrays.asList(PRIVATE_VALUES));

或者，可以将数组设为私有，并添加一个公共方法，该方法返回私有数组的副本：

private static final Thing[] PRIVATE_VALUES = { ... };
public static final Thing[] values() {
    return PRIVATE_VALUES.clone();
}

我的问题是：

• 为什么要费心返回一个最终变量-如果它只是一个副本？

毕竟，如果html" target="_blank">用户想要修改它（供她/他自己使用），我们实际上是在强迫她/他创建另一个非最终副本，这是没有意义的。

Answer 1

这不是返回一个最终的对象，而是声明这个方法是不可重写的。没有最终的对象，只有一个最终变量（引用或基元），一个最终的方法和一个最终的类。

Answer 2

数组。asList包装原始数组。它不会复制数据<代码>集合。不可修改列表也会包装原始列表，而不是复制数据。

这就是为什么要返回一个不可修改的列表包装器，因为否则，对Arrays.as列表返回的列表所做的更改将写入原始私有数组。