GCC дает неверный ответ с включенной оптимизацией

Question

У меня есть следующая программа на C

double d = 1.4;
int x;
x = d * 10;
printf("\n\n VALUE = %d " ,x);

У меня есть gcc 4.3.3, который поставляется с Ubuntu 9.04

Я получаю ответ как 13 с -O0, но получаю правильный ответ, т.е. 14 с более высоким уровнем оптимизации

Это известная проблема или что-то не так с моим кодом?

Answer 1

Это gcc ошибка # 323 , на самом деле это не ошибка, а деталь реализации.

Answer 2

Вы не можете точно представить 1.4, используя double, значение на самом деле немного запаздывает или немного меньше (см. this ).Таким образом, нет «правильного» ответа - используйте round() вместо косвенного усечения.

Answer 3

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

double d = 1.4;
int x;
x = d * 10;
printf("Old = %lf, New = %d\n", d, x);

Answer 4

Что должен знать каждый компьютерный ученый об арифметике с плавающей точкой

Это действительно то, что написано в названии, и это также относится к программистам в целом.