挙動（+0.0）

Question

、

float f = -0.0; // Negative 

及び結果はtrueなり負のゼロ

f == -0.0f 

と比べ。どちらの場合も真であることが結果なぜ

しかし

float f = 0.0; // Positive 

と負のゼロ

f == -0.0f 

と比較しても、結果はtrue代わりのfalse

でしょうか？ここで

---

がa MCVE to test it (live on coliru)です：

#include <iostream> 

int main() 
{ 
    float f = -0.0; 

    std::cout<<"==== > " << f <<std::endl<<std::endl; 

    if(f == -0.0f) 
    { 
     std::cout<<"true"<<std::endl; 
    } 
    else 
    { 
     std::cout<<"false"<<std::endl; 
    } 
} 

出力：署名した負のゼロtrueゼロと比較しなければならないためだ

==== > -0 // Here print negative zero 

true 

Answer 1

：すなわち-0.0 == 0.0、-0f == 0f、および-0l == 0l。

これは、C++コンパイラでサポートされている任意の浮動小数点スキームの要件です。

（ほとんどのプラットフォームでは、これらの日は、IEEE754浮動小数点を使用して、この動作を明示的にその仕様に記載されていることに注意してください。）

Answer 2

は0.0fと-0.0fがゼロの同じ負であるためゼロ

Answer 3

C++での浮動小数点演算は、多くの場合、IEEE-754です。このノルムは、実数集合の数学的定義とは異なります。

この規範defines two different representations for the value zero: positive zero and negative zero。また、これら2つの表現は、等号を比較しなければならないことが規定されているので、定義によって：

+0.0 == -0.0 

それはその紙What Every Computer Scientist Should Know About Floating Point Arithmetic、デヴィッド・ゴールドバーグ、上のIEEE-754ページにリンクされ1991年から1903年（で、そうである理由についてはIEEEウェブサイト）を書き込む：X < 0は、Xがアンダーフローしている小さな負の数を表すと仮定したとき、ログ0を定義することが自然である= IEEE演算で

を-∞とNaNになるようにXをログゼロ。符号付きのゼロのおかげで、xは負になるので、logはNaNを返すことができます。ただし、符号付きゼロがない場合、ログ関数はアンダーフローした負の数を0から区別できず、したがって-∞を返さなければなりません。

Answer 4

C++ 11の実装がサポートしている場合（例えばによるIEEE浮動小数点を使用して）ゼロに署名し、署名された零点を検出することができるstd::signbit()ような機能を導入し、浮動小数点値の間の符号ビットをコピーすることができstd::copysign()。このようなことはさておき、私はC++標準のリファレンスには、ゼロを言及するだけでなく、それらを比較した結果であるべきことは言及していません。

C++標準では浮動小数点表現も規定していません。実装定義です。

これらの観察結果は、符号付きゼロのサポートまたはそれらを比較した結果が、実装（別名コンパイラ）がサポートする浮動小数点表現によって決まることを示唆しています。

IEEE-754は、最新の実装（すなわちコンパイラ）で使用される最も一般的な（ただし唯一ではない）浮動小数点表現です。未満：5.11、第二段落「-POINT算術を浮動ためのIEEE規格」IEEE-758の現在（2008年発行）のバージョンは、（太字強調鉱山）

つの相互に排他的な関係が考えられると言います、は、,,より大きく、は、である。最後のケースは、少なくとも1つのオペランドがNaNの場合に発生します。すべてのNaNは、の順序付けされていないとそれ自身を含むすべてを比較します。 比較はゼロの符号を無視する（したがって+0 = -0）。同じ符号の無限オペランドは、と等価のものをと比較します。