iOS可变参数实现及原理剖析

标签（空格分隔）： iOS可变参数 iOS方法后面为什么有nil参数

---

你一定会时常见到有些方法的最后会有一个无关痛痒的 nil 参数,可曾想过为什么要带这个参数呢。

解答：因为这里参数的传递是可变参数的传递，拿[NSArray arrayWithObjects:]为例子，我们进入他的接口文件去看会看到接口的实现是这样的

+ (instancetype)arrayWithObjects:(ObjectType)firstObj, ... NS_REQUIRES_NIL_TERMINATION;

最后的参数是一个宏定义，字面的意思是NS系列的‘需要以nil作为终止符‘

这里由于是可变参数，所以参数的个数并不确定，所有在系统进行遍历该你传进去的参数时会进行判断是否读取到nil的终止符。当读到终止符nil时确定参数的个数停止进行遍历

（这也就是为什么当数组中对象是nil值的时候，后面的值就加不进去的原因。所以数组的初始化尽量使用字面量形式，字面量可以导致错误展现出来。不至于不知道哪里错了）

由此，我们可以自己进行方法的设定时，也能实现可变参数的实现（Java的可变参数比objective-c要容易的多），实现如下

声明

- (void)test:(NSString *)first,...NS_REQUIRES_NIL_TERMINATION;

实现

//可变参数

- (void)test:(NSString *)first,...{

//参数链表指针

va_list list;

//遍历开始

va_start(list, first);

//知道读取到下一个时nil时结束递增

for (NSString *str = first; str != nil; str = va_arg(list, NSString*)) {

NSLog(@"%@",str);

}

//结束遍历

va_end(list);

}

到这里，你会想，既然va_list是一个链表指针，为什么没有*呢。不错，这里确实是应该有一个 * 号但是，你再看，我们顺藤摸瓜，进入 va_list的实现中去，他是这样定义的

typedef __darwin_va_list va_list;

typedef void *  __darwin_va_list;   /* va_list */

没错,你会看到这里他确实是一个指针，只不过给他重定义了而已。

在讲他的实现原理的时候我们不得不牵扯C语言中可变参数的实现原理：C语言中的参数，编译器会将多个参数从右向左挨个入栈，然后挨个出栈，所以只要我们知道参数列表中的第一个或者最后一个，就能够挨个把他们取出来。

我们先讲这里的各个函数的作用，再去看C语言的实现。

1.va_start(ap, param)

这里的函数作用是将参数列表的第一个参数的地址给我们之前定义的参数链表指针给赋值，用于系统进行遍历取值。ap--我们之前定义的偏移指针 param--参数列表的第一个参数

2.va_arg(ap, type)

va_arg函数的作用是根据指针进行取值，取出值以后返回，并且指针偏移一位，ap---作用同上 type--参数的类型

3.va_end(ap)

参数列表遍历完毕后我们需要将之前定义的指针偏移量给销毁，以防出现意外。这里属于安全操作

说完这些方法的用处，那么该讲讲C语言中的实现了

void fun(int a1, ...)

{

int *temp = &a;

temp++;

for (int i = 0; i < a; ++i)

{

//做你想要的操作

temp++;

}

}

C语言中的可变参数实现方法如上，我想就不用过多解释了。