Чому 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

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

ОНОВЛЕННЯ

Завдяки 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). Що очевидно хибно. Перевірте налаштування оптимізації, переконайтесь, що вони вимкнені, і повторіть спробу.

_{(Відповідь Фліна - це правильна відповідь. Ця проблема розглядає проблему загальніше.)}

Здається, ви припускаєте, ОП, що неточність з плаваючою комою у вашому коді є детермінованою та передбачуваною помилкою (певним чином, ваш підхід є полярною протилежністю підходу людей, які ще не розуміють плаваючу крапку).

Хоча (як зазначає Бен), неточність з плаваючою комою є детермінованою, з точки зору вашого коду, якщо ви не надто обдумано ставитеся до ваших цінностей на кожному кроці, це не буде так. Будь-яка кількість факторів може призвести до 0.1 + 0.2 == 0.3успіху, оптимізація часу компіляції - одне, а налаштовані значення для цих літералів - інше.

Тут не покладайтеся ні на успіх, ні на невдачу; не покладайтесь на рівність із плаваючою точкою в будь-якому випадку .

Згідно з моєю інтерпретацією специфікації мови D , арифметика з плаваючою комою на x86 використовувала б внутрішню точність 80 біт, а не лише 64 біти.

Проте потрібно було б перевірити, що цього достатньо, щоб пояснити результат, який ви спостерігаєте.