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

• Informador: panacoran
• Propietario: panacoran
• Tipo: Bugs
• Estado: Cerrado
• Componente: (Ninguno)
• Hito: バージョン2.0
• Prioridad: 5 - Medium
• Gravedad: 5 - Medium
• Resolución: Fixed
• Fichero: Ninguno

Details Responder

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
• Estado Update from Open to Cerrado

Comentario Responder

r444で直しました。

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

• Estado Update from Cerrado to Open

Comentario Responder

絶対誤差を機械イプシロンと比較しているため、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

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

Comentario Responder

r456で直しました。

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

• Resolución Update from Ninguno to Fixed

Comentario Responder

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