从printf说开去(四)

   (接上文)

 

   对于函数：

   float sumfunf(int num, …)
   {
         char* args = (char*)(&num)+sizeof(num);

         double result = 0;
         for(int n = 0; n < num; n++)
         {
              result += *(double*)(args + n*sizeof(double));
         }

         return (float)result;
   }
  
   第一个固定参数传入2，代表累加的数字个数为2，不定参数部分传入1和2作为参数，调用函数看看结果：
   float r = sumfunf(2, 1, 2)，此时的r值也是不确定的。(如果用vc7以上做一个最简的控制台测试，大部分情况下r的值返回应该是0。)

   sumfunf函数在处理时，首先取得不定参数部分的偏移量，接下来按照“传入的参数都是double”这个假定进行处理。而sizeof(double)为8，也即是说，
   函数期望以8个字节为单位读取堆栈数据，此时的堆栈情况如下：

 

                                                                       栈顶
                                          ———————————————————————————————
                                             第一个参数num(用于表示不定参数个数)，占用空间4字节。值为0×00000002
不定参数起始地址–>  ———————————————————————————————-
                                                0×00000001 (4字节)
                                                ————————–
                                                0×00000002 (4字节)
                                                ————————–
                                                …其他已经入栈的数据

 

        通过看上面这个堆栈示意，问题应该已经很明显了，sumfunf函数在取参数的时候是期望以double为单位获取数据的，机器并不知道这个数据是什么“类型”，
       机器按double(8个字节)占用的字节空间读取，这样，传入的1、2这两个值被当成了一个数据读出来，按照double的规则进行处理，读出的值为：0×0000000200000001 (此例中使用Big endian序)。

 

       但是，问题出现了，这才读出一个参数，我们还有一个参数到哪里去读呢？

       sumfunf函数在读出第一个参数后，将其值累加至result变量中，在读取第二个参数时，取值的地址范围已经超出了我们传入的数据，然而程序并不会就此出错，恰好在这几个参数之后的堆栈地址中，数据是有效的！

 

       这些数据可被正确的访问，因此，函数在处理第二个参数会继续顺序读取8个字节！这8个字节的值作为第二个参数进行处理，回顾一下双精度浮点数的计算方式，对于0×0000000200000001这样一个数来说，是近乎于0的，因此，最后返回的值是不是为0，就取决于函数从堆栈中顺序读取出来的第二个参数，而这个值是不确定的！我们之所以看到返回值为0.000000，是因为对于这个简单程序而言，在特定的环境下，大部分情况下，读取出来的第二个不定参数在转换为double后，也是接近于0的。

 

   回到printf(“%f”,10/3);的问题来说，产生大家看到的不确定结果也是这个原理。

   对于printf(“%f”, 10/3, 0×40080000);这个能获得3.000000的结果，不妨尝试先自行分析一下。

 

(未完待续)