finalでないローカル変数を匿名クラスの中で変えられない理由

Question

private void process() {
    int i = 0;
    DoSomethingInterface functionalInterface = () -> {
        i++;
    };

@FunctionalInterface
public interface DoSomethingInterface {
    void doSomething();
}

例はラムダ式を用いた例ですが、これもi++の部分でエラーになるみたいです。
スタック、キュー、ヒープの理解の問題だと思うのですが、理解できていないみたいです。
なぜ、finalでないローカル変数を匿名クラスの中で変えられない、のでしょうか？

ご教授お願いします。

Answer 1

どちらかと言えば、JavaやJVMの設計に起因する問題（もしくは仕様）です。

というのも、JVMにある変数を読み書きする方法は、「スタックの最上部」「現在のローカル変数」「インスタンスのフィールド」「クラスのフィールド」「配列の要素」だけで、「他の場所にあるローカル変数をポインタ経由でアクセスする」という方法は用意されていないのです。

では逆に、「なぜfinalなら渡せるのか」といえば、これは匿名クラスのコンストラクタにまとめて渡す、つまりコピーすることで再現しているのです（生成した匿名クラスの.classを逆コンパイルすると、コンストラクタが見えます）。

Comments

[退会済みユーザー]

大変分かりやすい回答ありがとうございます！！確かに、これだとコンパイルエラーにしなければ、ローカル変数を変更したのに反映されないぞ、と言うような予想外の挙動バグを引き起こしますね。確認の方法まで載せてくださりありがとうございます。

ぜひ、またお願いします。

[maisumakun]

匿名クラスから外側のprivateメンバへもアクセスできますが、この場合には外側のクラスにアクセス用のメソッドが作られて、匿名クラスからのアクセスはそこ経由となるように処理されます。

[退会済みユーザー]

あっ、盲点でした。
本当に助かりました！！
確かに、privateメンバにアクセスできる匿名クラスは強いですね。
何かに応用できそうです。

Answer 2

スタック、キュー、ヒープの理解の問題

ちがいます。

なぜ、finalでないローカル変数を匿名クラスの中で変えられない、のでしょうか？

変更できるようにすると、何も考えずにローカル変数を変更するコードが大量に生みだされて、新たなバグに苦しめられるだけだ。という Java 言語設計者からのメッセージです。

Comments

[退会済みユーザー]

んー、すみません。よく分かりません。
finalでないローカル変数を匿名クラスの中で変えれば、コンパイルエラーになります。
なぜ、finalでないローカル変数を変更すると、新たなバグがでるのでしょうか？

[退会済みユーザー]

回答ありがとうございました。

なぜ、バグがでるのか分かりました。
また、今度お願いします。