深入C语言可变参数(va_arg,va_list,va_start,va_end)
一 可变形参：
1. 由于在C语言中没有函数重载,解决不定数目函数参数问题变得比较麻烦;即使采用C++,如果参数个数不能确定,也很难采用函数重载.对这种情况,有些人采用指针参数来解决问题.下面就c语言中处理不定参数数目的问题使用的是：可变形参
2. 在C和OC语言中编程中遇到一些参数个数可变的函数
int printf(const char* format,…)，int scanf(const char *format,…);
- (void)parameterTest:(NSString *)str, ...
它除了有一个参数format 固定以外，后面跟着的参数的个数和类型是可变的(用三个点“...”做参数占位符)
二 可变形参所使用的宏
#define _INTSIZEOF(n) ((sizeof(n)+sizeof(int)-1)&~(sizeof(int) - 1) )
#define va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v) ) //第一个可选参数地址
#define va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) ) //下一个参数地址
#define va_end(ap) ( ap = (va_list)0 )
1.#define _INTSIZEOF(n) ((sizeof(n)+sizeof(int)-1)&~(sizeof(int) - 1) )
根据不同的操作系统来获取当前变量在内存中的偏移量 向上取整成int 的整数
具体原理详解：http://blog.csdn.net/u010476094/article/details/39527697
2. #define va_start(ap,v) 获取一个可变参数的地址 v 为传递的第一个参数，例如上面表达式中的 format 或者 str
3. #define va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) ) 获取下一个参数的地址
4. #define va_end(ap) ( ap = (va_list)0 ) 在获取完参数后 将ap 指针指为空
三 可变形参的实战
- (void)test:(NSString *)str,...
{
va_list ap; // 定一个list来存储可变形参的开始地址
va_start(ap, str); // 通过第一个参数str 获取形参的开始地址
id strtest = str;
while (strtest) {
NSLog(@"address:%p,value:%@",strtest,strtest);
strtest = va_arg(ap, id); // 获取当前形参的下一个参数
}
va_end(ap); // 获取形参完毕后将 list中的地址置为空
}
四 可变形参的原理
[self test:@"111111",@"222222",@4000,@"333333",@"444444",@"555555",@"666666",nil];
demo("self","DEMODEMODEMo","This","is","a","demo!","");
在C语言中形参的压栈是 从右到左 ，在函数中调用时的出参是出的第一个参数是 压栈的最后一个参数 也就是函数最左边的一个参数
参数在堆栈中分布：
在进程中,堆栈地址是从高到低分配的.当执行一个函数的时候,将参数列表入栈,压入堆栈的高地址部分,然后入栈函数的返回地址,接着入栈函数的执行代码,这个入栈过程,堆栈地址不断递减,一些黑客就是在堆栈中修改函数返回地址,执行自己的代码来达到执行自己插入的代码段的目的.
总之,函数在堆栈中的分布情况是:地址从高到低,依次是:函数参数列表,函数返回地址,函数执行代码段. 堆栈中,各个函数的分布情况是倒序的.即最后一个参数在列表中地址最高部分,第一个参数在列表地址的最低部分.
参数在堆栈中的分布情况如下:
最后一个参数
倒数第二个参数
...
第一个参数
函数返回地址
函数代码段