回答。

問題の歴史：

Java 8より前は、内部クラスや匿名クラスで外部スコープの変数を使用するためには、それらの変数をfinalとして宣言する必要がありました。Java 8ではこの要件が緩和され、実際に変更されない限り変数はfinalとして宣言されていなくてもよくなりました（effectively final）。

問題：

ラムダ式や内部クラスは外部ブロックの変数に対してクロージャを使用します。しかし、これらの変数が値を変更する場合、混乱を招き、予期しない動作が発生します - どの値を使用するべきか分からなくなります。

解決策：

コンパイラは、内部クラスまたはラムダで変数を使用することを許可するのは、その変数がeffectively finalである場合のみです。つまり、初期化後に一度も変更されていない必要がありますが、明示的にfinalとして宣言されている必要はありません。

コードの例:

public void demo() {
    int x = 10;
    Runnable r = () -> System.out.println(x); // xはeffectively final
    r.run();
}

xを変更しようとすると:

public void demo() {
    int x = 10;
    x = 20; // これでxはeffectively finalではなくなる
    Runnable r = () -> System.out.println(x); // コンパイルエラー
}

主な特徴:

Javaコンパイラは変数がeffectively finalに該当するかどうかを自動的に判断します。
このルールに違反するとコンパイルエラーが発生します。
ラムダだけでなく、匿名内部クラスもこのルールに従います。

ひっかけ問題。

リンクがeffectively finalなら、可変オブジェクトを使用できますか？

はい、リンク自体が変わらない場合、リンクで参照されているオブジェクトが変更されることは許可されています。例えば、

List<String> list = new ArrayList<>();
list.add("A");
Runnable r = () -> System.out.println(list.get(0)); // OK
list = new ArrayList<>(); // こうすると、コンパイルエラー

変数をfinalとして宣言した後にオブジェクトの内容を変更できますか？

はい。finalはリンクに関連するものであり、オブジェクトの内容には関連しません。リンク経由でオブジェクトの状態を変更することは許可されます。例えば、

final List<Integer> nums = new ArrayList<>();
nums.add(5); // OK
nums = new ArrayList<>(); // エラー

メソッドの引数変数をラムダで使用できますか？

はい、それらもeffectively finalである限り、初期化後にメソッド内で変更されない場合は使用できます。

よくある間違いとアンチパターン

ラムダまたは内部クラスで使用される変数が無意識に変更され、コンパイルエラーを引き起こす
finalリンクとそのリンクを介したオブジェクトの状態の混乱
配列やホルダーオブジェクトを使用して制限を回避しようとすると、明らかではないバグを引き起こす

実生活の例

ネガティブケース

メソッド内で使用される変数がラムダ作成後に偶然上書きされ、結果としてプログラムがコンパイルされず、原因を特定するのに時間がかかる。

利点：

変数が適切に使用されれば、コードは期待通りに動作する。

欠点：

effectively finalが暗黙的に破られると、エラートラブルシューティングが難しい。

ポジティブケース

開発者は、AtomicInteger（または別のホルダーオブジェクト）を介して増加する値を使用して、リンクではなく値を格納し、ラムダ式内でカウンタを変更する必要がある場合でもラムダが正常に動作することを確保します。