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的源码极其复杂，估计要花相当多的时间来解读了。不能放弃，加油。
网友评论