（float）キャストが動作しません

Question

私はこの単純なコードを試しています。それはDFに等しくなければならないので、私ジ二重可変であるが、私は（フロート）に設定

int main(){ 
    int i, cont=0; 
    float f; 
    double di, df; 
    for(i=10000000, f=i; i<INT_MAX; i++, f=i, df=f, di=((float)i)){ 
    if(i!=f){ 
     printf("i=%d f=%.2f df=%.2lf di=%.2lf\n", i, f, df, di); 
     if(cont++==10) return 0; 
    } 
    } 
    return 1; 
} 

、しかし：それはフロートで表現できない最初の10の整数を示しますそうではない。

例えば、番号16777217を F によって16777216とDFとして表されているが、ジは（フロート）キャスティングを無視し、依然として16777217です。

これはどのように可能ですか？

**私はこの使用しています：あなたの質問に関連するGCC（Ubuntuの4.4.3-4ubuntu5）4.4.3

Answer 1

はthe C99 standardで6.3.1.8:2です：

浮動の値をオペランドおよび浮動小数点結果の 式は、型によって必要とされるよりも高い精度と範囲で表現されることがあります（ ）。それによってタイプは変更されない。

特に脚注52で：

キャスト及び割当演算子は依然として6.3.1.4および6.3.1.5に記載されるように、それらの指定された変換を実行するために必要とされます。

脚注を読み、私はあなたのコンパイラにバグを発見したと言います。

i!=fの比較は浮動小数点数の間で行われます（標準と同じページの宣伝規則を参照してください）ので、常にfalseにする必要があります。この後者のケースでは、6.3.1.8:2で比較するためにコンパイラがより大きな型を使用することを許可されていると思われますが、おそらく比較が(double)i!=(double)fと等しくなり、時には真となることがあります。パラグラフ6.3.1.8：2は私が最も嫌う標準のパラグラフですが、私はまだ厳密なエイリアシングを理解しようとしています。

Answer 2

この投稿は、何が起こっているかを説明します。

http://www.exploringbinary.com/when-floats-dont-behave-like-floats/

基本的に余分な精度が等しくない等しい浮動小数点数であるもの作り、異なる式の評価のためのマシンに保存される可能性があります。