0.68+0.04 == 0.72: 0; 0.69+0.04 == 0.73: 1, wtf?

bender

открывает для себя числа с плавающей точкой

Если GCC сказать -Wfloat-equal, то компилятор обьяснит проблему: https://wandbox.org/permlink/k7yiohxzjGXnCOfU

Всё таки в универе этому учат.

Кстати, люблю Clang c его -Weverything: легко найти какой -W* нужен.

https://wandbox.org/permlink/ZcjoSqU08El3C7wX

Двоичной системе счисления, и для дробей тоже, меня лично учили в школе.

Когда я учился, у нас в школе компы только появились и учили простую двоичную без нюансов, да менюшки ворда.

И еще один плюс в копилочку универа.

я в курсе, что число с плавающей точкой с длинной мантиссой может быть порезано в любом месте и их сравнивать точно не очень полезно, но не ожидал, что проявится на такой маленькой мантиссе на обычном сложении даже без деления.

Стандарт представления чисел с плавающей запятой IEEE-754 не дает абсолютно никаких гарантий КАК именно будет представлено внутренне заданное тобой число, только допустимые границы порядка/мантиссы.

Только недавно была пара тредов про ieee754, а они всё не унимаются.

Все твои константы, которые ты вбил это бесконечные периодические дроби в двоичной системе и они будут усечены при хранении в памяти, естественно с погрешностью.

но не ожидал, что проявится на такой маленькой мантиссе на обычном сложении даже без деления.

Но ведь мантисса и порядок сами по себе представляют деление. И сложение floating-point можно предславлять себе как сложение дробей.

И, так выходит, что операнды 0.04 и 0.69 имеют разный подядок (посмотри тут https://www.h-schmidt.net/FloatConverter/IEEE754.html ) вот и имеем расчет LCM

А ещё спрашивают, зачем программисту матан...

да менюшки ворда

А в наше время это были менюшки лексикона…

Кстати, люблю Clang c его -Weverything: легко найти какой -W* нужен.

Не знал. Спасибо!

я в курсе, что число с плавающей точкой с длинной мантиссой может быть порезано в любом месте и их сравнивать точно не очень полезно, но не ожидал, что проявится на такой маленькой мантиссе на обычном сложении даже без деления.

Нет, не в курсе.

А что ты хотел от раздела с какой-то шляпой вместо прикрепленных. Еще скажи что уни/утф треда уже несколько месяцев не было. Представь сколько новоиспеченных дивилоперов даже не создают таких тредов.

пора прикреплённую тему создать со ссылками на статьи «почему так»

Двоичной то учат, а вот что такое мантисса в школе не рассказывают.

https://ru.wikipedia.org/wiki/IEEE_754-2008

https://www.h-schmidt.net/FloatConverter/IEEE754.html

А чего решённой отметил? Тебе ведь никто не объяснил, что сравнивать надо как (0.72 - (0.68 + 0.04)) < epsilon, где epsilon - достаточная для тебя точность.

так вот ты же только что и объяснил

а модуль?

что сравнивать надо как (0.72 - (0.68 + 0.04)) < epsilon

В общем случае - не надо. Всегда будет такая пара чисел, которые из-за своего порядка достаточно близко к друг другу, но разность все равно больше eps.

Такой большой, а спрашиваешь такие глупости.

что сравнивать надо как (0.72 - (0.68 + 0.04)) < epsilon

Нет, не надо

Открываешь для себя удивительный мир чисел с плавающей точкой?

https://randomascii.wordpress.com/2012/02/25/comparing-floating-point-numbers...

float(pi) + sin(float(pi)) точнее выражает π, чем float(pi)

Это прикольно. Если подумать, то всё логично, но всё равно прикольно.