なぜjava + =結果が間違っていますか？これを防ぐにはどうしたらいいですか？

Question

なぜJava +=が間違った結果になるのですか？この問題を防ぐにはどうしたらいいですか？ （たとえば、IDEでwarningと表示されていますか？）

私は試しました& IntelliJですが、どちらも警告を表示していません。

サンプルコード：bはdoubleあるのでJLSによる

{ 
     long a = 20000000000000000L; 
     double b = 90.0; 
     a += b; 
     System.out.println(a); // 20000000000000088 NG 
    } 

    { 
     long a = 10000000000000000L; 
     double b = 90.0; 
     a += b; 
     System.out.println(a); // 10000000000000090 OK 
    } 

    { 
     long a = 20000000000000000L; 
     double b = 90.0; 
     a += (long) b; 
     System.out.println(a); // 20000000000000090 OK 
    } 

Answer 1

、このcompound assignment expression

a += b; 

は添加が起こる前binary numeric promotionが発生し、

a = (long) (a + b); 

と等価です。両方のオペランドはdoubleの値に変換され、加算は浮動小数点演算で行われます。

値20000000000000090は、正確にはdoubleと表すことはできません。したがって、精度が低下し、代わりに20000000000000088が得られます。その後、20000000000000088を表すのに十分な精度を持つlongにキャストバックされます。

10000000000000090の2つ目のスニペットは、doubleと正確に表すことができます。

あなたの第三スニペットはinteger arithmeticを使用しています

a = (long) (a + (long) b); 

に相当します。 20000000000000090は、longと表すことができます。

私はこのことについてあなたに警告するツールがありません。

関連：

Is floating point math broken?

Answer 2

Javaは有意を表すために53進数を使用64-bit IEEE floating point numbersを使用します。最初の例では、ここで可変a

{ 
    long a = 20000000000000000L; 
    double b = 90.0; 
    a += b; 
    System.out.println(a); // 20000000000000088 NG 
} 

は、それを表すために、1より大きい指数を使用する必要があり、二重に変換され、それはもはや値20000000000000000Lの正確な表現でないであろう。この例では

は、それだけ仮数とこの例で

{ 
    long a = 10000000000000000L; 
    double b = 90.0; 
    a += b; 
    System.out.println(a); // 10000000000000090 OK 
} 

の指数を使用してaを表現することが可能である、b明示的にaを変換する必要性を回避し、longに変換され倍精度浮動小数点演算を実行します。

{ 
    long a = 20000000000000000L; 
    double b = 90.0; 
    a += (long) b; 
    System.out.println(a); // 20000000000000090 OK 
} 

Answer 3

のように（私のような）全てのプログラマが不足しているコーディングなど+=を防止するためbinary numeric promotion、

を理解することができない、私は簡単な方法を見つけました：ちょうどルールをコーディングすると、すべての+=を禁じます。

私は自分のプロジェクトで+=をgrepし、a += bをa = a + bに変更しました。

タイプは怒鳴るよう、+操作しながら、一致していながら、IDEがエラーを示していますなし小数部分を持つ数は、この動作を持っているでしょう、なぜ