Java 9允许在try-with-resources中直接使用effectively final的外部声明变量，该变量引用不可变但对象状态可变，且资源声明中禁止显式使用final修饰符。
因为 try-with-resources 的资源变量在语法层面被设计为不可重新赋值，编译器强制将其视为 effectively final（等效 final），这是语言规范的硬性要求，不是可选行为。
资源变量的声明本质是隐式 final
Java 语法规定：try-with-resources 括号中声明的每个资源变量，无论是否写 final 关键字，其引用在作用域内都禁止再赋值。例如：
try (FileInputStream fis = new FileInputStream("a.txt")) {
// fis = new FileInputStream("b.txt"); // 编译错误！
process(fis);
}
这并非编译器“推断”出来的效果，而是 JLS（Java 语言规范）第 14.20.3 节明确要求：资源变量必须是 effectively final，否则编译失败。
与 Lambda 表达式共享同一套语义约束
这种设计保持了语言一致性——和 Lambda 中捕获局部变量的规则完全一致。原因在于：
立即学习“Java免费学习笔记（深入）”；
- 资源变量可能被用于内部类或 Lambda（比如在 try 块中注册回调）
- 若允许中途修改引用，会导致资源管理逻辑混乱（如原 fis 已关闭，却被意外替换为新流但未关闭）
- 避免因引用变更绕过自动 close() 机制，破坏 RAII（资源获取即初始化）的安全性
effectively final 不等于不可变对象
注意：final 或 effectively final 约束的只是 变量引用本身不能变，不阻止对象内部状态变化。例如：
try (BufferedWriter bw = Files.newBufferedWriter(Paths.get("log.txt"))) {
bw.write("start"); // ✅ 允许调用方法修改对象状态
// bw = null; // ❌ 编译报错：无法给最终变量 bw 赋值
}
这和普通 final 局部变量行为一致：引用锁死，对象可变。
为什么不允许显式加 final 修饰符？
Java 7 引入 try-with-resources 时，就规定资源变量声明中 禁止使用 final、@SuppressWarnings 等修饰符。这是语法限制，不是风格建议。例如：
try (final FileInputStream fis = ...) { ... } // 编译错误：非法的修饰符
因为该变量的“final 性”由语句结构保证，显式添加反而破坏语义清晰性，也避免开发者误以为可以省略自动关闭逻辑。
