Objective-C中的自动释放池
自动释放池块@autoreleasepool
自动释放池块在MRC和ARC下都可以使用。在MARC下，为了将自动释放池块内部的变量放入自动释放池，需要手动调用autorelease方法；在ARC下，只能通过声明变量为__autoreleasing来达到目的，而不是自动释放池块内部的所有变量，都会进入自动释放池。
加入在ARC下，有如下代码:
@autoreleasepool { X *x = [[X alloc] init]; }
如果在Xcode控制台使用_objc_autoreleasePoolPrint()方法查看，会发现自动释放池没有任何变量。
但是如果我们进行如下调用:
@autoreleasepool { X *x = [X create]; //create返回X类型对象 }
然后使用_objc_autoreleasePoolPrint()方法查看，会发现自动释放池里面持有X对象：
(lldb) po _objc_autoreleasePoolPrint() objc[4574]: ############## objc[4574]: AUTORELEASE POOLS for thread 0x1000aa5c0 objc[4574]: 2 releases pending. objc[4574]: [0x10100c000] ................ PAGE (hot) (cold) objc[4574]: [0x10100c038] ################ POOL 0x10100c038 objc[4574]: [0x10100c040] 0x100509270 X objc[4574]: ############## 0x70a40db675eb00e6
这个持有的X对象是因为调用的create方法不是以alloc/new/init/copy/mutableCopy开头命名，因此编译器在create方法返回前，会自动将返回的变量放入到自动释放池，而不是因为在自动释放池块内部声明了变量x导致的。
如果我们将变量x加上__autoreleasing属性，就看的很明白了，对象X在自动释放池中放入了两次：
(lldb) po _objc_autoreleasePoolPrint() objc[4667]: ############## objc[4667]: AUTORELEASE POOLS for thread 0x1000aa5c0 objc[4667]: 3 releases pending. objc[4667]: [0x103803000] ................ PAGE (hot) (cold) objc[4667]: [0x103803038] ################ POOL 0x103803038 objc[4667]: [0x103803040] 0x102928700 X objc[4667]: [0x103803048] 0x102928700 X objc[4667]: ############## 0xb8c9f2d34f6300b0
将变量放入到自动释放池中，不会增加变量的引用计数
要看清这个问题，可以在MRC下将变量多次调用autorelease方法，然后使用CFGetRetainCount方法在Xcode控制台进行查看:
//MRC @autoreleasepool { X *x = [[X alloc] init]; [x autorelease]; [x autorelease]; [x autorelease]; }
控制台查看的结果如下，引用技术为1:
(lldb) p CFGetRetainCount((__bridge CFTypeRef)x) (CFIndex) $0 = 1 (lldb)
在ARC下，结论依然不变，但是更具迷惑性。
//ARC @autoreleasepool { X __autoreleasing *x = [[X alloc] init]; }
使用Xcode控制台查看，会发现变量X被放入了自动释放池，并且引用计数为1，符合预期:
(lldb) po _objc_autoreleasePoolPrint() objc[4961]: ############## objc[4961]: AUTORELEASE POOLS for thread 0x1000aa5c0 objc[4961]: 2 releases pending. objc[4961]: [0x104003000] ................ PAGE (hot) (cold) objc[4961]: [0x104003038] ################ POOL 0x104003038 objc[4961]: [0x104003040] 0x10301c820 X objc[4961]: ############## 0x3d01f52ffddf001a (lldb) p CFGetRetainCount((__bridge CFTypeRef)x) (CFIndex) $1 = 1 (lldb)
再看下面的代码:
//ARC @autoreleasepool { X __autoreleasing *x = [X create];//create返回X类型对象 }
在Xcode控制台查看，会发现x变量被放入了两次自动释放池，这是符合预期的，但是x变量的引用计数却变成了2，给人的感觉是没放入一次自动释放池，计数就加1:
(lldb) po _objc_autoreleasePoolPrint() objc[5052]: ############## objc[5052]: AUTORELEASE POOLS for thread 0x1000aa5c0 objc[5052]: 3 releases pending. objc[5052]: [0x106003000] ................ PAGE (hot) (cold) objc[5052]: [0x106003038] ################ POOL 0x106003038 objc[5052]: [0x106003040] 0x1005176a0 X objc[5052]: [0x106003048] 0x1005176a0 X objc[5052]: ############## 0x4c2912a2a0dd00bc (lldb) p CFGetRetainCount((__bridge CFTypeRef)x) (CFIndex) $1 = 2 (lldb)
但是如果我们使用clang编译器的-S选项，将源码转换成汇编码，就会发现其中的奥秘:
.loc 1 41 32 ## autorelease.m:41:32 movq L_OBJC_CLASSLIST_REFERENCES_$_(%rip), %rsi movq L_OBJC_SELECTOR_REFERENCES_.11(%rip), %rcx movq %rsi, %rdi movq %rcx, %rsi movq %rax, -32(%rbp) ## 8-byte Spill callq *_objc_msgSend@GOTPCREL(%rip) .loc 1 41 28 is_stmt 0 ## autorelease.m:41:28 41行源码就是X __autoreleasing *x = [X create]; movq %rax, %rdi callq _objc_retainAutoreleasedReturnValue ##这个Retain方法将返回的值被持有了一次，所以引用计数变成了2 movq %rax, %rdi callq _objc_autorelease leaq L__unnamed_cfstring_.13(%rip), %rcx movq %rax, -24(%rbp)
在看下面这种情况，和上面的例子的效果一样:
//ARC @autoreleasepool { X __autoreleasing *x1 = [X create]; X __autoreleasing *x2 = x1; }
在Xcode中查看输出，自动释放池里面有3个变量，符合预期，引用计数为3，符合预期:
(lldb) po _objc_autoreleasePoolPrint() objc[5401]: ############## objc[5401]: AUTORELEASE POOLS for thread 0x1000aa5c0 objc[5401]: 4 releases pending. objc[5401]: [0x102004000] ................ PAGE (hot) (cold) objc[5401]: [0x102004038] ################ POOL 0x102004038 objc[5401]: [0x102004040] 0x100708950 X objc[5401]: [0x102004048] 0x100708950 X objc[5401]: [0x102004050] 0x100708950 X objc[5401]: ############## 0xfbeaa82f2b80004a (lldb) p CFGetRetainCount((__bridge CFTypeRef)x1) (CFIndex) $1 = 3 (lldb)
查看汇编码可知:
.loc 1 41 28 is_stmt 0 ## autorelease.m:41:28 调用[X create]源码处 movq %rax, %rdi callq _objc_retainAutoreleasedReturnValue ##第一处Retain方法 movq %rax, %rdi callq _objc_autorelease movq %rax, -24(%rbp) .loc 1 42 28 is_stmt 1 ## autorelease.m:42:28 复制x2 = x1处 movq -24(%rbp), %rax movq %rax, %rdi callq _objc_retainAutorelease #第二处retain方法，这个方法retain的同时，将变量放入自动释放池 leaq L__unnamed_cfstring_.13(%rip), %rcx movq %rax, -32(%rbp)
