consumed这个单词我并不能给出很准确的翻译,在这篇文章中,我把Consumed parameters称为耗用参数,它在OC中有着独特的应用场景。
在https://clang.llvm.org/docs/AutomaticReferenceCounting.html#id7这份文档中,讲解了ARC方面的知识,我对Consumed parameters这一个小模块有很大的疑问,因此在网上查了一些资料,虽然有了一个大概的了解,但是还是有一些不太清楚的地方。
我们先来看一个例子,这个例子来源于上边的那份文档:
void foo(__attribute((ns_consumed)) id x);
- (void) foo: (id) __attribute((ns_consumed)) x;
我们可以用__attribute((ns_consumed))
来修饰某个函数或者方法的参数,但这只是表面上的看法,实际上,它并不是只作用于它修饰的某个参数,而是作用于整个函数或方法。
它的一个限制是,只能修饰可retain的对象指针类型,比如id
, Class
等等,不能修饰int *
这样的类型。
上边的两行代码表示foo
被标记为consumed。意味着该函数的被调用者希望得到一个+1 retain count的对象。声明了这个属性后,当传入一个参数时,在函数调用前,ARC会把对该参数做一次retain操作,在该函数结束后再对该参数做一次release操作,这一过程很像函数对局部变量的操作。
到这里就产生了第一个疑问?
为什么要对传入的参数做retain,在结束时又release掉?
这个跟参数的生命周期有关,我们在函数中使用了参数,当然希望能够得到这个参数的所有权,并且希望该参数一直存活着。这个内容我会在下边的内容中给出一定的解释。在上边的文档中有这样一段话:
Rationale
This formalizes direct transfers of ownership from a caller to a callee.
The most common scenario here is passing the self parameter to init, but it is
useful to generalize. Typically, local optimization will remove any extra retains
and releases: on the caller side the retain will be merged with a +1 source, and on
the callee side the release will be rolled into the initialization of the parameter.
这段话指出,上边的操作直接从调用者到被调用者转移了所有权,最常见的一个场景就是传递self
参数到init
方法之中,这个内容将是本文最重要的内容。一般来说,局部的优化会移除任何额外的retain和release操作,这句话的意思是说,在函数中,某些局部变量不一定都会十分严格的按照retain/release原则来进行操作。调用端将会进行一些必要的合并操作,而被调用端也会对参数做一些额外的操作。
到这里,有了第二个疑问?
在ARC中,为什么self
在init
方法中是一个consumed parameter?
这个问题我之前是不知道的,它来源于这个提问。init
方法被标记为ns_consumes_self
。ns_consumes_self
说明在方法中遵循上边讲的原则,在方法调用之前先把self
做retain操作,结束时做release操作。
User *user = [[User alloc] init];
这是一行非常简单的代码,在调用了alloc
后就创建了一个User对象,这个可以在这篇回答中获得证据。返回的对象的retain count等于1,大家应该记得,凡是通过alloc/new/copy.etc
生成的对象,retain count都会+1,那么在这里的init
方法中:
self = [super init];
if (self) { ... }
return self;
self
首先被init
的调用者做了一次retain操作,此时它的retain count为1,执行完self = [super init];
后,它的retain count为2,直到init
返回后,self
做了一次release操作,此时它的retain count为1。**这就完美保证了self
在方法中是一直存活的,也保证了能够返回一个retain count为1的对象。
有兴趣可以翻看这个提问中的回答的部分,那哥们说的很详细,再说一点,在以前的MRC时代,代码可以这样写:
- (NSView *)view {
//explicit retain-autorelease of +1 variable is +2 -> +1, guaranteed access or nil.
return [[_view retain]autorelease];
}
为了正确返回某个对象,先retain再release。
因此在使用consumed的时候,需要注意一下几点:
- 保证方法的接收者不能为null,因为在方法被调用之前,参会会做retain操作,这样就带来了内存泄漏的问题
- 传递的参数的个数不能大于方法能够动态处理的个数,否则可能引起未知的后果
- 谨慎处理静态类型的问题
何为静态类型,何为动态类型?
A *a = [A new];
B *b = a;
那么b的静态类型就是B,这个类型是由编译器决定的,而A则是它的动态类型,由运行时决定。
我发现ASDisplayKit的源码极其复杂,估计要花相当多的时间来解读了。不能放弃,加油。