C++では、ちょうど<, == and >のうちの1つが浮動小数点数で真となることが保証されていますか？

Question

C++では、float aとfloat bに対して、a < b,a == bおよびa > bのうちの1つのみがtrueであるという保証がありますか？

これがコンパイラとプラットフォームで異なる場合、私はx86のVisual C++に興味があります。

Answer 1

号

それは偽とa < bのそれぞれについてNaN、a == bとa > bするaまたはbのいずれかのために十分です。両方aとbが非NaNの場合

は正確にa < b、a == bまたはa > bのいずれかに該当することがあります。補数で

、このanswerはあなたが彼らの表現を調べることによって識別することができるC++（いくつかのNaN値があり、中に NaN値を得ることができる方法を説明します。NaNで等しいことはありませんので、それらはすべて互いに異なっています値がNaNであるかどうかをテストする方法（変数xがNaNであるかどうかを調べるための慣用的なテスト）はx != xであり、実際にはstd::isnan()が実装されることが多いが、それによって混乱するかもしれない）。

そして、aとbが以前の計算の結果である場合、超過精度の問題があります。詳細については、articleを参照してください。C99の標準では、超過精度がどこで発生する可能性があるかどうかを明示するルールを明示することで問題を解決しましたが、C++には、 cfloat実際には、CコンパイラはC++コンパイラよりも真剣にルールを採用しています。たとえば、GCCは-std=c99でコンパイルするときにCの規則を実装します。この文脈では、保持するプロパティに依存することができますが、この記事の時点ではGCCはC++コンパイラとして使用されたときにこれらの規則を実装しません。