c++ - 浮動小数点型が IEEE-754 に完全に準拠しているかどうかを返す関数?

Question

floatをチェックする関数、doubleまたはlong doubleIEEE-754 形式に完全に準拠する関数を書きたいと思います。つまり：

• float = IEEE-754 binary32
• double = IEEE-754 binary64
• long double = IEEE-754 binary128

それに対応していると思いましたが、私のLinux 64ビットでstd::numeric_limits<T>::is_iec559は返さtrueれますが、内部的にIntel形式でエンコードされています。では、どうやってそれを行うのですか？long doublesizeof(long double) = 16 bytes80-bit

Answer 1

std::numeric_limits<T>::is_iec559が true の場合T、標準に準拠しています。

システムが内部レジスタに 80 ビットを使用している場合、最終的な丸め結果が無限数のビットが使用される参照結果に最も近い限り、これは問題ありません。つまり、ulp を 1 つ追加または削除すると、参照から離れます。

すべての可能な操作を表現可能なすべての数値で実行してこれをチェックし、多くのビットを使用する参照と比較することは困難です。

std::numeric_limitsそれを実装しているライブラリに自信を持つ必要があります。