Якщо я скопіюю поплавок на іншу змінну, вони будуть рівними?

Я знаю, що використовувати ==для перевірки рівності змінних з плаваючою комою - це не дуже вдалий спосіб. Але я просто хочу це знати з такими твердженнями:

float x = ...

float y = x;

assert(y == x)

Оскільки твердження yскопійовано x, чи буде твердження правдивим?

Крім assert(NaN==NaN);випадку, на який вказує kmdreko, у вас може виникнути ситуації з x87-математикою, коли 80-бітові плавці тимчасово зберігаються в пам'яті і пізніше порівнюються зі значеннями, які все ще зберігаються всередині реєстру.

Можливий мінімальний приклад, який не працює з gcc9.2 при компілюванні з -O2 -m32:

#include <cassert>

int main(int argc, char**){
    float x = 1.f/(argc+2);
    volatile float y = x;
    assert(x==y);
}

Демонстратор Godbolt: https://godbolt.org/z/X-Xt4R

Можливо, volatileїх можна опустити, якщо вам вдасться створити достатній тиск у регістрі для yзберігання та перезавантаження з пам'яті (але переплутайте компілятор досить, щоб не опустити порівняння разом).

Див. Посилання на поширені запитання GCC:

• Чому результати з плаваючою комою змінюються за допомогою рівнів оптимізації чи різних версій компілятора чи різних цільових архітектур?

Це не буде вірно , якщо xце NaN, так як порівняння на NaNце завжди помилково (так, навіть NaN == NaN). У всіх інших випадках (нормальні значення, субнормальні значення, нескінченності, нулі) це твердження буде істинним.

Порада щодо уникнення ==поплавків застосовується до обчислень через те, що номери з плаваючою точкою не можуть точно висловити багато результатів при використанні в арифметичних виразах. Присвоєння не є розрахунком, і немає причин, щоб призначення присвоювало інше значення, ніж оригінал.

Оцінка розширеної точності повинна бути проблемою, якщо дотримуватися стандарт. З <cfloat>успадкованих від C [5.2.4.2.2.8] ( акцент моїх ):

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

Однак, як зазначалося в коментарях, деякі випадки з певними компіляторами, параметрами збірки та цілями можуть зробити це парадоксально помилковим.

Так, yобов'язково прийме значення x:

[expr.ass]/2: У простому призначенні (=) об'єкт, на який посилається лівий операнд, змінюється ([defns.access]) шляхом заміни його значення на результат правого операнда.

Інших значень не може бути присвоєно.

^{(Інші вже вказували, що порівняння еквівалентності ==все-таки буде оцінено falseдля NaN-значень.)}

Звичайна проблема з плаваючою комою ==полягає в тому, що легко не мати того значення, яке ти думаєш. Тут ми знаємо, що дві величини, якими б вони не були, однакові.

Так, у всіх випадках (ігнорування NaNs та x87 питань) це буде правдою.

Якщо ви будете робити memcmpїх, ви зможете перевірити рівність і зможете порівнювати NaN та sNaN. Це також вимагає від компілятора взяти адресу змінної, яка буде примушувати значення до 32-бітового floatзамість 80-бітного. Це усуне проблеми x87. Друге твердження тут має на меті продемонструвати, що ==не може порівнювати NaN з істинними:

#include <cmath>
#include <cassert>
#include <cstring>

int main(void)
{
    float x = std::nan("");
    float y = x;
    assert(!std::memcmp(&y, &x, sizeof(float)));
    assert(y == x);
    return 0;
}

Зауважимо, що якщо NaN мають інше внутрішнє представлення (тобто різницю мантіси), memcmpто не буде порівняти істинне.

У звичайних випадках це було б оцінкою до істини. (або твердження про твердження нічого не зробить)

Редагувати :

Під «звичайними випадками» я маю на увазі виключення згаданих вище сценаріїв (таких як значення NaN та одиниці з плаваючою точкою 80x87), як вказували інші користувачі.

Зважаючи на відсутність 8087 мікросхем в сьогоднішньому контексті, питання є досить ізольованим, і питання може бути застосованим у поточному стані використовуваної архітектури з плаваючою комою, що відповідає всім випадкам, крім NaN.

(довідка про 8087 - https://home.deec.uc.pt/~jlobo/tc/artofasm/ch14/ch143.htm )

Кудо до @chtz за відтворення хорошого прикладу, а @kmdreko за згадування NaNs - раніше про них не знав!

Так, він завжди поверне True , за винятком випадків, якщо це NaN . Якщо значення змінної - NaN, то воно завжди повертає помилкове !