Russian Qt Forum

Добрый день

Разбирался с чужой программой и нашел строчку

if (!(a >= 0) && !(a < 0)) {
...
}

Это совсем не бессмысленно (как с первого взгляда кажется :-)

Всегда == false =>  бред!

Абсолютно бессмысленно: блок выполнится только при истинности левой (!(а>=0)) и правой частей (!(a<0)). Применив отрицание, получим левую часть a<0 и правую - a>=0. Какое же значение для одновременного выполнения условий может принимать а, если вся область чисел рассмотрена?

Наверное все просто и там внутри просто написан код, который никогда не должен выполняться =)

Еще есть вариант что архитектуру разрабатывал человек с неустойчивой психикой и a является экземпляром класса, в котором переопредлены операторы >= и < таким образом, что данное условие в некоторых случаях может выполняться  ;)

В том-то и дело, что не вся  :)

- никаких классов/перегрузок нет.

- писал болгарин, очень сильный программер

- работает на любой платформе и размер в 10 раз меньше чем делать то же по-другому (как, кстати было сделано у меня  ;))

Да... :D :D :D
Особенно прикольно про любую платформу.

Если к записи:
!(a >= 0) && !(a < 0)
применить правило деМоргана, то получим:
!((a >= 0) || (a < 0))

(в некоторых случаях может быть нагляднее)

Но смысла записи я всё-равно не понял

Тип a не float || double часом? :)

Да

проверка на -0 штоле?

Доп. Хотя нет, -0 == 0, так что (a >= 0) вернет true...

Хороший приём. :)

Для любого a имеющего тип объекты которого принадлежат упорядоченному множеству и операции "<" , ">" "==", ..., правильно определены для данного типа, данное выражение ВСЕГДА false.
Соответственно, для любого значения float и double - ВСЕГДА false.
Так что ничего полезного в нем нет!
Над вами просто прикололись!

Можно по подробнее.

http://ru.wikipedia.org/wiki/Машинный_ноль

2 Spectre Учи матчасть: Nan (http://ru.wikipedia.org/wiki/Nan)

Можно. Пример

double a = sqrt(-1.0);
if (!(a >= 0) && !(a < 0))
    printf("a is invalid");

Условие возвращает true и printf выполняется. На практике это удобный способ проверить "живы ли еще расчеты" (или уже молотим Nan'ы).

Ну а насчет "приколов" - стар я уже чтобы глупыми шутками заниматься  :)

Век живи век учись. Никогда этим не пользовался и соответственно не знал.
Получается что double(float) не являются упорядоченным множеством :)

Я не слишком знаком с экзотическими платформами, но разве isnan из cmath/math.h не тоже самое делает?

Видимо приведенный метод более оптимален.

А к чему такие сложности? Можно же сравнить a != a?

Я так и делал пока не увидел эту строку  :) Но этого было недостаточно, нужно вызывать fpclassify и проверять варианты. Да еще на др. компиляторе _fpclass (а не fpclassify). В итоге получалось длинно и мутно.


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

Не факт, что какой-нибудь оптимизатор кода не схлопнет (!(a >= 0) && !(a < 0)) до false.

Насколько я замечал, даже абсурдные сравнения в оптимизированном коде выполняются. Но вот как сравнивать - вариантов много. Например если "а" float  то для (a != a) вполне могут быть использованы целочисленные 4-байтные регистры (вместо FP). А в общем согласен, конечно - не факт.