Java要求局部变量为effectively final，是因为Runnable匿名内部类对象生命周期可能长于方法栈帧，需通过值拷贝确保内外一致性；编译器静态检查变量是否未被重新赋值，以保证语义安全。
因为 Runnable 匿名内部类对象可能比方法栈帧活得更久，而局部变量存在栈上、方法一结束就销毁；Java 通过“值拷贝”方式把变量传给内部类——拷贝一次后，必须确保原始值不再变，否则内外不一致。effectively final 就是编译器静态确认“这个变量真没被改过”，从而允许拷贝并保证语义安全。
本质是生命周期错位，不是语法限制
局部变量在方法的栈帧里，方法执行完，栈帧弹出，变量就没了；但 Runnable 实例创建在堆上，可能被线程池缓存、作为回调长期持有。如果允许它“盯着”一个即将消失的栈变量，运行时就会出问题。Java 的解法不是让变量逃逸到堆，而是干脆在内部类构造时，把当时那个值（或引用）快照一份存进去。
捕获 = 值拷贝，不是引用共享
你写的 System.out.println(x) 看似在用外部 x，反编译后会发现内部类里实际是 val$x 这样的私有字段：
- 基本类型（如
int x = 5）：拷贝的是数值5，两个独立存储 - 引用类型（如
String s = "hi"）：拷贝的是指向字符串对象的引用地址，不是对象本身 - 所以 final 或 effectively final 保证的是“引用不换”或“值不变”，不是对象内容不可变
effectively final 是编译期静态检查，不是运行时判断
它不看变量类型、不看逻辑是否真的会改，只看代码里有没有赋值语句：
- ✅ 合法：
int x = 10; new Runnable() { public void run() { System.out.println(x); } }; - ❌ 报错：
int x = 10; x = 20; new Runnable() { ... };——哪怕x = 20在内部类创建之前，也破坏不可变承诺 - ⚠️ 注意：
for (int i = 0; i System.out.println(i)).start(); }会报错，因为i每次循环都被重赋值，不满足 effectively final
为什么成员变量不受限？
成员变量（this.field）本就在堆上，和内部类对象共享同一生命周期；内部类通过隐式持有的 Outer.this 引用直接访问，不需要拷贝，自然也不需要 final 约束。
