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

Question

我想得到一个准确/准确的答案，为什么下面的代码会打印出不同的结果：

#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。

非常感谢！

更新！

我生成了带有和不带有 -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

Answer 1

在 C 语言中，允许以比代码指示的更高的精度运行浮点数学运算。
尤其是编译时数学（第 2 行）可能以 long double

的形式运行

C11dr §5.2.4.2.2 9 “除了赋值和强制转换（删除所有额外的范围和精度），具有浮动操作数的运算符产生的值和经过通常算术转换的值和浮动常量被评估为范围和精度可能大于类型要求的格式。

参见上面的@Patricia Shanahan。

---

[编辑]

检查 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 评估所有操作和常量的范围和精度 long double 类型。

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