Javaのラムダ式について

Javaのラムダ式についての質問です。
ある本に次のように書いていました。
「ラムダ式には「自身が評価され関数の実体が生み出される際、その時点でアクセス可能なすべての変数の情報を記憶し、ラムダ式内で利用できる」という特徴があります。
つまり、次のようなコードが記述可能なのです。

double b = 4.3;
IntDoubleFunction fun = x -> x*x*3.14;

ただし、ラムダ式内でラムダ式外にある変数を書き換えることはできません。
また、ラムダ式外にある変数bは内容が変化しない実質的にfinalな変数である必要があります。」

最後の文書「実質的にfinalな変数である必要があります。」についてですが、これってどういう意味なんでしょうか。
次のようなコードを書いてみました。

import java.util.function.IntToDoubleFunction;

public class Main {
    public static void main(String[] args) {
        int a = new java.util.Random().nextInt(4);
        IntToDoubleFunction b = x -> {return a*a*3.14;};
        double c = b.applyAsDouble(a);
        System.out.println(c);
    }
}

上のコードの変数aはfinalではなく、実行の度に値が変わりますが、問題なく動作しました。
しかしながら、確かに、一つの実行の時には、値が定まるという意味ではfinalな変数になっているのかもしれませんが、なんとなく腑に落ちない感じです。

「実質的にfinalな変数」とは一体どういう変数なのでしょうか。

flied_onion

2016/08/07 11:40

コードはコードブロック(```で括る)ようにしてください。選択して </> ボタンでもOKです。

退会済みユーザー

2016/08/08 00:10

すいません、今まで知らずに直で書いていました。以後気をつけます。

行動規範の内容に同意します

回答3件

int a = new java.util.Random().nextInt(4);

このあとaが書き換わってないので、finalつけてもコンパイルエラーにはならない。

というような状況です。
これが

int a = new java.util.Random().nextInt(4); 
a = new java.util.Random().nextInt(4); 
IntToDoubleFunction b = x -> {return a*a*3.14;};

の場合はエラーになると思います。

投稿2016/08/07 11:39

flied_onion

総合スコア2604

退会済みユーザー

2016/08/08 00:04

すいません、その場合も二行目から実質的に変数aはfinalになるのではないでしょうか。

swordone

2016/08/08 00:37

もし最初のaに対してfinalを付けたら、2行目で代入操作を行っているためコンパイルエラーとなります。つまりこのaはfinalとして扱うことができません。

行動規範の内容に同意します

ベストアンサー

Javaの言語仕様になりますが、以下の言い回しが使われます。

内部クラスやラムダ式において、その外側で定義されているローカル変数を使う場合は、そのローカル変数に 暗黙にfinalが付いているもの と見なされる。

例えば以下のコードはコンパイルエラーになります。

java
1public void test() {
2	int value = 10;
3	List<Integer> arrays = Arrays.asList(1,2,3,4,5);
4
5	arrays.stream().forEach(element -> {
6		// ローカル変数を変更 - ここでコンパイルエラー
7		value = value +1;
8	});
9}