C语言中通过整数转换进行浮点数比较

我想得到一个确切/精确的答案，为什么以下代码打印不同的结果：

#include "stdio.h"
int main(void)
{
    int a = 9;
    int b = 10;
    printf("%d\n", (double)a / (double)b == 0.9); /* prints 0 */
    printf("%d\n", (double)9 / (double)10 == 0.9); /* prints 1 */
    return 0;
}

我认为这可能与编译器相关，我的是 gcc (GCC mingw Windows7) 4.8.1 和 gcc (Debian 4.7.2-5) 4.7.2。

非常感谢！

UPDATE!

我生成了带和不带 -std=c99 选项的汇编代码，这应该有助于理解这里发生的情况。

没有 -std=c99 （这给出结果 0/1）：

    .file    "a.c"
    .section .rodata.str1.1,"aMS",@progbits,1
.LC0:
    .string  "%d\n"
    .section .text.startup,"ax",@progbits
    .p2align 4,,15
    .globl   main
    .type    main, @function
main:
.LFB11:
    .cfi_startproc
    pushl %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl %esp, %ebp
    .cfi_def_cfa_register 5
    andl $-16, %esp
    subl $16, %esp
    movl $1, 4(%esp)
    movl $.LC0, (%esp)
    call printf
    movl $1, 4(%esp)
    movl $.LC0, (%esp)
    call printf
    xorl %eax, %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE11:
    .size    main, .-main
    .ident   "GCC: (Debian 4.7.2-5) 4.7.2"
    .section .note.GNU-stack,"",@progbits

使用 -std=c99 （这给出结果 1/1）：

    .file    "a.c"
    .section .rodata
.LC1:
    .string "%d\n"
    .text
    .globl  main
    .type   main, @function
main:
.LFB0:
    .cfi_startproc
    pushl %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    andl    $-16, %esp
    subl    $32, %esp
    movl    $9, 28(%esp)
    movl    $10, 24(%esp)
    fildl   28(%esp)
    fildl   24(%esp)
    fdivrp  %st, %st(1)
    movl    $1, %edx
    fldt    .LC0
    fucomp  %st(1)
    fnstsw  %ax
    sahf
    jp      .L5
    fldt    .LC0
    fucompp
    fnstsw  %ax
    sahf
    je      .L2
    jmp     .L3
.L5:
    fstp    %st(0)
.L3:
    movl    $0, %edx
.L2:
    movzbl  %dl, %eax
    movl    %eax, 4(%esp)
    movl    $.LC1, (%esp)
    call    printf
    movl    $1, 4(%esp)
    movl    $.LC1, (%esp)
    call    printf
    movl    $0, %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE0:
    .size main, .-main
    .section .rodata
    .align 16
.LC0:
    .long    1717986918
    .long    -429496730
    .long    16382
    .ident   "GCC: (Debian 4.7.2-5) 4.7.2"
    .section .note.GNU-stack,"",@progbits

在 C 中，浮点数学允许以比代码指示的更高的精度运行。
特别是编译时数学（第二行）可以作为long double

C11dr §5.2.4.2.2 9 “除了赋值和转换（删除所有额外的范围和精度）之外，具有浮点操作数的运算符和受通常算术转换影响的值以及浮点常量所产生的值将被评估为以下格式：范围和精度可能大于类型所需的范围和精度。

请参阅上面的@Patricia Shanahan。

[Edit]

检查 FP 评估模式（如果已定义）

#include <float.h>
printf("%d\n", FLT_EVAL_METHOD);

C11dr §5.2.4.2.2 9（续） 评估格式的使用以实现定义的值为特征FLT_EVAL_METHOD.

-1无法确定的；

0评估所有操作和常量的范围和精度 类型;

1将 float 和 double 类型的运算和常量求值为 double 类型的范围和精度，将 long double 运算和常量评估为 long double 类型的范围和精度；

2评估所有操作和常量的范围和精度 长双型。

FLT_EVAL_METHOD 的所有其他负值都表征实现定义的 行为。