浮動小数点の比較がおかしい

• Reporter: panacoran
• 소유자: panacoran
• Type: Bugs
• Status: Closed
• Component: (None)
• MileStone: バージョン2.0
• Priority: 5 - Medium
• Severity: 5 - Medium
• Resolution: Fixed
• File: None

Details Reply

a = 0.15 + 0.15
b = 0.1 + 0.2

のときif (a == b)が真にならない。if (a - b)は0なので偽になるはずが真になる。

これは浮動小数点のまるめ誤差が原因で起こる。浮動小数点同士を直接比較せずに、その差が機械イプシロン以下であるときに等しいと判定しなければならない。

Ticket History (3/5 Histories)

2013-03-09 16:51 Updated by: panacoran

• New Ticket "浮動小数点の比較がおかしい" created

2013-03-11 13:47 Updated by: panacoran

• Ticket Close date is changed to 2013-03-11 13:47
• Status Update from Open to Closed

댓글 올리기 Reply

r444で直しました。

2013-06-11 00:48 Updated by: panacoran

• Status Update from Closed to Open

댓글 올리기 Reply

絶対誤差を機械イプシロンと比較しているため、10 + 0.1 + 0.1 + 0.1 + 0.1 + 0.1 + 0.1 + 0.1 + 0.1 + 0.1 + 0.1 == 11では誤差が大きすぎて真にならない。それと比較演算で誤差を配慮していないので、0.15 + 0.15 < 0.1 + 0.2が真になってしまう。

2013-06-11 11:01 Updated by: panacoran

• Status Update from Open to Closed
• Ticket Close date is changed to 2013-06-11 11:01

댓글 올리기 Reply

r456で直しました。

2013-06-30 14:04 Updated by: panacoran

• Resolution Update from None to Fixed

댓글 올리기 Reply

相対誤差だけで比較しているため、今度は非常に小さな値の等値比較がおかしくなっています。絶対誤差と相対誤差のどちらかを満たしているときに、等値であると見なすようにr477で直しました。