double型の足し算について

質問

Java初心者です。
よろしくお願いいたします。

double型の変数に数値を代入して、足し算をするプログラムを組んだとして、

例えば、
１０．５　と　１．５　を　代入すると、答えは　１２．０　になりました。
問題ないです。

しかし、
数値をいろいろ変更してみると、おかしな答えになるケースがある事を発見しました。

例えば、
４．１　と　３．８　を代入すると、　７．８９９９９９９９９９９９９９９５　となったり、

１．８　と　２．１　を代入すると、　３．９００００００００００００００４　となったりするのです。

なぜそうなるのか、よくわかりません。
わかり易い解説をして頂けると嬉しく思います。
よろしくお願いいたします。

回答No.4

jjon-com · ベストアンサー

次のJavaプログラムを実行してみてください。

class Q7461149 {
public static void main(String[] args) {
double d1 = 10.5;
double d2 = 1.5;
System.out.println(d1);
System.out.println(d2);
System.out.println(d1 + d2);
System.out.println(Double.toHexString(d1));
System.out.println(Double.toHexString(d2));
System.out.println(Double.toHexString(d1 + d2));
}
}

----------------------------------------
10進数の 10.5 をdouble型変数に格納したとき，
その変数の内部データは 16進文字列(HexString)書式で 0x1.5p3，
これは２進表記で (1.0101)2 × ２の3乗を表しています。
(1＋ 1/4 ＋ 1/16)×８ ＝ 10.5ということです。

10進数の 1.5 をdouble型変数に格納したとき，
その変数の内部データは 16進文字列(HexString)書式で 0x1.8p0，
これは２進表記で (1.1000)2 × ２の0乗を表しています。
(1＋ 1/2)×１ ＝ 1.5ということです。

両者の和は，指数を２の3乗に統一することで計算でき，
{(1.0101)2 ＋ (0.0011000)2}×２の3乗 ＝ (1.1)2 × ２の3乗です。

10進数の10.5 と 10進数の1.5，どちらも，
１，1/2，1/4，1/8，1/16 といった有限長の２進数の組合せで
びったり正確に表現できる数だったということです。

----------------------------------------
次に d1,d2 の値を次のように変更してみます。
double d1 = 4.1;
double d2 = 3.8;

10進数の 4.1 をdouble型変数に格納したとき，
その変数の内部データは 16進文字列(HexString)書式で
0x1.0666666666666p2 となります。これは２進表記で
(1.0000 0110 0110 0110 0110 0110 0110 0110 0110 0110 0110 0110 0110)2 × ２の2乗
となる「循環無限小数」であり，同パターンの繰り返しがどこまでも続きます。
つまり10進数の 4.1 は，１，1/2，1/4，1/8，1/16 …といった
有限長の２進数の組合せでは，ぴったり正確に表現できないのです。

10進数の 3.8 も同様であり，d1＋d2 に誤差が生じる理由はこれです。

----------------------------------------
このような例を「おかしな答え」だとお感じになるのなら，
double型の変数の中身全体をそのまま出力するのではなく，
小数点以下の桁数を若干短くして出力してみてください。
例えば次のように書くと，
小数点以下の表示を15けたまでに限定できます。
System.out.printf("%.15f", d1 + d2);

回答No.5

中村 拓男（@tknakamuri）

double 型は IEEE754の倍精度浮動小数点 という形式で
数値を保持します。この形式は、10進で書いたリテラルの実数値を
誤差なく保持できない場合が多々あるのでこうなります。

http://ja.wikipedia.org/wiki/IEEE_754

これは Java というよりプログラミングの基本ですが、
不思議なことに、ちゃんと勉強している人がなぜか非常に少ないんですよね。

頑張ってください。

回答No.3

bajutsu

浮動小数点だから。

Excelでの例だけど、浮動小数点の誤差について解説されています。
http://pc.nikkeibp.co.jp/pc21/special/gosa/eg4.shtml

回答No.2

wormhole

「浮動小数点」を調べてみてください。

回答No.1

Tacosan

double型の値が内部的にどのように表現されているかを調べてみてはどうでしょうか.