费解的难题：编译器错了吗？

hellioncu

想说明啥？

sonicling

一个是软件模拟算出来的，一个是真实硬件算出来的，当然有差别啦。

sonicling

pmerofc 发表于 2012-03-26 14:43
1.根据？
2.无论哪种都不应该违反C的语义

1. 浮点数本来就有精度差别，软件模拟的计算正好反映了不同精度浮点数的计算精度差别问题，而硬件的计算结果是因为x86浮点处理部件只处理long double类型，所有浮点都统一转换为long double 计算，这就是x86的语义
2. C的语义指的什么？指的标准的话，违反了标准的哪一条？指的其他的话。。。对不起，编译器只参考语言标准，并结合平台特性来实现。

sonicling

至于软件模拟为什么是这样的计算结果，可以参考 mpfr： http://www.mpfr.org/
gcc就是用的这个库来进行浮点常量的计算。

Software Using MPFR

...
GCC: first in GFortran, then in the middle-end phase as of GCC 4.3, to resolve math functions with constant arguments. More information.
...

bruceteen

靠，我写了段代码，帮我看看有没有错误

1. #include <stdio.h>
   
2. 
   
3. int main( void )
   
4. {
   
5.    float f = 1.234567f ;
   
6. 
   
7.    printf("%.17f\n", 1.234567f * 1.234567f );
   
8.    printf("%.17lf\n", 1.234567 * 1.234567 );
   
9.    printf("%.17llf\n", 1.234567l * 1.234567l );
   
10.    printf("%.17f\n", f * f );
    
11. 
    
12.    return 0;
    
13. }

复制代码

在VC9.0中输出（VC的printf输出不准这我知道）
1.52415573596954350
1.52415567748899990
1.52415567748899990
1.52415579147772460

在mingw4.6.1中输出
1.52415573596954346
0.00000000000000000
1.52415567748900000
1.52415579147772462