java - 在java中，为什么闭包变量需要声明为final？

Question

final Object o;

List l = new ArrayList(){{
    // closure over o, in lexical scope
    this.add(o);
}};

为什么必须将 o 声明为 final？为什么其他具有可变变量的 JVM 语言没有这个要求？

Answer 1

这不是 JVM 的深度，它都发生在语法糖级别。原因是通过闭包导出非 final var 使其容易受到数据争用问题的影响，并且由于 Java 被设计为一种“蓝领”语言，因此在其他方面温和且安全的本地 var 的行为发生了如此惊人的变化被认为太“先进”了。