11.0与11导致运算结果不一致

gleerat

我的一个练习程序，是《C Primer》上的一个实例：

1. /**++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   
2.   *编程实例16-18，可变参数
   
3.   **/
   
4. 
   
5. #include <stdio.h>
   
6. #include <stdarg.h>
   
7. 
   
8. double sum(int , ...);
   
9. 
   
10. int main(void)
    
11. {
    
12.     double s, t, r;
    
13. 
    
14.     s = sum(3, 11.0, 2.5, 13.3);    //11.0跟11的结果不一样
    
15.     r = sum(3, 11, 2.5, 13.3);
    
16.     t = sum(6, 1.1, 2.1, 13.1, 4.1, 5.1, 6.1);
    
17.     printf("return value for sum(3, 11.0, 2.5, 13.3):   %g.\n", s);
    
18.     printf("return value for sum(3, 11, 2.5, 13.3):  %g.\n", r);
    
19.     printf("return value for sum(6, 1.1, 2.1, 13.1, 4.1, 5.1, 6.1):"
    
20.         "  %g.\n", t);
    
21. 
    
22.     return 0;
    
23. }
    
24. 
    
25. /*使用可变参数的函数*/
    
26. double sum(int n, ...)      //省略了n个参数
    
27. {
    
28.     va_list ap;     //声明用于存放可变参数的变量
    
29.     double total = 0;
    
30.     int i;
    
31. 
    
32.     va_start(ap, n);        //初始化参数列表
    
33.     for(i=0; i<n; i++)
    
34.         total += va_arg(ap, double);    //访问参数列表
    
35.     va_end(ap);     //清理列表
    
36. 
    
37.     return total;
    
38. }
    

复制代码

结果，由于11.0与11导致了运算结果不一致：

1. [color=Red]return value for sum(3, 11.0, 2.5, 13.3):   26.8.[/color]
   
2. [color=Red]return value for sum(3, 11, 2.5, 13.3):  13.3.[/color]
   
3. return value for sum(6, 1.1, 2.1, 13.1, 4.1, 5.1, 6.1):  31.6.

复制代码

井蛙夏虫

整型和浮点型数据在内存中的存储格式不同。va_list的原理一般是相当于一个指向char*指针，va_start将它初始化为可变参数的起始地址，
va_arg根据第二个参数类型取出数据，并使va_list向前移动第二个参数类型的字节长度或移动到\0后(对于char*)。
你将整型内存数据当作浮点取出，它俩对应的值本身就不同。而你的例子中int和double的字节数也可能不同。
下面是我用gdb查看的内存数据(32位系统):
1. s = sum(3, 11.0, 2.5, 13.3);

1. 0xbffff180:        0x00000003        0x00000000        0x40260000        0x00000000
   
2. 0xbffff190:        0x40040000        0x9999999a        0x402a9999        0x4a0200e3
   
3. 0xbffff1a0:        0x4a19a384        0x08049920        0x00000001        0x08048309

复制代码

2.sum(3, 11, 2.5, 13.3);

1. 0xbffff180:        0x00000003        0x0000000b        0x00000000        0x40040000
   
2. 0xbffff190:        0x9999999a        0x402a9999        0x402a9999        0x4a0200e3
   
3. 0xbffff1a0:        0x4a19a384        0x08049920        0x00000001        0x08048309

复制代码

井蛙夏虫

接上,
1. 最开始四个字节为3,接着8字节为浮点11，8字节浮点2.5，8字节浮点13.300000000000001。
2. 四字节3, 四字节11, 8字节浮点2.5, 8字节浮点13.300000000000001。
将第二个当浮点读后为: 四字节3, 8字节浮点5.434722104253712e-323, 8字节浮点-2.353438280142842e-185, 8字节浮点13.299997334671206。

注：编译环境gcc (GCC) 4.6.3 20120306 (Red Hat 4.6.3-2)。

gleerat

回复 2# 井蛙夏虫

C语言在存储数据的时候，会把不带小数点的11认为是整形数，只有带小数点的11.0才会认为是浮点数吗？必须在存储之前显式地强制把11转换为浮点数才行吗？

idi0t

回复 4# gleerat


    是这样的，要使用浮点数表示，可以在数后面加个f,如11f,或者加上小数如11.0,都是表示的浮点数.
    个人理解浮点数储存的时候能只表示近似值，如0.2在内存中是无法精确表示为0.2的，具体可以参考浮点数的储存格式。

井蛙夏虫

这是关于c语言常量类型的问题，11一般默认会被当作int， 11.0一般是double。
你可以用加后缀的方式指明类型,比如11l指明long, 11.0f指明float等。

gleerat

回复 5# idi0t


谢谢，以后在存储数据前，就要注意考虑需不需要显式地强制转换数据类型了。

windoze

你确定你正确理解了“...”和va_*是怎么工作的么？如果不确定，那就仔细看手册。