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

• Rapporteur: panacoran
• Propriétaire: panacoran
• Type: Bogues
• État: Atteints
• Composant: (Aucun)
• Jalon: バージョン2.0
• Priorité: 5 - moyen
• Sévérité: 5 - moyen
• Résolution: Fixed
• Fichier: Aucun

Détails Répondre

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
• État Update from Ouvert to Atteints

Commentaire Répondre

r444で直しました。

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

• État Update from Atteints to Ouvert

Commentaire Répondre

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

• État Update from Ouvert to Atteints
• Ticket Close date is changed to 2013-06-11 11:01

Commentaire Répondre

r456で直しました。

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

• Résolution Update from Aucun to Fixed

Commentaire Répondre

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