CMPF.FLOAT

2 つの float 値または double 値が equals 演算子 (==) を使用して比較されている場合にエラーが出力されます。

脆弱性とリスク

浮動小数点計算は精度に問題を生じる可能性があるため、浮動小数点型に対する等価チェックは避けてください。下記の例では、計算精度の問題で x1 + 700 * ((x2 - x1) / 700) が x2 にならない (* は乗算記号) ため、無限ループを生じる可能性があります。

軽減と防止

大きいか等しい、小さいか等しい、絶対値の差が指定の値より小さいかどうかなどのチェックを使用してください。たとえば、(Math.abs(x1-x2) < MIN_DIFF) などとします。

例 1

コピー 
      /**
      * Calculates define integral
      */
     public static double integral(MyFunction f, double x1,
                                   double x2) {
         double x = x1;
         double result = 0;
         double step = (x2 - x1) / 700;
         while (x != x2) { // should use (x <= x2)
             result = result + f.valueFor(x) * step;
             x = x + step;
         }
         return result;
     }

CMPF.FLOAT が 17 行目に対して報告されています。浮動小数点型に対する等価チェックは避ける必要があります。