请问x是float类型，什么情况下x!=x为真

kernelxu

请看这一例（WIN2000+VC6.0）：

1. /***********************************************
   
2. *file name    : float_accuracy.c
   
3. *description : x是float类型，什么情况下x!=x为真
   
4. *note           : 若在判断x!=x前对x进行了修改，则
   
5.                   有可能使x!=x为真
   
6. *author        : kernelxu
   
7. *resource     : http://bbs.chinaunix.net/forum/
   
8.                       viewtopic.php?t=575049&show_type=
   
9. *date            : 2005/07/10
   
10. ***********************************************/
    
11. 
    
12. #include <stdio.h>;
    
13. 
    
14. /**********************************************
    
15. *function name :     main()
    
16. ***********************************************/
    
17. int main(void)
    
18. {
    
19.         float x = (float)1e-3;
    
20. 
    
21.         x = x + 1;
    
22.         if (x != x)
    
23.         {
    
24.                 printf("x is UNequal to x!!\n");
    
25.         }
    
26.         else
    
27.         {
    
28.                 printf("x is equal to x!\n");
    
29.         }
    
30.    
    
31.         return 0;
    
32. }/*END OF main()*/

复制代码

结果：

x is UNequal to x!!
在x!=x判断前对x进行了加法运算，x!=x为真

———————————————————————————————————

第二例

1. /***********************************************
   
2. *file name    : float_accuracy.c
   
3. *description : x是float类型，什么情况下x!=x为真
   
4. *note           : 若在判断x!=x前对x进行了修改，
   
5.                   则有可能使x!=x为真
   
6. *author       : kernelxu
   
7. *resource    : http://bbs.chinaunix.net/forum/
   
8.                      viewtopic.php?t=575049&show_type=
   
9. *date          : 2005/07/10
   
10. ***********************************************/
    
11. 
    
12. #include <stdio.h>;
    
13. 
    
14. /**********************************************
    
15. *function name :    main()
    
16. ***********************************************/
    
17. int main(void)
    
18. {
    
19.         float x = (float)1e-3;
    
20. 
    
21.                 x = (float)((int)x + 1);
    
22.         if (x != x)
    
23.         {
    
24.                 printf("x is UNequal to x!!\n");
    
25.                
    
26.         }
    
27.         else
    
28.         {
    
29.                 printf("x is equal to x!\n");
    
30.         }
    
31.    
    
32.         return 0;
    
33. }/*END OF main()*/

复制代码

结果：

x=0.001000
x is equal to x!
在x!=x判断前对x进行了又一种加法运算，x!=x为假

——————————————————————————————————
查看相应汇编代码：
第一例：

x = x + 1;
0040E9DF   fld         dword ptr [ebp-4]
0040E9E2   fadd        dword ptr [string "x = %f\n" (00425000)]
0040E9E8   fst         dword ptr [ebp-4]

第二例：

x = (float)((int)x + 1);
0040E9DF   fld         dword ptr [ebp-4]
0040E9E2   call        __ftol (0040ea2c)
0040E9E7   add         eax,1
0040E9EA   mov         dword ptr [ebp-8],eax
0040E9ED   fild        dword ptr [ebp-8]
0040E9F0   fst         dword ptr [ebp-4]

两种修改的区别就在于：
第一例是做的double型加法；第二例做的是整型加法。double型运算存在误差，且对double型数据进行关系运算本身就存在误差。