可变参数函数的剖析
#include<iostream>#include<cstdarg>
using namespace std;
void func(...);
void func2(int nfirst,...);
void main()
{
cout<<"This is func:"<<endl;
func(1,2,3,5,6,-1);
cout<<"This is func2:"<<endl;
func2(0,7,4,-1);
}
void func(...)
{
va_list list;
va_start(list,list);
list = list + 12;//只?所¨´以°?加¨®12的Ì?原-因°¨°从䨮临¢¨´时º¡À变À?量¢?地Ì?址¡¤到Ì?第̨²一°?个?参?数ºy之?间?有®D12个?字Á?节¨²。¡ê
int n = 0;
std::cout<<n<<endl;
while(n != -1)
{
n = va_arg(list,int);
std::cout<<n<<endl;
}
va_end(list);
}
void func2(int nfirst,...)
{
va_list list;
va_start(list,nfirst);
int n = 0;
while(n!=-1)
{
n = va_arg(list,int);
std::cout<<n<<endl;
}
}函数的运行结果：
关于可变参数的剖析，步骤
头文件 #include<cstdarg>
宏定义 va_list，va_start，va_arg，va_end
步骤：
1va_list ap
标识一个数据结构，ap用来存放可变参数信息。
2va_start(ap,v);
这个宏用来初始化可变参数列表。ap表示初始化的数据结构，它里面存放着后面的可变参数信息。 v标识函数声明中最后一个具有名字的参数，也就是...之前的那个参数。
3va_arg(ap,t);
获取可变参数，t是参数的类型。用这个函数来获取后面的可变参数的值。
int xx;
xx = va_arg(ap,int);
4va_end(ap);
这个宏用来宣告可变参数调用的结束，要用在最后面。
再来看宏的解释：
1typedef char *va_list;
说明va_list 是一个char*类型的。
2#define va_start_crt_va_start
#define _crt_va_start(ap,v)( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )
#define _ADDRESSOF(v) ( &reinterpret_cast<const char &>(v) )
#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )
这个是为了内存对齐。什么叫做内存对齐呢？我们知道任何正整数都可以表达为
x = n*q + r , ( 0≤r＜q ),
对齐就是要当r = 0 时，x = n*q。当 r＞0 时候，x = ( n + 1 )*q
所以对于最终要求的结果 x ，我们可以得出这样的表达式：
x = n*q + r ,( -q＜r≤0 )
方程的两边都加上 q-1 得：
x + q - 1 = n*q + (r + q - 1), ( 0≤r + q - 1＜q )
其中的n*q 就是我们最终要求的结果，那么n*q的结果就可以表示为：
(x + q - 1)/q*q = n*q.
如果 q是2进制的整数次幂，事情就更加好办了. 假设 q = 2^k,那么只需要把(x + q - 1)的0-m-1次位清零即可。即：
(x + q -1 )&~(q-1).
从以上可以得出va_list 是为了得出可变参数中第一个元素的地址，从这里也可以看出，参数v必须是命名参数中的最后一个参数。
3#define va_arg _crt_va_arg
#define _crt_va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
(ap += _INTSIZEOF(t)) //实现ap的值偏移
(ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) //实现把地址定位到参数的指向地址
(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) //强制类型转换成参数的类型
( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )//取出参数的值
4#define va_end _crt_va_end
#define _crt_va_end(ap) ( ap = (va_list)0 )
最后这个简单了，就是清理门户，让ap不再指向栈中内存。
页:
[1]