为什么Java lambda/匿名类要求局部变量为final，Kotlin无此限制？

为什么Kotlin允许在lambda中修改普通局部变量 #

本质上Kotlin没有突破JVM的底层限制，只是通过语法糖封装绕开了Java的语法约束：

• 先搞懂Java的限制根源
  JVM要求匿名内部类、lambda捕获的外部局部变量引用必须是final或者等效不可变（effectively final）。原因很简单：方法的局部变量存放在栈帧中，方法执行结束后栈帧就会被销毁，但lambda/匿名内部类的执行时机往往晚于方法结束（比如示例里的点击事件，要用户触发才会执行）。如果直接引用原变量，lambda执行时变量已经被回收了，必然出错。所以Java的实现是把捕获的变量复制一份到lambda内部，如果允许外部修改原变量，就会出现副本和原变量值不一致的歧义问题，因此Java直接从语法层面要求变量不可修改。
• Kotlin的实现逻辑
  Kotlin自动给需要在lambda中修改的局部变量做了一层装箱：它会把变量包装到一个可变的容器里（通常是单元素数组，或者Kotlin内置的Ref系列包装类）。这时候lambda捕获的是这个包装容器的引用，这个引用本身是不可变的，完全符合JVM的要求。不管是lambda内部还是外部修改变量，本质都是修改容器里存储的实际值，不会出现值不同步的问题，自然不会有编译报错。

你可以把Kotlin的代码理解为自动转换成了下面这种合法的Java代码：

void kotlinEquivalentInJava(Button button) {
    // 数组引用是final的，符合JVM捕获要求
    final String[] localVar = new String[]{""};
    button.setOnClickListener(v -> {
        // 修改的是数组内的元素，不需要改引用
        localVar[0] = "5";
    });
    localVar[0] = "7";
}

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