为什么不能在init和dealloc函数中使用accessor方法前言为什么不能在init中调用accessor为什么不能在dealloc中调用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才能在各种情况下游刃有余。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏菜鸟计划

angularjs filter详解

过滤器(filter)正如其名,作用就是接收一个输入,通过某个规则进行处理,然后返回处理后的结果。 主要用在数据的格式化上,例如获取一个数组中的子集,对数组中的...

3798
来自专栏iOS技术杂谈

iOS @property探究(一): 基础详解你要知道的@property都在这里

你要知道的@property都在这里 本文大纲 Apple Adopting Modern Objective-C翻译 @property基本用法 @prope...

4329
来自专栏天天

运算符与表达式

861
来自专栏Java3y

LinkedHashMap就这么简单【源码剖析】

1664
来自专栏微信公众号:Java团长

Java知识点集锦

答:不是。Java中的基本数据类型只有8个:byte、short、int、long、float、double、char、boolean;除了基本类型(primi...

1271
来自专栏http://www.cnblogs.com

time&datetime模块详解

 一.time模块 1.时间格式转换图: ? 2.time模块中时间表现的格式主要有三种:   a、timestamp时间戳,时间戳表示的是从1970年1月1日...

4469
来自专栏华仔的技术笔记

iOS中的正则表达式,一篇就够了

38610
来自专栏阿杜的世界

【转】Java知识点集锦(1~40)

答:不是。Java中的基本数据类型只有8个:byte、short、int、long、float、double、char、boolean;除了基本类型(primi...

1082
来自专栏微信公众号:Java团长

JavaSE入门篇:变量

图片上的各种餐具,就是变量,因为同一个盘子可以在不同的时间装不同的菜,在这一桌可以装土豆肉丝,在下一桌可以装清炒黄瓜(当然,这个盘子还是要洗洗干净滴)。

1122
来自专栏Android开发指南

Effecvtive Java Note

3115

扫码关注云+社区

领取腾讯云代金券