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中，允许浮点数运算的精度高于代码指示的精度特别是编译时数学（第二行）可以作为long double

运行

C11dr§5.2.4.2.29“除了赋值和强制转换（删除所有额外的范围和精度）之外，具有浮动操作数的运算符产生的值和通常算术转换以及浮动常量的值被计算为范围和精度可能大于类型所需的格式。

见上面的@Patricia Shanahan。

[编辑]

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

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

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

-1不确定;

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

1计算float和double类型的操作和常量 double类型的范围和精度，评估long double操作和常量到long double类型的范围和精度;

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

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

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

1 个答案: