深入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 固定以外，后面跟着的参数的个数和类型是可变的(用三个点“...”做参数占位符)

二  可变形参所使用的宏

     在C语言中可变形参的实现 主要通过下面的四个宏
       #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语言中形参的压栈是 从右到左  ，在函数中调用时的出参是出的第一个参数是 压栈的最后一个参数 也就是函数最左边的一个参数

参数在堆栈中分布：
          在进程中,堆栈地址是从高到低分配的.当执行一个函数的时候,将参数列表入栈,压入堆栈的高地址部分,然后入栈函数的返回地址,接着入栈函数的执行代码,这个入栈过程,堆栈地址不断递减,一些黑客就是在堆栈中修改函数返回地址,执行自己的代码来达到执行自己插入的代码段的目的. 

            总之,函数在堆栈中的分布情况是:地址从高到低,依次是:函数参数列表,函数返回地址,函数执行代码段. 堆栈中,各个函数的分布情况是倒序的.即最后一个参数在列表中地址最高部分,第一个参数在列表地址的最低部分.

参数在堆栈中的分布情况如下: 

                         最后一个参数 
                        倒数第二个参数 
                         ... 
                         第一个参数 
                        函数返回地址 
                        函数代码段