truefalsenull、またはゼロなど、常に同じ結果になる式と条件を報告します。 このような式は対応する定数値に置換可能であるか、コードにバグがあることを示している可能性があります。

例:

  // 常に true
  // 原因: || が && の代わりに使用されている
  if (x > 0 || x < 10) {}

  System.out.println(str.trim());
  // 常に false
  // 原因: 変数が null チェックの前に逆参照された
  if (str == null) {}

このインスペクションの動作は、nullability アノテーション、@Contract アノテーション、@Range アノテーションなどのさまざまなアノテーションで制御できます。

インスペクションの構成:

IntelliJ IDEA 2022.3 より前は、このインスペクションは 定数条件および例外 インスペクションの一部でした。 現在、そのインスペクションは 定数値null 許容性とデータフローの問題 の 2 つのインスペクションに分割されています。