首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >为什么不能在init和dealloc函数中使用accessor方法

为什么不能在init和dealloc函数中使用accessor方法

作者头像
VV木公子
修改2021-09-30 15:31:13
9.1K0
修改2021-09-30 15:31:13
举报
文章被收录于专栏:TechBoxTechBox

前言

为什么不要在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才能在各种情况下游刃有余。

本文参与 腾讯云自媒体分享计划,分享自作者个人站点/博客。
原始发表:2016.10.01 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 前言
  • 为什么不能在init中调用accessor
    • 案例一
      • 案例二
      • 为什么不能在dealloc中调用accessor
      • 结尾
      领券
      问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档