Java 9のtry-with-resourcesで使える「事実上final（effectively final）」変数とは？

Java 8までのバージョンでは、try-with-resources文で使用する変数は、必ずtry文の中で宣言する必要がありました。しかし、Java 9以降ではこの制限が撤廃され、finalまたは事実上final（effectively final）な変数であれば、tryブロック内でそのまま利用できるようになりました。

「事実上final」とは、一度初期化された後に値が変更されない変数のことを指します。明示的にfinal修飾子を付けていなくても、再代入が行われていない変数はコンパイラによって事実上finalとみなされます。

コード例

import java.io.BufferedReader;
import java.io.File;
import java.io.FileReader;
import java.io.IOException;

public class EffectivelyFinalTest {
   private static File file = new File("try_resources.txt");
      public static void main(String args[]) throws IOException {
      file.createNewFile();
      BufferedReader bufferedReader = new BufferedReader(new FileReader(file));

      try(bufferedReader) {
         System.out.println("Can Use Final or Effectively Final in Try with Resources!");
      } finally {
         System.out.println("In finally block");
      }
}
}

実行結果

Can Use Final or Effectively Final in Try with Resources!
In finally block

この例では、bufferedReaderはtry文の外で宣言されていますが、初期化後に再代入されていないため事実上finalとして扱われ、Java 9のtry-with-resourcesで問題なく使用できます。この機能により、リソースの宣言位置に柔軟性が生まれ、より簡潔で読みやすいコードを書けるようになりました。