《企业级ios应用开发实战》一3.6 可变参数

3.6 可变参数

我们知道，C和C++语言支持可变参数的函数，例如我们常用的NSLog和printf函数。Objective-C作为C语言的超集，当然毫无例外地也支持可变参数。迄今为止，我们至少用过了一种使用可变参数的方法，即NSString的stringWithFormat:方法。
C语言通过stdarg.h库支持可变参数，Objective-C 也不例外。在C语言中，如果你要使用可变参数，必须包含头文件stdarg.h，但在Cocoa中却不必，因为苹果已经在 NSObjC Runtime.h中包含了stdarg.h。
stdarg.h的定义如下：

typedef __void  va_list;
#define va_start(ap, param) __builtin_va_start(ap, param)
#define va_end(ap)            __builtin_va_end(ap)
#define va_arg(ap, type)     __builtin_va_arg(ap, type)

首先定义了一个va_list类型，其实就是一个void，即可以指向任何类型的指针。你可以把它看成是char，因为char*实际上也可以指向任何内存单元的地址。
然后是3个预定义宏，va_start、va_end和va_arg。可以看出stdarg.h完全是以“预定义宏”这种“古老”的方式来支持可变参数的。
接下来我们看一个例子，该方法使用了一个可变参数，并将这些可变参数进行了累加，然后返回一个NSNumber：

- (NSNumber ) addValues:(int) count, ... {
     va_list args;
     va_start(args, count);
     NSNumber value;
     double retval;
     for( int i = 0; i < count; i++ ) {
          value = va_arg(args, NSNumber );
          retval += [value doubleValue];
     }
     va_end(args);
     return [NSNumber numberWithDouble:retval]; 
}

代码说明：
第1行是方法定义，该定义应当加到头文件中。省略号...表明方法接收一系列数目不定的参数，在...前面至少需要指定一个任意类型的参数。有时我们必须知道参数的个数以防止出现无效的引用，但在某种情况下，参数个数是可以通过其他参数推断出来的（例如NSLog或printf函数可以通过计算%号的个数推断可变参数的个数），或者对于NSMutableArray来说，它总是以nil终止。
如果是最后一种方法，我们可以把方法重新定义为：

- (NSNumber ) addValues:(NSNumber ) firstNumber, ... 

这样，我们就可以用以下调用方式代替“addValues:3,num1,num2,num3”：

addValues:num1,num2,num3;

这样，我们就可以省略第1个表示可变参数个数的int参数。
第2行中的va_list是void *类型，因此它实际上是一个可变的对象数组。
第3行用args来存放可变参数列表，而count则表示函数最后一个参数（即第一个“固定参数”）。这将使编译器把args指向第1个参数后的位置（通过count地址加上count变量的长度）。
很奇怪吗？可变参数中第1个参数的位址为什么是“count地址+count的长度”？因为对于大多数C编译器，函数栈中参数的存放顺序是从右到左的，也就是说先放入可变参数的最后一个参数，再放可变参数的倒数第2个参数……，然后放可变参数的第1个参数，最后是固定参数count。而与此同时，栈的方向是向下的，即先入栈的数据位于高地址，后入栈的数据则位于栈的起始地址。这样，实际上最后放入的固定参数count的地址变成了栈的起始地址。而紧随count之后的地址则是可变参数的第1个参数地址，即“count地址+count的长度”，因此编译器要能找到第1个可变参数的地址，只要知道1个参数：count就够了，由count取得函数栈的起始地址，加上sizeof(count)，得到第1个可变参数的地址。va_start的第1个参数args是一个输出参数，经过va_start调用之后，args将等于arg_start计算出来的第1个可变参数的地址。
第6行是一个for循环，因为我们无法通过 args 自身推断 args 的大小，因此必须显式地用count来指定args的大小。或者可以使用nil终止的列表来检索可变参数。
如果你使用nil终止的数组作为可变参数，则应该用下面一行来代替第6～7行：

while( value = va_arg( args, NSNumber  ) )

第 7 行将 args 中的下一个参数放入 value，并显式地转为 NSNumber*（如果不知道类型，可以用id）。
第10行表明，一旦使用完args列表，就关闭它 。
提示：如果你使用va_arg(args，double)（或者float等其他原始类型），那么当你试图传递一系列整数作为参数时（例如：addValues:4,4,3,2,1），可能会出现一些古怪的结果。而如果你显式地将这些参数说明为double（例如，double num1,double num2,double num3,double num4）则不会有什么问题。
这是因为，如果编译器看到一个方法有一个double参数但你却传递了一个整数给这个方法时，它会进行类型转换。但如果方法使用了可变参数，编译器无法知道参数所使用的类型，因此编译器只会简单地把参数作为整型处理。