12_OC内存管理详解

ARC

一、简介

在Objective-C中采用Automatic Reference Counting (ARC)机制,是编译器特性,让编译器来进行内存管理。ARC是LLVM编译器和Runtime系统相互协作的一个结果,ARC利用LLVM编译器自动帮我们生成releaseretainautorelease代码,像弱引用这种又是利用Runtime在程序运行过程中监控到对象销毁的时候将指向对象的弱引用清空。

在Xcode4.2或以上版本,只要将编译器选项中设置ARC为有效状态(操作如下图),编译器将自动在代码合适的地方插入retainreleaseautorelease代码,就无需再次手动输入,这在降低程序崩溃、内存泄漏等风险的同时,很大程度上减少了开发程序的工作量。

Snip20170604_4.png

编译器完全清楚目标对象,并能立刻释放那些不再被使用的对象(判断原则:只要还有一个强指针变量指向对象,对象就会保持在内存中;只要没有强指针变量指向对象,就默认该对象不再需要被使用,该对象就会被释放)。

如此一来,应用程序将具有可预测性,且能流畅运行,速度也将大幅提升。

二、ARC下的所有权修饰符

__strong
  • _strong修饰符是id类型和对象类型默认的所有权修饰符。也就是说,id和对象类型在没有明确指定所有权修饰符时,默认为__strong修饰符。下面两行代码相同。
  id obj = [[NSObject alloc]init];
  id __strong obj = [[NSObject alloc]init];
  • 修饰的变量的初始化为nil。以下两行代码相同。
  id  __strong obj0;
  id  __strong obj0 = nil;
  • 持有强引用的变量在超出其作用域时被废弃,同时释放其引用的对象
  • 当需要释放强引用指向的对象时,需要将强引用置nil。
__weak
  • 底层实现原理:
    1、runtime维护了一个存储所有weak的散列表weak_table_t,它存储在SideTable结构体里,同时SideTable结构体还存储着引用计数表RefcountMap和自旋锁spinlock_t
    2、weak_table_t是一个哈希表,其中key为所指向对象的指针,value为weak指针的地址数组。
    3、当一个对象被销毁时,会自动调用dealloc,此时会查看weak_table_t散列表,根据对象的地址取出weak清空,并将指向当前对象的弱指针置为nil(zeroing weak pointer),防止野指针产生。同时也会把引用计数表里面存放的引用计数擦除掉。
  • 弱引用不增加对象的引用计数,不能持有对象实例。
  • 弱引用一般用于处理循环引用问题,如在delegate关系中防止循环引用或者用来修饰指向由Interface Builder编辑生成的UI控件。
__unsafe_unretained
  • __unsafe_unretained修饰的变量不属于编译器的内存管理对象,可理解为MRC时代的assign
  • 不增加所引用对象的引用计数值,但是不保证指针指向的可访问性(对象在被dealloc时,指向它的弱引用不会自动被置nil,存在野指针情况)

MRC

在引入ARC之前((2012年发布)Xcode4.2之前版本),OC的内存管理需要由开发人员手动维护,需要程序员自己编写releaseretain等代码。

一、引用计数的存储

OC中内存的管理是依赖对象的引用计数器(占用四个字节)来进行的.OC中每个对象都有一个与之对应的整数,叫“引用计数器”。

  • 在64bit下,引用计数可以直接存储在优化过的isa指针中,也可能存储在SideTable类中。
  • isa共用体中的extra_rc里面存储的值是引用计数器减1
  • 如果引用计数器过大无法存储在isa中,那么isa共用体中的has_sidetable_rc就为1,那么引用计数会存储在一个叫SideTable的类的属性中。refcnts(Reference count)是一个存放着对象引用计数的散列表。(weak_table是存放着弱指针的散列表,当对象被dealloc时,会找到这个散列表,将当前对象对应的弱引用清空,同时也会把引用计数表里面存放的引用计数擦除掉)
      struct SideTable {
           spinlock_t slock;
           RefcountMap refcnts;
           weak_table_t weak_table;
     }
    
二、MRC下的引用计数式内存管理
  • 当使用alloc/new/copy/mutableCopy等方法生成并持有一个对象之后引用计数器值默认为1;
  • 给对象发送一条retain消息也可以持有对象,引用计数值+1,并返回当前对象;
  • 当给对象发送一条release消息之后它的引用计数器值减1;
  • 给对象发送retainCount消息(不准确,就算一个对象已经释放,retainCount的值也可能是1),可以获得当前的引用计数值。
三、对象是否被销毁的判断

当一个对象的引用计数器值为0时,这个对象占用的内存就会被系统回收,对象即将被销毁时系统会自动给对象发送一条dealloc消息废弃对象。因此,根据deallloc方法有没有被调用就可以判断出对象是否被销毁。

四、防止野指针

如果一个对象被释放后,那么最后引用它的变量需要手动设置为nil(空指针:给空指针发送消息不会报错),否则可能造成野指针错误。(只要一个对象被释放了,我们就称这个对象为“僵尸对象”,当一个指针指向一个僵尸对象,我们就称这个指针为野指针,如果给一个野指针发送消息会报错)

五、MRC内存管理原则

对象之间可能交叉引用,此时需要遵循一个法则:谁创建,谁释放

六、autorelease
autoreleasepool的本质

将如下代码转成c++代码:

  @autoreleasepool {
        LZPerson *person = [[[LZPerson alloc] init] autorelease];
    }
 struct __AtAutoreleasePool {
    __AtAutoreleasePool() { // 构造函数,在创建结构体的时候调用
        atautoreleasepoolobj = objc_autoreleasePoolPush();
    }
 
    ~__AtAutoreleasePool() { // 析构函数,在结构体销毁的时候调用
        objc_autoreleasePoolPop(atautoreleasepoolobj);
    }
 
    void * atautoreleasepoolobj;
 };
 
 {
    __AtAutoreleasePool __autoreleasepool;
    LZPerson *person = ((LZPerson *(*)(id, SEL))(void *)objc_msgSend)((id)((LZPerson *(*)(id, SEL))(void *)objc_msgSend)((id)((LZPerson *(*)(id, SEL))(void *)objc_msgSend)((id)objc_getClass("LZPerson"), sel_registerName("alloc")), sel_registerName("init")), sel_registerName("autorelease"));
 }

由此可知,autoreleasepool本质上是一个__AtAutoreleasePool类型的结构体,在结构体内部定义了一个构造函数和析构函数,还有一个void*类型的指针atautoreleasepoolobj,在使用autoreleasepool的时候会在大括号开始的时候声明一个局部变量__autoreleasepool,在定义局部变量的时候会调用结构体内部的构造函数objc_autoreleasePoolPush(),在大括号结束的时候会调用析构函数objc_autoreleasePoolPop()。因此上述代码的本质可以说是如下:

 atautoreleasepoolobj = objc_autoreleasePoolPush();
 LZPerson *person = [[[LZPerson alloc] init] autorelease];
 objc_autoreleasePoolPop(atautoreleasepoolobj);

通过查看runtime源码可知:objc_autoreleasePoolPush()函数会调用AutoreleasePoolPage类的push方法,objc_autoreleasePoolPop()函数会调用AutoreleasePoolPage类的pop方法。因此得出结论:自动释放池的主要底层数据结构是:__AtAutoreleasePoolAutoreleasePoolPage;
调用了autorelease的对象最终都是通过AutoreleasePoolPage对象来管理的。

AutoreleasePoolPage的结构

每个AutoreleasePoolPage对象占用4096字节内存,除了用来存放它内部的成员变量,剩下的空间用来存放autorelease对象的地址,所有的AutoreleasePoolPage对象通过双向链表的形式连接在一起。其中child成员变量指向的是下一个AutoreleasePoolPage对象,parent成员变量指向的是上一个AutoreleasePoolPage对象,第一个AutoreleasePoolPage对象的parent是空的,最后一个AutoreleasePoolPage对象的child是空的。

屏幕快照 2018-08-01 上午9.37.18.png

  • 调用push方法会将一个POOL_BOUNDARY入栈,并且返回其存放的内存地址。
  • 调用autorelease方法的对象的地址会依次被存放在AutoreleasePoolPage对象的剩余的内存地址中,如果这个AutoreleasePoolPage的内存不够了,会创建新的AutoreleasePoolPage对象存放。
  • 调用pop方法时传入一个POOL_BOUNDARY的内存地址,会从最后一个入栈的对象开始发送release消息,直到遇到这个POOL_BOUNDARY。
  • id *next指向了下一个能存放autorelease对象地址的区域。
  • 可以通过以下私有函数来查看自动释放池的情况
    extern void _objc_autoreleasePoolPrint(void);
extern void _objc_autoreleasePoolPrint(void);
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        MJPerson *p1 = [[[MJPerson alloc] init] autorelease];
        MJPerson *p2 = [[[MJPerson alloc] init] autorelease];
        _objc_autoreleasePoolPrint();
    }
    return 0;
}

打印结果:
/*
objc[65454]: ##############
objc[65454]: AUTORELEASE POOLS for thread 0x100390380
objc[65454]: 3 releases pending.  
objc[65454]: [0x100804000]  ................  PAGE  (hot) (cold)
objc[65454]: [0x100804038]  ################  POOL 0x100804038
objc[65454]: [0x100804040]       0x10055c000  MJPerson
objc[65454]: [0x100804048]       0x1005573f0  MJPerson
objc[65454]: ##############

*/
autorelease对象会在什么时机被调用release
  • 如果autorelease对象是直接被autoreleasepool包住,那会在大括号结束的时候调用release。
  • 会在某一次runloop睡眠或者退出的时候调用release。
    iOS在主线程的Runloop中注册了2个Observer
    • 第1个Observer监听了kCFRunLoopEntry事件,会调用objc_autoreleasePoolPush()
    • 第2个Observer监听了kCFRunLoopBeforeWaiting事件,会调用objc_autoreleasePoolPop()、objc_autoreleasePoolPush();
      监听了kCFRunLoopBeforeExit事件,会调用objc_autoreleasePoolPop()
方法里有局部对象, 出了方法后会立即释放吗
  • 如果局部对象是在方法结束的时候调用release释放,那会立马释放。
  • 如果局部对象是以调用autorelease的方式释放,那会在所属的那一次runloop睡眠或者退出的时候释放。

自动释放池有如下两种写法:

//1、 利用NSAutoreleasePool类
NSAutoreleasePool *pool = [[NSAutoreleasePool alloc]init];
id obj = [[NSObject alloc]init];
[obj autorelease];
[pool drain];//在执行这行代码时,会给obj发送一条release消息
// 2、@autoreleasepool关键字声明一个代码块
@autoreleasepool{
     id obj = [[NSObject alloc]init];
     [obj autorelease];
}
autorelease使用注意点:
  • autorelease方法会返回对象本身,并且不会改变对象的引用计数器,只是将这个对象放到自动释放池中;
  • 自动释放池实质是当自动释放池销毁之后,调用release方法,但是不一定能够销毁对象,例如:当对象引用计数器值大于1时,该对象就无法销毁;
  • 由于自动释放池最后统一销毁对象,因此如果一个操作比较占用内存,例如:对象较多或者对象占用资源较多,最好不要放到自动释放池或者放到多个自动释放池;
  • OC中类库的类方法一般都不需要手动释放,因为内部已经调用了autorelease方法;内部实现代码如下:
  -(id)object{
      id obj = [[NSObject alloc]init];
      [obj autorelease];
      return obj;
}

property修饰符

一、 访问权限修饰符:readwrite | readonly
  • readwrite(默认):表明这个属性是可读可写的,系统为我们生成这个属性的setter和getter方法。
  • readonly:表明这个属性只能读不能写,系统只为我们生成一个getter方法,不会生成setter方法
二、 指定getter和setter方法名称修饰符:

getter=setter=这两个属性修饰符用于设置自定义生成的getter和setter方法名,使用之后将不再使用系统默认的setter和getter方法名。使用代码演示如下:

@property(getter = getMethodName, setter = setMethodName) Object *obj;
三、内存管理修饰符
  • assign(默认):表示直接赋值,用于基本数据类型(NSInteger和CGFloat)和C数据类型(如int, float, double, char等)另外还有id类型,这个修饰符不会牵涉到内存管理。但是如果是对象类型,使用此修饰符则可能会导致内存泄漏或EXC_BAD_ACCESS错误

  • retain:用于MRC,会自动生成setter/getter方法内存管理的代码,针对对象类型进行内存管理。如果对基本数据类型使用,则Xcode会直接报错。当给对象类型使用此修饰符时,setter方法会先将旧的对象属性release掉,再对新的对象进行一次赋值并进行一次retain操作。retain修饰的属性生成的setter方法示例如下:

    @property(retain) Object *obj;
    //setter方法
    -(void)setObj:(Object *)obj{
        if(_obj != obj){
         [_obj release];
         _obj = [obj retain];
         }
    }
    
  • strong(默认):用于ARC,对应MRC中的retain,强引用,修饰对象类型的属性

  • copy:主要用在NSString类型,表示复制内容。block、不可变字符串、数组、字典一般使用copy关键字。MRC下copy修饰的属性生成的setter方法示例如下:

    @property(copy) Object *obj;
    //setter方法
    -(void)setObj:(Object *)obj{
        if(_obj != obj){
         [_obj release];
         _obj = [obj copy];
         }
    }
    
  • weak(ARC下):弱引用,修饰对象类型的属性,和(MRC下)assign类似,只是单纯引用某个对象,但是并未拥有该对象即一个对象被持有无数个弱引用,只要没有强引用指向它,那么它就会被清除释放。当weak指向的内存释放掉后自动置为nil,防止野指针。代理和UI控件都使用weak修饰。

四、原子性修饰符:atomic | nonatomic
  • atomic(默认):这个属性会给setter方法和getter方法加锁,保证程序在多线程下,编译器会自动生成自旋锁代码,避免该变量的读写不同步问题,提供多线程安全,即多线程中只能有一个线程对它进行访问。缺点是atomic需要消耗大量的资源,执行效率低。
  • nonatomic:非原子性,非线程安全,多个线程可以同时对其进行访问,使用该属性编译器不会生成加锁代码,提高性能和效率,使用频率高,一般都是放弃安全,提高性能。
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,482评论 6 481
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,377评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 152,762评论 0 342
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,273评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,289评论 5 373
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,046评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,351评论 3 400
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,988评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,476评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,948评论 2 324
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,064评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,712评论 4 323
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,261评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,264评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,486评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,511评论 2 354
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,802评论 2 345

推荐阅读更多精彩内容