Java中try-with-resources外声明的资源为何需为final或有效final

这个约束是Java 9扩展try-with-resources语法时加入的，核心目的是从编译层面规避资源泄漏、消除语义歧义，具体原因如下：

• 保证资源关闭逻辑的绝对确定性
  假设没有这个约束，允许变量被重新赋值，很容易出现逻辑矛盾：

  // 反例：如果允许非final变量被引用
  FileInputStream input = new FileInputStream("test1.txt");
  try (input) {
      input = new FileInputStream("test2.txt"); // 变量被重新赋值指向新资源
  }
  

  这种场景下JVM会面临两难：退出try块时，是关闭最初绑定的test1.txt对应的流，还是关闭变量当前指向的test2.txt对应的流？无论选哪一种，都会有一个流没有被正确关闭造成资源泄漏，同时逻辑和开发者的直觉预期大概率不符。强制要求变量是final/有效final，就从根源上避免了变量重新赋值的可能，编译器可以确定try块从头到尾要管理的就是变量初始化时指向的那一个资源，关闭操作不会出错。
• 和Java现有局部变量捕获规则保持一致
  匿名内部类、Lambda表达式引用的局部变量同样要求是final或有效final。本质上try-with-resources引用外部变量时，也会隐式捕获这个变量对应的资源引用，和Lambda的捕获逻辑完全一致：捕获动作发生在进入try块的瞬间，后续如果变量值可变，捕获到的引用和变量实际指向的对象就可能出现不一致，还会引入多线程场景下的可见性问题。直接沿用已经成熟的约束规则，也能降低开发者的学习成本，不需要额外记忆特殊规则。
• 编译期检查成本极低，不需要额外运行时开销
  有效final是编译器可以静态判定的属性：只要变量在初始化后没有出现任何重新赋值的操作，就算有效final，不需要开发者手动加final关键字。这个检查完全在编译阶段完成，不会给运行时增加任何额外负担，同时不会限制正常的使用——你完全可以在try块里修改资源对象的内部状态（比如调用流的write方法、修改对象属性），只要不把变量重新指向其他对象就符合要求。

对应你给出的代码片段：

type object_name = new type();
try (object_name) {
  ...
}

这里要求object_name满足final/有效final，本质就是让编译器能静态确认这个变量始终指向最开始创建的那个资源对象，保证退出try块时能准确调用该对象的close()方法，不会出现关错资源、资源泄漏的问题。

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