Плавающе-точечное

[spamsink]

В какой-то мере навеяно постом ivan_gandhi

Что произойдет в вашей системе и что, по-вашему, должно произойти при попытке компиляции (и, если компиляция была/должна быть успешной, то запуска) следующей программы на Си:

#include <stdio.h>
main() {
printf("%d %d %d\n", (int)(-1.0/0.0), (int)(0.0/0.0), (int)(1.0/0.0));
}


Comments

[archaicos.livejournal.com]

Если скомпилируется, то UB.

[spamsink]

Почему?

[archaicos.livejournal.com]

По определению?

C99:

The result of the / operator is the quotient from the division of the first operand by the second; the result of the % operator is the remainder. In both operations, if the value of the second operand is zero, the behavior is undefined.

When a finite value of real floating type is converted to an integer type other than _Bool, the fractional part is discarded (i.e., the value is truncated toward zero). If the value of the integral part cannot be represented by the integer type, the behavior is undefined.

[spamsink]

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

[archaicos.livejournal.com]

Получил бы ты двойку за такой ответ на экзамене по Си. :)

[spamsink]

Естественно. "...кто не умеет - учит".

[archaicos.livejournal.com]

А кто умеет, мучается с UB в своём коде. :)

[spamsink]

Я с Си не мучаюсь, я с Верилогом мучаюсь; сишный пример искусственный, придуман по мотивам.

[archaicos.livejournal.com]

В Верилоге, поди, тоже есть «тонкости» для мучений.

[spamsink]

Есть. Например (в сишных терминах), нет согласья, что должно получаться в результате
int i = -1;
unsigned u;
printf("%d\n", (i%2)^(u%1));

потому что правила распространения беззнаковости по дереву выражения нечеткие.

[archaicos.livejournal.com]

Чудно.

[archaicos.livejournal.com]

Ага, известное «It works on my computer». :)

А потом обновляешь компилятор или запускаешь другой компилятор на том же процессоре с той же ОС, и результат другой.

[spamsink]

Куда они денутся с подводной лодки? На выражениях с переменными результат у всех компиляторов на платформе с IEEE-754 плавающей точкой будет такой, какой им процессор дает. Поэтому и на константных выражениях должен быть в точности такой же результат.

[archaicos.livejournal.com]

Ишь чего захотел. Вон, в микрософтовском компиляторе есть ошибка двойного округления в константах, плевали они на IEEE-754. Такая вот подводная лодка, с течью. :)

[spamsink]

Они по крайней мере признали, что это ошибка, им просто исправлять лень. С тем же успехом можно привести в пример Интел, который не сразу согласился делать реколл Пентиумам, в которых была ошибка с делением: дескать, это почти ни на кого не влияет.