为什么在 Java 中将数组声明为 Final 不会使其不可变？

为什么在 Java 中将数组声明为 Final 不会使其不可变？宣布某件事是最终的不是意味着它不能改变吗？

From 关于不可变数组的问题很明显，将数组声明为final并不意味着它就不可更改。

以下是可能的。

final int[] array = new int[] {0, 1, 2, 3};
array[0] = 42;

我的问题是：那么这里声明final的作用是什么？

final只是关于参考由它标记的； Java 中不存在不可变数组这样的东西。当你说

private final int[] xs = new int[20];

你不被允许说

xs = new int[10];

稍后的。这就是全部final是关于。更一般地说，确保对象不可变通常是一项艰巨的工作，并且充满了一系列微妙之处。语言本身并没有为此提供太多开箱即用的功能。