本人参考GitHub《招聘一个靠谱的iOS》面试题参考答案(下)
36. 不手动指定autoreleasepool的前提下,一个autorealese对象在什么时刻释放?(比如在一个vc的viewDidLoad中创建)
37. BAD_ACCESS
在什么情况下出现?
38. 苹果是如何实现autoreleasepool的?
39. 使用block时什么情况会发生引用循环,如何解决?
40. 在block内如何修改block外部变量?
36. 不手动制定autoreleasepool的前提下,一个autorelease对象在什么时刻释放?(比如在一个vc的viewDidLoad中创建)
(1)autorelease的释放时机分为两种情况:
- 手动干预释放时机——指定autoreleasepool,就是所谓的当前作用域大括号结束时释放;
- 系统自动去释放——不手动指定autoreleasepool;
autorelease对象出了作用域之后,就会被添加到最近一次创建的自动释放池中,并会在当前的runloop迭代结束时释放。
释放时机总结起来,可以用下图表示:
下面对这张图进行详细的解释:
从程序启动到加载完成是一个完整的运行循环,然后会停下来,等待用户交互,用户的每一次交互都会启动一次运行循环来处理用户所有的点击事件、触摸事件。
所有的autorelease对象,在出了作用域之后,会被自动添加到最近创建的自动释放池中。但是如果每次都放进应用程序的main.m中的autoreleasepool中,迟早有被撑满的一刻,这个过程中必定有一个释放的动作,就是在一次完整的运行循环结束之前,会被销毁
什么时候会创建自动释放池?运行循环检测到事件并启动后,就会创建自动释放池。
子线程的runloop默认是不工作,无法主动创建,必须手动创建。
自定义的NSOperation和NSThread需要手动创建自动释放池。比如:自定义的NSOperation类中的main方法里就必须添加自动释放池,否则出了作用域后,自动释放对象会因为没有自动释放池去处理它,而造成内存泄漏。
但对于blockOperation和invocationOperation这种默认的Operation,系统已经帮我们封装好了,不需要手动创建自动释放池。
@autoreleasepool 当自动释放池被销毁或者耗尽时,会向自动释放池中的所有对象发送release消息,释放自动释放池中的所有对象。
如果在一个vc的viewDidLoad方法中创建一个autorelease对象,那么该对象会在viewDidAppear方法执行前就被销毁了。
37.BAD_ACCESS
在什么情况下出现?
访问了悬垂指针(野指针),比如:对一个已经释放了的对象执行release、访问已经释放对象的成员变量或者发消息、死循环等会出现BAD_ACCESS
。
38. 苹果是如何实现autoreleasepool的?
autoreleasepool以一个队列数组的形式实现,主要通过下列三个函数完成:
objc_autoreleasepoolPush
objc_autoreleasepoolPop
objc_autorelease
看函数名就可以知道,对autorelease分别执行push、pop操作,销毁对象时执行release操作。
举例说明:用类方法创建的对象都是autorelease的,那么一旦Person出了作用域,当在Person的dealloc方法中打上断点,就可以看到这样的堆栈信息:
39.使用block时什么情况下会发生引用循环,如何解决?
一个对象中强引用了block,在block中又强引用了该对象,就会发生循环引用。
解决方法是将该对象使用__weak或者__block修饰符修饰之后再在block中使用。
-
id weak weakSelf = self;
或者weak __typeof(&*self)weakSelf = self
该方法可以设置宏 -
id __block weakSelf = self;
或者将其中一方强制置空xxx = nil;
检测代码中是否存在循环引用问题,可以使用Facebook开源的一个监测工具:FBRetainCycleDetector
40. 在block内如何修改block外部变量?
默认情况下,在block中访问外部变量都是复制值过去,即:写操作不对原变量生效,开发者可以加上__block
来让其写操作生效。
为什么加上__block写操作就生效了?
原因是:block不允许修改外部变量的值,这里所说的外部变量的值,指的是栈中指针的内存地址。__block所起的作用就是只要观察到该变量被block所持有,就将“外部变量”在栈中的内存地址放到了堆中,进而在block内部可以修改外部变量的值。
Apple设计block不允许修改外部变量的值,是考虑了block的特殊性。block也属于“函数”的范畴,变量进入block,实际就是改变了作用域。如果不加上这样的限制,在几个作用域之间进行切换时,变量的可维护性将大大降低,比如:在block内声明了一个与block外部同名的变量,此时是允许还是不允许呢?只有加上了这样的限制,这样的场景才可以实现,栈区变成了红灯区,堆区变成了绿灯区。
__block int a = 0;
NSLog(@"定义前:%p", &a); //栈区
void (^foo)(void) = ^{
a = 1;
NSLog(@"block内部:%p", &a); //堆区
};
NSLog(@"定义后:%p", &a); //堆区
foo();
2016-05-17 02:03:33.559 LeanCloudChatKit-iOS[1505:713679] 定义前:0x16fda86f8
2016-05-17 02:03:33.559 LeanCloudChatKit-iOS[1505:713679] 定义后:0x155b22fc8
2016-05-17 02:03:33.559 LeanCloudChatKit-iOS[1505:713679] block内部: 0x155b22fc8
“定义后”和“block内部”两者的内存地址是一样的,我们都知道 block 内部的变量会被 copy 到堆区,“block内部”打印的是堆地址,因而也就可以知道,“定义后”打印的也是堆的地址。
如何证明“block内部”打印的是堆地址?
把三个16进制的内存地址转成10进制就是:
定义后前:6171559672
block内部:5732708296
定义后后:5732708296
中间相差438851376个字节,也就是418.5M的空间,因为堆的地址要小于栈地址,又因为iOS中一个进程的栈区内存只有1M,Mac也只有8M,显然a已经在堆区了。
这也证实了:a在定义前是栈区,但是只要进入了block区域,就变成了堆区,这才是__block
关键字的真正作用。