为什么是 0.1 + D 中的 0.2 == 0.3？

Question

assert(0.1 + 0.2 != 0.3); // shall be true

我最喜欢检查语言是否使用本机浮点运算。

C++

#include <cstdio>

int main()
{
   printf("%d\n", (0.1 + 0.2 != 0.3));
   return 0;
}

输出：

1

http://ideone.com/ErBMd

Python

print(0.1 + 0.2 != 0.3)

输出：

True

http://ideone.com/TuKsd

其他

• Java 示例：http://ideone.com/EPO6X
• C#：http://ideone. com/s14tV

为什么对于 D 来说不是这样？据了解，D 使用本机浮点数。这是一个错误吗？他们使用一些特定的数字表示吗？还有别的事吗？相当混乱。

D

import std.stdio;

void main()
{
   writeln(0.1 + 0.2 != 0.3);
}

输出：

false

http://ideone.com/mX6zF

---

更新

感谢 卢克H。这是那里描述的浮点常量折叠的效果。

代码：

import std.stdio;

void main()
{
   writeln(0.1 + 0.2 != 0.3); // constant folding is done in real precision

   auto a = 0.1;
   auto b = 0.2;
   writeln(a + b != 0.3);     // standard calculation in double precision
}

输出：

false
true

http://ideone.com/z6ZLk

Answer 1

它可能被优化为 (0.3 != 0.3)。这显然是错误的。检查优化设置，确保它们已关闭，然后重试。

Answer 2

根据我对D语言规范的解释，x86上的浮点运算将使用内部精度为 80 位，而不是仅 64 位。

然而，人们必须检查这是否足以解释您观察到的结果。

Answer 3

_{（Flynn 的答案是正确的答案。这个答案更普遍地解决了这个问题。）}

---

您似乎假设，OP，代码中的浮点不准确是确定性的，并且可以预见是错误的< /em> （在某种程度上，你的方法与那些还不了解浮点的人的方法截然相反）。

尽管（正如 Ben 指出的那样）浮点不准确是确定性的，但从代码的角度来看，如果您没有非常仔细地了解每一步中值发生的情况，则这不会就这样吧。任何数量的因素都可能导致 0.1 + 0.2 == 0.3 成功，编译时优化是其中之一，调整这些文字的值是另一个。

这里既不依赖成功，也不依赖失败；无论哪种方式都不要依赖浮点相等。