Корректно ли такое сравнение вещественного числа с нулём?

Question

[Иван Клименко]

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

float x = 0.0;
...
if ( x == 0.0 ) { ... }

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

Буду благодарен, если расскажите про книги, в которых объясняются подобные тонкости =)

Comments

[15432]

Нельзя ли обойтись проверкой вроде if (abs(x) < 1.0e-37)? Сравнение с нулём действительно не совсем корректное, зависит от компилятора.

[Иван Клименко]

15432: Сейчас у меня вот такой код if ( x > 0 ), потому что, по идее, x неотрицательно. Вопрос возник в силу того, что раньше x принимал любые значения, что так же возможно и в будущем. Тогда моя нынешняя проверка станет хорошей такой ошибкой.

Answer 1

[Rsa97]

Если присваивается именно константный ноль, а не результат какого-либо вычисления, то сравнение с нулём безопасно.

Comments

[Иван Клименко]

Да, присваивается в точности значение 0. А такое поведение где-то гарантируется/описано?

[Rsa97]

yeswell: Самим представлением нуля в IEEE 754 как числа с нулевыми знаком, порядком и мантиссой

Answer 2

[Mercury13]

Так сравнивать безопасно. Единственный вопрос — может ли появиться ноль во время вычислений и не сломает ли это логику программы?
Лучше, конечно, для этого использовать не 0.0, а 0.0f.

Comments

[Иван Клименко]

Присваивается точно ноль

[Mercury13]

Я имею в виду другое.
Если мы используем

float x = 0.0;
....
if (x == 0.0) {}

мы подразумеваем, что x’у под отточием что-то присваивается. Может ли это быть 0 и не сломает ли это логику программы?