.net - C double 与 .NET double 不同吗？

Question

比较一些 C 代码和我试图替换它的 F#，我发现最终结果存在一些差异。

通过备份代码，我发现即使存在差异 - 尽管差异很小。

代码首先从文件中读取数据。第一个数字的结果不同。例如，在 F# 中(更易于编写脚本):

let a = 71.9497985840
printfn "%.20f" a

我得到了预期的(对我来说)输出 71.94979858400000000000。

但是在 C 中:

a =  71.9497985840;
fprintf (stderr, "%.20f\n", a);

打印出 71.94979858400000700000。

那 7 从何而来？

差别很小，但我不知道为什么，这让我很困扰。 (这也让我很困扰，因为这让我更难追踪我的两个版本的代码在哪里出现分歧)

Answer 1

这是打印的区别。将该值转换为 IEEE754 double 产量

Prelude Text.FShow.RealFloat> FD 71.9497985840
71.94979858400000694018672220408916473388671875

但是表示 71.949798584 足以将数字与其邻居区分开来。 C，当要求在小数点后以 20 位精度打印时，将值正确四舍五入为所需的位数，显然 F# 使用最短的唯一确定表示并用所需的 0 数填充它，就像 Haskell 一样.