true、false、null、またはゼロなど、常に同じ結果になる式と条件を報告します。
このような式は対応する定数値に置換可能であるか、コードにバグがあることを示している可能性があります。
例:
// 常に true
// 原因: || が && の代わりに使用されている
if (x > 0 || x < 10) {}
System.out.println(str.trim());
// 常に false
// 原因: 変数が null チェックの前に逆参照された
if (str == null) {}
このインスペクションの動作は、nullability アノテーション、@Contract アノテーション、@Range アノテーションなどのさまざまなアノテーションで制御できます。
インスペクションの構成:
if (alwaysFalseCondition) throw new IllegalArgumentException(); なども含まれます。assert ステートメントの取り扱いを制御するには、「assert ステートメントを無視する」オプションを使用します。
デフォルトでは、アサーションは実行されると仮定されます (-ea モード)。
このオプションが有効になっている場合、アサーションは無視されます (-da モード)。IntelliJ IDEA 2022.3 より前は、このインスペクションは 定数条件および例外 インスペクションの一部でした。 現在、そのインスペクションは 定数値 と null 許容性とデータフローの問題 の 2 つのインスペクションに分割されています。