为何Java中final修饰的数组变量可被修改？

首先得理清两个核心点：final修饰数组变量的本质，以及Lambda对捕获变量的要求逻辑。

1. final修饰数组变量的真实含义 #

final修饰的是数组变量本身，而非数组对象内部的元素。简单说：这个变量只能固定指向初始化时的那个数组对象，不能再让它指向其他数组（比如写prefix = new String[]{"新数组"};会直接编译报错），但数组对象本身的内容（也就是数组里的元素）是可以修改的——数组是可变对象，它的元素存在堆内存中，final只限制了栈上的变量引用不能变更。

2. Lambda对捕获变量的要求本质 #

Lambda要求捕获的变量必须是final或者effectively final（实际不可变），核心目的是保证变量的引用不会被中途篡改，避免Lambda在异步执行时出现数据不一致的问题。这里的限制是变量的引用不能改变，而非变量指向的对象内容不能修改。

结合你的代码分析 #

你的代码里：

final String[] prefix = {"prefix_"};

prefix是final变量，它的引用固定指向初始化时的长度为1的数组。在Lambda里执行prefix[0] = "NoPrefix_";，只是修改了这个数组对象内部第0位的元素值，并没有改变prefix变量的引用——它始终指向原来的那个数组。这完全符合Lambda对变量的要求，所以是合法操作。

如果尝试给prefix重新赋值，比如在Lambda里写prefix = new String[]{"test"};，编译器会直接报错，因为这违反了final变量的引用不可变规则。

另外你代码里的suffix虽然没加final，但它是effectively final的（全程没有被重新赋值），所以Lambda也能正常使用它。

内容的提问来源于stack exchange，提问作者鹰 9am