Java多线程报错：封闭作用域局部变量z需为final或实际final

问题复现代码 #

public static void main(String[] args) {
    int x = 10;
    int y = 20;
    int z=0;
    int a=0;
    int b=0;
    
    Thread t3 = new Thread(new Runnable() {
        public void run() {
            b = x * z;
        }
    });
    t3.start();
    
    System.out.println("B:"+b);
}

运行时抛出编译错误：Local variable z defined in an enclosing scope must be final or effectively final

核心触发逻辑 #

这个错误是Java编译器的强语法校验规则，和多线程本身没有直接绑定——只要是匿名内部类、局部内部类访问所在方法的局部变量，都会触发这个校验，底层原因如下：

• 方法内定义的局部变量存储在方法对应的虚拟机栈帧上，生命周期和方法执行周期完全绑定，方法执行结束栈帧出栈销毁，局部变量会被直接回收。
• 方法内创建的匿名内部类实例（比如代码里的Runnable匿名实现实例）是分配在堆内存上的对象，生命周期可能长于所在方法的栈帧：比如t3线程还没来得及执行run()方法，main方法如果已经执行完毕，栈帧销毁后局部变量z/b已经被回收，run()方法根本无法访问到原始变量。
• Java为了解决这个生命周期不一致的问题，编译阶段会做隐式拷贝：把内部类用到的局部变量复制一份副本，存到内部类对象的内部，后续run()方法访问的其实是这个持有的副本，不是外部的原始局部变量。
• 这个拷贝机制天然存在数据一致性风险：如果原始局部变量在外部可以被随意修改，内部类持有的副本值和原始值会出现偏差，极易引发难以排查的逻辑bug。因此编译器加了强制约束：所有被内部类访问的局部变量，必须显式声明为final，或者是「实际不可变（effectively final）」——也就是变量初始化后，在整个方法的任何位置（包括内部类代码中）都没有被重新赋值，编译器能确定它的值自始至终不会发生变化。

这段代码的具体问题点 #

1. 如果你使用的是JDK7及更早版本：当时还没有引入「effectively final」的自动推断机制，只要局部变量没有显式加final修饰符，哪怕初始化后完全没有被修改，被内部类访问时也会抛出这个错误。
2. 如果你使用的是JDK8及以上版本：除了z之外，你在run()方法里尝试给局部变量b赋值的操作，本身就破坏了b的不可变约束，同样不符合校验规则；部分IDE、编译器会按代码检测顺序优先抛出z的校验错误，本质是所有被内部类访问的局部变量都要满足不可变要求。

注意：你不能在内部类里直接修改外部方法的局部变量——内部类持有的只是变量副本，修改副本对外部原始变量完全没有影响，Java从语法层面直接禁止了这种无意义的写法。如果需要跨线程传递计算结果，请把承载结果的变量定义为类成员变量，或者使用AtomicInteger、并发容器、长度为1的数组这类堆上分配的可共享对象承载数据。

另外就算解决了编译错误，当前代码也存在多线程时序问题：main线程执行打印逻辑时，t3线程可能还没执行完赋值操作，大概率会打印出初始值0，这是多线程异步执行的正常现象，和本次编译错误无关。

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