C-кодирование, непредвиденное поведение при сравнении значения с плавающей запятой

Question

Я получаю неожиданное поведение при сравнении значения с плавающей запятой, я понимаю, что поплавки могут иметь проблемы с округлением, но здесь цифры весьма специфичны, чтобы представить эти проблемы.

#include <stdio.h> 
int main() 
{ 
    float alpha = 0.0f; 
    int finish = 0; 

    while (finish == 0) 
    { 
     alpha += 0.05f; 

     if (alpha > 1.0f) 
     { 
      printf("%f", alpha); // Expected result: 1.05f, actual result: 1.0f 
      finish = 1; 
     } 
    } 

    return 0; 
} 

Фактически, условие входит, когда α = 1.0f. Не могу понять это поведение ...

Я компилирую с MinGW (GCC 5.3.0) на Windows 10 (протестирован на 32-битных и 64-битных) процессорах Intel i5.

Answer 1

(Ограничение ответа, если возможно, с плавающей точкой IEEE754).

Нет таких float, что и 0.05. ближайшего число представимо в том, что это

0.0500000007450580596923828125

Так что же происходит, является то, что немного большие значения, чем то, что вы думаете, будут добавлены в alpha, что достаточно для только толчок его над 1.0f знак (который, из интереса, могут быть представлены точно.)

форматирование по умолчанию в print округления, что немного больше, чем 1.0f номер назад 1.0f.

Таким образом, все это связано с бинарной плавающей точкой, не имеющей, в общем, точного десятичного представления.