浮動小数点値が0に等しいかどうかをチェックしても安全ですか？

通常、double型またはdecimal型の値の等価性に依存することはできませんが、0が特殊な場合かどうか疑問に思っています。

0.00000000000001と0.00000000000002の間の不正確さは理解できますが、0は何もないため、混乱するのはかなり難しいようです。何も不正確だとしたら、それはもはや何もありません。

しかし、私はこのトピックについてあまり知らないので、私が言うことはできません。

double x = 0.0;
return (x == 0.0) ? true : false;

それは常にtrueを返しますか？

それは安全truedouble変数の値が正確に0.0（元のコードスニペットではもちろんそうです）である場合にのみ、比較が返されることを期待しです。これは、==オペレーターのセマンティクスと一致しています。a == b「aが等しいbます。

それは安全ではないことがあるので（正しくありません）いくつかの計算の結果は、純粋数学同じ演算結果がゼロであるときはいつでも二重（またはより一般的には、浮動小数点）算術演算でゼロになることを期待します。これは、計算が実行されると、浮動小数点の精度エラーが発生するためです。これは、数学の実数算術には存在しない概念です。

多数の「同等」比較を行う必要がある場合は、比較のために.NET 3.5で小さなヘルパー関数または拡張メソッドを記述することをお勧めします。

public static bool AlmostEquals(this double double1, double double2, double precision)
{
    return (Math.Abs(double1 - double2) <= precision);
}

これは次の方法で使用できます。

double d1 = 10.0 * .1;
bool equals = d1.AlmostEquals(0.0, 0.0000001);

単純なサンプルの場合、そのテストは問題ありません。しかし、これはどうですか：

bool b = ( 10.0 * .1 - 1.0 == 0.0 );

.1は2進数で繰り返される10進数であり、正確に表現できないことに注意してください。次に、それをこのコードと比較します。

double d1 = 10.0 * .1; // make sure the compiler hasn't optimized the .1 issue away
bool b = ( d1 - 1.0 == 0.0 );

実際の結果を確認するためにテストを実行するようにしておきます。そのように覚えている可能性が高くなります。

Double.EqualsのMSDNエントリから：

比較の精度

2つの値の精度が異なるために、明らかに同等の2つの値が等しくない場合があるため、Equalsメソッドは注意して使用する必要があります。次の例は、Double値.3333と、1を3で除算して返されるDoubleが等しくないことを報告しています。

...

同等性を比較するのではなく、推奨される手法の1つは、2つの値の間の許容できる差のマージン（1つの値の.01％など）を定義することです。2つの値の差の絶対値がそのマージン以下である場合、その差は精度の違いが原因である可能性が高いため、値が等しい可能性があります。次の例では、この手法を使用して、前のコード例で等しくないと判明した2つのDouble値である.33333と1/3を比較します。

また、Double.Epsilonも参照してください。

問題は、浮動小数点値の実装のさまざまなタイプを比較するときに発生します。たとえば、floatとdoubleを比較します。しかし、同じタイプであれば問題ありません。

float f = 0.1F;
bool b1 = (f == 0.1); //returns false
bool b2 = (f == 0.1F); //returns true

問題は、プログラマーが比較のために暗黙の型キャスト（doubleからfloatへ）が起こっていることを忘れることがあり、その結果、バグが発生することです。

数値がfloatまたはdoubleに直接割り当てられている場合は、ゼロまたはdoubleの53ビットまたはfloatの24ビットで表すことができる整数に対してテストしても安全です。

または、別の言い方をすると、整数値を常にdoubleに割り当ててから、そのdoubleを同じ整数と比較して、等しいことを保証できます。

整数を割り当てることから始めることもでき、整数による加算、減算、または乗算に固執することにより、単純な比較が引き続き機能します（floatの場合は24ビット未満、doubleの場合は53ビットであると想定）。したがって、特定の制御された条件下では、floatとdoubleを整数として扱うことができます。

いいえ、大丈夫ではありません。いわゆる非正規化値（サブノーマル）を0.0と比較すると、偽（ゼロ以外）として比較されますが、方程式で使用すると正規化されます（0.0になります）。したがって、これをゼロ除算を回避するメカニズムとして使用することは安全ではありません。代わりに、1.0を追加して1.0と比較してください。これにより、すべてのサブノーマルが確実にゼロとして扱われます。

これを試してみると、==がdouble / floatに対して信頼できないことがわかります。
double d = 0.1 + 0.2; bool b = d == 0.3;

これがQuoraからの回答です。

実際には、以下のコードを使用してdouble値を0.0と比較する方が良いと思います。

double x = 0.0;
return (Math.Abs(x) < double.Epsilon) ? true : false;

フロートについても同じです：

float x = 0.0f;
return (Math.Abs(x) < float.Epsilon) ? true : false;