Java ではラムダ式の変数が Final であること、または実質的に Final であることが要求されるのはなぜですか?

「ラムダ式で使用される変数は Final または実質的に Final である必要がある」エラーの修正

このエラーは、final 以外の変数にアクセスしようとすると発生しますラムダ式内の変数。これを解決するには、変数が Final または事実上 Final として宣言されている必要があります。

Effective Finality

Effective Finality は、変数が初期化された後に再割り当てできないことを意味します。これは、次の方法で実現できます。

• 外部スコープで変数を Final として宣言する
• 変数がラムダ内で 1 回だけ割り当てられるようにする

なぜこれが強制されるのですか?

Java 言語仕様(JLS) は、「事実上最終変数への制限により、動的に変化するローカル変数へのアクセスが禁止されており、そのキャプチャにより同時実行の問題が発生する可能性があります。」と述べています。これを強制することで、Java は潜在的なデータの不整合やスレッドの問題を防ぎます。

例

次のコードを考えてみましょう。

private TimeZone extractCalendarTimeZoneComponent(Calendar cal, TimeZone calTz) {
    try {
        cal.getComponents().getComponents("VTIMEZONE").forEach(component -> {
            VTimeZone v = (VTimeZone) component;
            v.getTimeZoneId();
            if (calTz == null) {
                calTz = TimeZone.getTimeZone(v.getTimeZoneId().getValue());
            }
        });
    } catch (Exception e) {
        log.warn("Unable to determine ical timezone", e);
    }
    return null;
}

calTz 変数は次のとおりです。最終的に宣言されていないため、エラーが発生します。これを修正するには、コードを次のように変更します。

private TimeZone extractCalendarTimeZoneComponent(Calendar cal, final TimeZone calTz) {
    ...
}

または、calTz がラムダ内で 1 回のみ割り当てられるようにすることもできます。

private TimeZone extractCalendarTimeZoneComponent(Calendar cal, TimeZone calTz) {
    ...
    if (calTz == null) {
        calTz = TimeZone.getTimeZone(v.getTimeZoneId().getValue());
    }
    ...
}

追加の考慮事項

この要件は匿名内部クラスにも適用されます。たとえば、次のコードでもエラーが発生します:

new Thread(() -> {
    int i = 0; // Effectively final as it's only assigned once
    i++; // Error: cannot mutate effectively final variable
}).start();

これらのルールを強制することで、Java は潜在的なバグを防止し、マルチスレッド アプリケーションの同時実行の安全性を促進します。

以上がJava ではラムダ式の変数が Final であること、または実質的に Final であることが要求されるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。