C++Tricks26I386平台C函数的可变参数表VariableArguments.PDF

C++
Tricks
2.6
I386 平台C函数的可变参 数表(Variable Ar uments)
从

导⼊ 2.6
I386平台C函数的可变 参数表(Variable Ar uments) 基于前⽂(2.4节)分析，我们可以不通过函数签名， 直接通过指针运算，来得到函数的参数。由于参数的压 栈和弹出操作都由主调函数进⾏，所以被调函数对于参 数的真实数量不需要知晓。因此，函数签名中的变量声 明不是必需的。为了⽀持这种参数使⽤形式，C语⾔提供 可变参数表。可变参数表的语法形式是在参数表末尾添 加三个句点形成的省略号“...” ： void
(int
a,char*
c,...); 省略号之前的逗号是可选的，并不影响词法语法分 析。上⾯的函数 可以接受2个或2个以上的参数，前两个 参数的类型固定，其后的参数类型未知，参数的个数也 未知。为了知道参数个数，我们必须通过其他⽅法，⽐ 如通过第⼀个参数传递 ： (3,”Hello”,2,4,5);//调⽤ 并传递5个参数，其中后3 个为可变参数。 在函数的实现代码中，可以通过2.4节叙述的，参数 在栈中的排列顺序，来访问位于可变参数表的参数。⽐ 如: void
(int
a,char*
c...){ void
*pc=c;int*
pi=static_castint*(pc)+1;//将 pi指向⾸个可变参数 for(int
i=0;ia;i++)std::coutpi[i]”
” ； std::coutcstd::endl; } 我们甚⾄可以让⼀个函数的所有参数都是可变参 数，只要有办法获知参数的数量即可。⽐如，我们约 定，在传递给addAll的参数都是int，并且最后⼀个以0 结束 ： int
addAll(...); int
a=f(1,4,2,5,7,0); 那么addAll可以这样实现 ： int
addAll(...){ int
sum=0;int
*p=sum;
//p指向第⼀个局部变量 p+=3;
//跳过sum，ebp，eip，现在p指向第⼀个参 数 for(;*p;++p)
//如果p不指向0就继续循环 sum+=*p; return
sum; } 可变参数表的最⼴泛应⽤是C的标准库函数中的格式 化输⼊输出：printf和scanf。 void
printf(char
*c,...); void
scanf(char
*c,...); 两者都通过它的⾸个参数指出后续参数表中的参数 类型和参数数量。 如果可变参数表中的参数类型不⼀样，那么操纵可 变参数表就需要复杂的指针运算，并且还要时刻注意边 界对⻬(ali n)问题，⾮常令⼈头痛。好在C标准库提供了 ⽤于操纵可变参数表的宏(macro)和结构(struct)，他们 被定义在库⽂件stdar .h中: typedef
struct
{char
*p;int
offset;}
va_list; #define
va_start(valist,ar ) #define
va_ar (valist,type) #define
va_end(valist) 其中结构va_list⽤于指⽰参数在栈中的位置，宏 va_start接受⼀个va_list和函数的可变参数表之前的参 数，通过第⼀个参数初始化va_list中的相应数据，因此 要使⽤stdar .h中的宏，你的可变参数表的函数必须⾄ 少有⼀个具名参数。va_ar 返回下⼀个类型为type的参 数，va_end结束可变参数表的使⽤。还是以上⽂的 addAll为例，这次写出它的使⽤标准宏的版本 ： int
addAll(int
i,...) { va_list
vl;
//定义⼀个va_list结构 va_start(vl,i);
//⽤省略号之前的参数初始化vl if(i=0)return
0;
//如果第⼀个参数就是0，返回 int
sum=i;
//将第⼀个参数加⼊sum for(;;){ i=va_ar (vl,int);
/