Опять же истории из жизни
Sep. 4th, 2003 03:20 pmОднажды приятель, работающий в Хеврат Хашмаль, прислал мне на работу письмо с заголовком: "Смотри, как в нашей конторе проверяют две переменные на равенство" и кусочком кода на несколько строчек:
if( a > b)
{
/* Do nothing */
}
else if( a < b)
{
/* Do nothing */
}
else
{
блаблабла - тут был написан какой-то реальный код.
}
Я посмеялся в усы и тут же переслал это письмо всем на фирме - только на всякий случай, чтобы не подставлять мужика (кто знает, какие у них там порядки в Хеврат Хашмале), вырезал все его данные и написал только, что вот, мол, этот код - не просто шутка, а кусок живой программы. Пусть, думаю, народ повеселится.
Через три минуты мне пришло ДВА ответа примерно одинакового содержания: "It's not me, it was there before"
if( a > b)
{
/* Do nothing */
}
else if( a < b)
{
/* Do nothing */
}
else
{
блаблабла - тут был написан какой-то реальный код.
}
Я посмеялся в усы и тут же переслал это письмо всем на фирме - только на всякий случай, чтобы не подставлять мужика (кто знает, какие у них там порядки в Хеврат Хашмале), вырезал все его данные и написал только, что вот, мол, этот код - не просто шутка, а кусок живой программы. Пусть, думаю, народ повеселится.
Через три минуты мне пришло ДВА ответа примерно одинакового содержания: "It's not me, it was there before"
no subject
Date: 2003-09-04 02:54 pm (UTC)(дисклямер: я давно не имел дел с плавающей точкой, посему могу и гнать.)
no subject
Date: 2003-09-04 03:33 pm (UTC)if (x==sqrt(x*x))
может сработать совсем не так как того ожидает наивный программист.
Но уж если представление отличается от точного, то оно либо меньше, либо больше.
правильно писать
if (fabs(x-sqrt(x*x))
if (x==sqrt(x*x))
может сработать совсем не так как того ожидает наивный программист.
Но уж если представление отличается от точного, то оно либо меньше, либо больше.
правильно писать
if (fabs(x-sqrt(x*x))<EPS)
где EPS - допустимая ошибка.
А код из примера <lj site="livejournal.com" user="igorbor"> решительно ничему не помогает
no subject
Date: 2003-09-04 03:52 pm (UTC)проверять на равенство "в лоб" в таком случае неразумно, натурально.
но заключать "равно" исходя из того, что "и не меньше, и не больше", по-моему, нормально.
(хотя рисовать пустые if'ы глупо всё равно, конечно же)
no subject
Date: 2003-09-04 03:58 pm (UTC)Нет. Положим, sqrt(16) будет не 4, а 3.99999999. Тогда сработает ветка "меньше" - и чего мы добились?
no subject
Date: 2003-09-04 04:10 pm (UTC)резонного вывода "чёрт подери, а ведь вычисления с плавающей точкой могут быть неточны!".
я собственно всё к чему? к тому что логика типа "if a > b stuff else if a < b stuff else stuff" не обязательно избыточна, а не к тому что последняя ветка в ней так уж информативна. :)
(прошу прощения за пустой коммент, ЖЖ глючит)
no subject
Date: 2003-09-04 06:05 pm (UTC)no subject
Date: 2003-09-05 12:45 am (UTC)no subject
Date: 2003-09-05 08:10 am (UTC)Конечно, и всё же сравнение с нулём особый случай.
no subject
Date: 2003-09-05 08:21 am (UTC)(asin(1)-M_PI/2) может запросто оказаться отличным от 0.
no subject
Date: 2003-09-06 10:23 am (UTC)Вообще-то мне казажется, что как раз это должно сработать, если плавающие числа удовлетворяют IEEE. Стандарт требует, чтобы определенные операции давали именно как раз - четкое соответствие между аргументами и результатами. Не помню - какие именно операции и функции включены.