実質的にfinalな変数とは何か

実質的にfinal

Javaのラムダ式では実質的にfinalなローカル変数にアクセスできるらしい。
参考書には「finalで修飾されていなくても変更されない変数」とあった。

どういうことか

「final付いていないけど宣言時から一切変更無いからつまりfinalと同じだよね！」ってこと

この場合、ローカル変数iは実質的finalだけど、

LambdaStudy.java

public class LambdaStudy {

	public static void main(String[] args) {
		int i = 10;
		Calculate c = x -> x + i;
		System.out.println(c.calc(20));//30
	}
}

interface Calculate {
	public int calc(int x);
}

この場合はインクリメントでiの値を変えてしまっているので、実質的finalでは無くなり、コンパイルエラーとなってしまう。

LambdaStudy.java

public class LambdaStudy {

	public static void main(String[] args) {
		int i = 10;
		i++;
		Calculate c = x -> x + i;//Local variable i defined in an enclosing scope must be final or effectively final
		System.out.println(c.calc(20));
	}
}

interface Calculate {
	public int calc(int x);
}

#参照型ではどうか
参照型であっても変わらない。

この場合、sb.append("d")は変数sbの参照先のオブジェクトに変更を与えているだけで変数sbそれ自体を変更している訳では無いのでsbは実質的finalとなり実行できる。

LambdaStudy.java

public class LambdaStudy {

	public static void main(String[] args) {
		int i = 10;
		StringBuilder sb = new StringBuilder("abc");
		sb.append("d");
		Calculate c = x -> {
			System.out.println(sb.toString());//abcd
			return 	x + i;
		};
		System.out.println(c.calc(20));//30
	}
}

interface Calculate {
	public int calc(int x);
}

sbに再代入したらsbの参照先が変わってしまうので実質的finalでは無くなってしまう。（コンパイルエラー）

LambdaStudy.java

public class LambdaStudy {

	public static void main(String[] args) {
		int i = 10;
		StringBuilder sb = new StringBuilder("abc");
		sb.append("d");
		sb = new StringBuilder("efg");
		Calculate c = x -> {
			System.out.println(sb.toString());//Local variable sb defined in an enclosing scope must be final or effectively final
			return 	x + i;
		};
		System.out.println(c.calc(20));
	}
}

interface Calculate {
	public int calc(int x);
}

#まとめ
実質的finalな変数とは**「変数宣言時から一切変更がない変数」**のことである。