第13题:此题考查的是C的变长参数;
#include<stdio.h>
#include<stdarg.h>
int ripple ( int , ...);
void main()
{
int num;
num= ripple (3,5,7);
printf(" %d\n" , num);
}
int ripple (int n, ...)
{
int i,j;
int k;
va_list p;
k=0;
j= 1;
va_start(p,n);
for(; j<n; ++j)
{
i= va_arg( p , int);
for(; i; i &= i-1 )
++k;
}
return k;
}
这段程序的输出是:
(a)7 (b) 6 (c) 5 (d) 3
解答:
在C编译器通常提供了一系列处理可变参数的宏,以屏蔽不同的硬件平台造成的差异,增加程序的可移植性。这些宏包括va_start、va_arg和va_end等。
采用ANSI标准形式时,参数个数可变的函数的原型声明是: typefuncname(type para1, type para2, ...)
这种形式至少需要一个普通的形式参数,后面的省略号不表示省略,而是函数原型的一部分。type是函数返回值和形式参数的类型。
不同的编译器,对这个可变长参数的实现不一样,gcc4.x中是内置函数.
关于可变长参数,可参阅
http://www.upsdn.net/html/2004-11/26.html
http://www.upsdn.net/html/2004-11/24.html
程序分析
va_list p; /*定义一个变量,保存函数参数列表 的指针*/
va_start(p , n); /*用va_start宏初始化 变量p,va_start宏的第2个参数n,是一个固定的参数,
必须是我们自己定义的变长函数的最后一个入栈的参数
也就是调用的时候参数列表里的第1个参数*/
for(; j<n; ++j) /* j从1开始,遍历所有可变参数*/
{
i= va_arg( p , int); /*va_arg取出当前的参数,并认为取出的参数是一个整数(int)*/
for(; i; i &=i-1 ) /*判断取出的i是否为0*/
++k;/* 如果i不为0,k自加,
i与i-1进行与逻辑运算,直到i为0
这是一个技巧,下面会谈到它的功能*/
}
当我们调用ripple函数时,传递给ripple函数的参数列表的第一个参数n的值是3.
va_start初始化p指向第一个未命名的参数(n是有名字的参数),也就是5 (第一个).
每次对va_arg的调用,都将返回一个参数,并且把p指向下一个参数.【从左往右?】
va_arg用一个类型名来决定返回的参数是何种类型,以及在var_arg的内部实现中决定移动多大的距离才到达下一个参数
(;i; i&=i-1) k++ /*计算i有多少bit被置1*/
5用二进制表示是(101)2
7用二进制表示(111)3
所以k返回 5 (2+3),
举个例子,就很好理解:
令i=9 = 1001
i-1= 1000
(i-1)+1 = i
1000 +1 = 1001
因为i与i-1的最右边的那位(最低位)肯定是不同,如果i&(i-1),那么最右边哪位肯定是0,反之亦然. i & (i-1) 这个运算,在二相补的数字系统中,将会消除最右边的1位