null-safety

Null 安全性（Boot 3 / Framework 6）

プロジェクトでサポートされている null 許容モデルを使用してください。Spring Framework 6 では、一般に org.springframework.lang.Nullable、@NonNull、およびパッケージレベルの @NonNullApi が使用されます。JSpecify は意図的に導入できますが、Boot 3 モジュールで Framework 7 の移行時のセマンティクスを前提にしないでください。

@NonNullApi
package com.example.orders;

import org.springframework.lang.NonNullApi;

本当に null になり得る戻り値とパラメーターには @Nullable を付けてください。リポジトリの戻り値の型を明示し、外部入力を境界で検証し、Java と Kotlin を併用する場合は、アノテーションに合った Kotlin コンパイラー設定を使用してください。プロジェクトで JSpecify を独自に標準化する場合は、モジュール境界で一貫して適用し、選択したチェッカーを文書化してください。

注意点

• エージェントが Framework 7 の JSpecify のデフォルトを前提にします。Boot 3 プロジェクトでは通常、Spring の従来のアノテーションを使用します。
• エージェントがパッケージアノテーションをインポートせずに @NonNullApi を使用します。パッケージメタデータはコンパイルされ、チェックに含まれている必要があります。
• エージェントがすべての値に @NonNull を付けます。パッケージのデフォルトを設定し、null 許容の例外にのみアノテーションを付けてください。
• エージェントがアノテーションを実行時の検証として扱います。入力の検証には Bean Validation または明示的なチェックを使用してください。
• エージェントが呼び出し元を更新せずにリポジトリの null 許容契約を変更します。Optional、null 許容、および空のコレクションのセマンティクスを維持してください。
• エージェントが移行計画なしに JSpecify と Spring のアノテーションを混在させます。モジュール境界での方針を一つ選んでください。