なぜ私が疑うように比較が機能しないのですか？ PL/I

Question

この比較印刷は'0'bを印刷します。理由を理解できない...私が知っているように、必要に応じてPL/Iの文字列は自動的にfloatに変換されます。

put skip list('-2.34e-1'=-2.34e-1); 

Answer 1

私は、私たちの環境でこれをテストした（z/OS上のEnterprise PL/IのV4.5）と同じ動作を発見した - 特定のコンパイルオプションの下で。オプションFLOAT(NODFP)を使用して

（すなわち10進浮動小数点のネイティブサポートを使用していない、私はオプションはエンタープライズPL/I V4.4で導入されたと思います）、次の問題が発生した：

• リテラル-2.34e-1が変換され、 bin float(6)としてその内部表現、すなわち短い2進浮動小数点へ
• リテラル'-2.34e-1'はbin float(6)値と比較されるので、以降も
• bin floatに変換されなければなりませんは、バイナリ分数としての正確な表現を持っていません。これはコンパイラがそれをbin float(54)に変換した、つまり拡張バイナリ浮動小数点値で最大の精度を得ると思われます。
• したがって、-0.234のバイナリ表現の小数点以下の桁数は無制限ですが、変換された2つの値は異なる桁数を保持しているため、値は等しく比較されません。 FLOAT(DFP)下

（すなわち機械DFPサポートを使用する場合）

• リテラル-2.34e-1の内部表現は、実際の10進浮動小数点であり、したがって'-2.34e-1'
の表現があるとして
• を厳密
• だから、このコンパイルオプションの下では、プログラムの出力は等しく、出力は'1'b

です

あなたの問題は、異なる精度のバイナリ浮動小数点を使用することから、データ表現とその結果生じる丸め誤差の異なる選択肢の組み合わせです。