为什么D中有0.1 + 0.2 == 0.3？

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

蟒蛇

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

更新

感谢LukeH。这是此处描述的浮点常量折叠的效果。

码：

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

可能已将其优化为（0.3！= 0.3）。这显然是错误的。检查优化设置，确保已将其关闭，然后重试。

_{（弗林的答案是正确的答案。这个问题更笼统地解决了这个问题。）}

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

尽管（如Ben所指出的那样），浮点错误是确定性的，但从代码的角度来看，如果您不是很仔细地考虑每一步值的变化，情况就不会如此。任何数量的因素都可能导致0.1 + 0.2 == 0.3成功的编译时优化成为其中的一个，而对那些文字进行调整后的值则成为另一个。

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

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

但是，必须检查一下是否足以解释您观察到的结果。