为什么不能在init和dealloc函数中使用accessor方
本文源自本人的学习记录整理与理解，其中参考阅读了部分优秀的博客和书籍，尽量以通俗简单的语句转述。引用到的地方如有遗漏或未能一一列举原文出处还望见谅与指出，另文章内容如有不妥之处还望指教，万分感谢。
在init和dealloc阶段，self是一个不完整的对象; 子类可以重写accessor方法，在某些情况下可能导致异常。
前言
为什么不要在init和dealloc方法中调用getter和setter:
Apple在Mac与iOS中关于内存管理的开发文档中，有一节的题目为：“Don’tUse Accessor Methods in Initializer Methods and dealloc”，文中说：“Theonly places you shouldn’t use accessor methods to set an instancevariable are in initializer methods anddealloc.” 但是并没有解释为什么。网上搜索了几篇国内国外的文章和一些大V的博客，希望此文能详尽大家的疑惑，未尽之处请留言指正。
为什么不能在init中调用accessor
案例一
下面这则代码说明了一种可能会引起错误的情况：现有两个类BaseClass和SubClass，SubClass继承自BaseClass。父类有一个value属性（子类自然也会集成该属性）。如果在父类的init（或其他初始化构造方法）中使用了value的setter，子类也重写了value的setter，那么就会出现问题。原因如下：子类调用init（或其他初始化构造方法）初始化对象时候，子类的init会首先调用父类的init（self = [super init]），这样就会调到父类的init方法里，而我们在父类的init方法里调用了setter给value属性赋值。父类会直接调用子类重写的那个setter(因为子类重写了value的setter)。此时，子类对象还没有初始化好，但子类value的setter先却先于子类自己的init代码调用(因为此时子类的init方法还没有return self)，就有可能会出现问题。如果我们在子类的setter方法中做了其他操作，比如修改了某个实例变量的值，那么就会出错，因为此时self还没有初始化好。
造成这个问题的原因有两个：一就是在父类的init使用了setter；二是子类重写了setter，导致在父类init时就会调用子类重写的setter，万一重写的setter中进行了一些子类特有的操作就可能会出现问题，比如，给子类的某个属性赋值失败，因为此时子类对象self还没有初始化完成。
案例二
如果在父类的init方法中使用了value的setter，同时也在父类写了setter。当子类初始化时会先调用父类的init方法，即self = [super init],由于父类中使用了value的setter，那么父类的init又会调到value的setter，如果setter中做了其他的操作，比如发送一个网络请求，那么此时就有可能出现问题。而当子类对象通过setter给value赋值时，又会调用父类的setter。那么相当于父类的setter被调用了两次，发送了两次相同的网络请求。
init call accessor Example:
@interface BaseClass : NSObject
@property(nonatomic) NSString* info;
@end
@implementation BaseClass
- (instancetype)init {
if ([super init]) {
self.info = @"baseInfo";
}
return self;
}
@end
@interface SubClass : BaseClass
@end
@interface SubClass ()
@property (nonatomic) NSString* subInfo;
@end
@implementation SubClass
- (instancetype)init {
if (self = [super init]) {
self.subInfo = @"subInfo";
}
return self;
}
- (void)setInfo:(NSString *)info {
[super setInfo:info];
NSString* copyString = [NSString stringWithString:self.subInfo]; NSLog(@"%@",copyString);
}
@end
当执行[[SubClass alloc]init]时会调用父类在Init方法。其中调用了accessor，去初始化父类部分的info属性。看起来十分正常，但一旦子类重写了该方法，那么由于多态此时调用的就是子类的accessor方法！子类的accessor实现中的代码都是以子类部分已初始化完全为前提编写，即子类部分已经初始化完毕，完全可用，而现实情况是其init方法并没有执行完，对此假设并不成立，从而可能造成崩溃。以上例子有人造的痕迹，现实中更多的是某个方法被少调用一次，出现逻辑错误。
为什么不能在dealloc中调用accessor
还是基于子类重写了父类的value属性这一前提，在子类对象销毁时，首先调用子类的dealloc，最后调用父类的dealloc（这与init初始化方法是相反的，且ARC中不需要我们手动调用[super dealloc]）。如果父类在dealloc中调用了value的accessor且该accessor被子类重写，就会调到子类的accessor。但此时子类已经释放(因为先调用子类的dealloc，后调用父类的dealloc)，所以就会出现错误甚至崩溃。
dealloc call accessor example
@interface BaseClass : NSObject
@property(nonatomic) NSString* info;
@end
- (void)dealloc {
self.info = nil;
}
@end
@interface SubClass : BaseClass
@property (nonatomic) NSString* debugInfo;
@end
@implementation SubClass
- (instancetype)init {
if (self = [super init]) {
_debugInfo = @"This is SubClass";
}
return self;
}
- (void)setInfo:(NSString *)info {
NSLog(@"%@",[NSString stringWithString:self.debugInfo]);
}
- (void)dealloc {
_debugInfo = nil;
}
@end
在SubClass的实例对象销毁时，首先调用子类的dealloc，再调用父类的dealloc（这与init初始化是相反的，且ARC中不需要我们手动调用[super dealloc]）。如果父类在dealloc时调用了accessor并且该accessor被子类重写，就会调用到子类的accessor。而此时子类的dealloc已经被调用了，基于其完整的假设已经不成立，那么再执行子类的代码会存在一定风险，如上例就会崩溃。
另外，在《Effective Objective-C 2.0 编写高质量iOS与OS X代码的52个有效方法》的第31条——在dealloc方法中只释放引用并解除监听一节文中，作者也提到了下面一段话：在dealloc里不要调用属性的存取方法，因为有人可能会覆写这些方法，并于其中做一些无法再回收阶段安全执行的操作（上面已经提到）。此外，属性可能正处于“键值观察”(Key-Value Observation，KVO)机制的监控之下，该属性的观察者(Observer)可能会在属性值改变时“保留”或使用这个即将回首的对象。这种做法会令运行期系统的状态完全失调，从而导致一些莫名其妙的错误。
结论
综上，不能在init和dealloc中使用accessor的原因是由于面向对象的继承、多态特性与accessor可能造成的副作用联合导致的。继承和多态导致在父类的实现中调用accessor可能导致调用到子类重写的accessor，而此时子类部分并未完全初始化或已经销毁，导致原有的假设不成立，从而出现一系列的逻辑问题甚至崩溃。为了更清晰地阐述，以下分别从init和dealloc上举例说明。
结尾
在init和dealloc中使用accessor是存在风险的。但这并不代表百分之百的崩溃或者百分之百的错误。从目前的实验来看，当存在继承时，在init或者dealloc方法中使用accessor会存在很高的风险，此时我们可要小心了。不过，在公司项目中，还是建议大家不要铤而走险，即使现在代码没有问题，难保将来维护或扩展时会出现问题。只有将苹果所说的Don’t Use Accessor Methods in Initializer Methods and dealloc当作一条编程规范，才能从根本上规避这个问题。不过，有些情况我们必须破例，必须访问accessor，比如：待初始化的实例变量声明在超类中，而我们又无法在子类中访问此实例变量的话，那么我们只能通过setter来对实例变量赋值。又比如：如果一个实例变量是lazy的（懒加载），这种情况必须通过getter方法访问属性，否则无法给实例变量赋值。
所以，万事无绝对，我们只有理解了为什么不能在init和dealloc方法中使用accessor才能在各种情况下游刃有余。
