quick quiz

[wizzard]

внимание, вопрос!

в каком случае сравнение if(value!=value) { throw new Exception("..."); } имеет смысл, и что скорее всего написано в том эксепшене? )

(случай реализации кастомного типа, который неправильно сравнивается - здесь не рассматривается)

Комменты скринятся.

UPD: aruslan подумал абсолютно правильно, как человек, который видел такое в каком-то рендере (i suppose), kodt_rsdn отжог с 5 случаями, из которых я при написании поста знал только 4 (# как-то в голову не пришло). кстати, на второй случай я натыкался, даже без модификатора. Подожду еще несколько комментаторов и расскриню.

Ну и еще: kodt_rsdn> проведи конкурс на самый банальный и небанальный вариант.

UPD2: в общем, я думаю, что все кто хотел - уже ответили, посему расскриниваю. Самым банальным вариантом остается, как я и думал, фрагмент IEEE754 про сравнение NaN != NaN, a самым неожиданным (для меня) - #define value rand() (надо меньше доверять людям, что ли? :))
И еще, мне все так же остается загадкой, что подразумевал aruslan под "тривиальным bool и может быть enum".

Спасибо всем за ответы! :) // mr_aleph, твой коммент расскринивать?

Comments

[aruslan.livejournal.com]

NaN-то почему пиздец?

[zabivator.livejournal.com]

Гм. Тогда уж это в функции isNaN должно быть как документированный хак... А не где попало в коде.

[aruslan.livejournal.com]

Да брось.
Если это floating point, какая разница, v!=v, или v!=w?
Это вопрос намордника, не NaNов.

[lionet.livejournal.com]

Мифы о несравнимости floating point чисел не распространяй, плиз.

[wizzard]

Это смотря где их использовать. Если плотно заниматься геометрией, пересечения всякие находить, разбиения пространства - то из таких мифов половина кода состоит...

[lionet.livejournal.com]

Это не значит, что операция != или == автоматом табу для fp, под одну гребёнку.

Вон можно на 0 проверить, для того чтобы не делить лишний раз на него: foo == 0. И ничё, никаких эпсилонов не надо придумывать.

[wizzard]

Ненене, я не про это. хм. тут пошло какое-то непонимание. придумаю как сказать - отвечу.

[aruslan.livejournal.com]

Сравнимость чисел - вопрос терминологический и контекста.
Сравнимость выражений - вопрос намордника и оптимизатора.
Странно слышать, что это - миф.

[lionet.livejournal.com]

Я подразумеваю школьные мифы типа: сравнивать напрямую нельзя, только через неравенство и эпсилон.

[aruslan.livejournal.com]

А, ну это от контекста зависит, очевидно.
Могу себе представить неустойчивые методы, где проблему замазывают эпсилонами, видимо k-порядка.
Я про прозаический спиллинг и прочие не вполне эффективно выразимые в типах проблемы.