Javaのラムダ式について

解決済

回答 3

投稿 編集

  • 評価
  • クリップ 1
  • VIEW 16K+
退会済みユーザー

退会済みユーザー

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な変数」とは一体どういう変数なのでしょうか。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • flied_onion

    2016/08/07 20:40

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

    キャンセル

  • 退会済みユーザー

    退会済みユーザー

    2016/08/08 09:10

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

    キャンセル

回答 3

+2

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/08 09:04

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

    キャンセル

  • 2016/08/08 09:37

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

    キャンセル

checkベストアンサー

+1

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

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

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

public void test() {
    int value = 10;
    List<Integer> arrays = Arrays.asList(1,2,3,4,5);

    arrays.stream().forEach(element -> {
        // ローカル変数を変更 - ここでコンパイルエラー
        value = value +1;
    });
}

コンパイルエラーのメッセージからも「実質final」が表示されますね。

Local variable value defined in an enclosing scope must be final or effectively final

特にfinal宣言しなくても、ラムダ式の中からは、メソッド内のローカル変数はfinalで扱う(不変でなければならない)ので、宣言はしてもしなくても扱いは同じになる、の意味です。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/08/08 09:05

    なるほど、実用的にはローカル変数の書き換えがfinalでない場合に当たるという認識でよろしいでしょうか。

    キャンセル

  • 2016/08/08 10:25

    "ローカル変数の書き換えがfinalでない場合に当たる" が何を指しているのかがわかりにくいですが…、メソッド内に記述したラムダ式からの中からは、メソッド内のローカル変数を参照できるが、変更するのは言語仕様で許可していないので、結果的にfinalと同じ扱いをします。

    キャンセル

0

1回毎の実行では、aは一度設定されたあと変更されません。つまり、finalとして扱って差し支えないというのが「実質的final」の意味です。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.22%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる