Javaの”異なるメソッドで定義されたインナー・クラス内で非final変数を参照できない”エラーについて

Question

お世話になります。

次のようなプログラムをEclipseで編集していたのですが、
JavaSE-1.8の環境では何もエラーが出なかったので気付かなかったのですが、
JavaSE-1.7以下の環境に持っていくと
「異なるメソッドで定義されたインナー・クラス内で非final変数listを参照できません」
というエラーが表示されました。
原因はList<Integer>の宣言位置を間違えていたということで解決したのですが、

Java-SE1.8でエラーが出ないのが気になります。
Javaのバージョンが1.8になって仕様が変わったのでしょうか？

プログラムは以下のとおりです（再現プログラムなので簡略化しています）。

import java.util.ArrayList;
import java.util.List;

public class Test {

	Test() {
		List<Integer> list = new ArrayList<Integer>();

		new Interface() {
			@Override
			public void function(int x) {
				list.add(x);
			}
		};

	}

	public static void main(String[] args) {
		Test t = new Test();
	}
}

interface Interface {
	void function(int x);
}

Answer 1

仕様が変わったためにエラーが出なくなっています。

Java8（Java SE 8）では、「実質的final」(effectively final)という言語仕様の変更がありました。
これはfinalを付けてもコンパイルできる状態であれば、finalを付けなくてもfinal扱いする、という機能です。

listは非final変数ですが、「実質的final」のため、Java8ではコンパイルエラーにならなくなりました。

Comments

[t-miyazaki]

回答ありがとうございました。
やはり仕様変更があったのですね。
listを勝手にfinalにしてくれていたんですね。
エラーメッセージで検索しても出てこなかったので、
わかりませんでした。助かりました。