为什么 0.1 + 0.2 == 0.3 in D？

问：

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

其他例子

• 爪哇：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