内存管理 知识整理

96
盖世英雄_64c4
2017.06.22 00:45* 字数 4772

前言

从我开始学习iOS的时候,身边的朋友、网上的博客都告诉我iOS的内存管理是依靠引用计数的,然后说引用计数大于1则对象保存在内存的堆中而引用计数等于0则对象销毁。然后又说在所谓的ARC时代,强指针指向一个对象,则对象不销毁;一个对象没有任何一个强指针指向则销毁....,最后,我想说这些都很有道理的样子,但是,我还是不清楚为什么引用计数器为0为什么会被销毁,为什么一个对象没有强指针指向就会销毁,为什么在@property中一个OC对象要使用strong进行修饰 .... 。所以,在学习Objective-C高级编程:iOS与OS X多线程和内存管理后,让我明白了很多事情。以下是对于这本书里面知识的总结性内容,如果要详细了解,请阅读该书籍。

注意:下面的内容是适合于已经对于iOS内存管理有一定了解的程序员

内存管理的思考方式

自己生成的对象,自己持有

非自己生成的对象,自己也能持有

不再需要自己持有对象时释放

非自己持有的对象无法释放

1) 自己生成的对象,自己持有

在iOS内存管理中有四个关键字,alloc、new、copy、mutableCopy,自身使用这些关键字产生对象,那么自身就持有了对象

// 使用了alloc分配了内存,obj指向了对象,该对象本身引用计数为1,不需要retainidobj = [[NSObjectalloc] init];// 使用了new分配了内存,objc指向了对象,该对象本身引用计数为1,不需要retainidobj = [NSObjectnew];

2) 非自己生成的对象,自己也能持有

// NSMutableArray通过类方法array产生了对象(并没有使用alloc、new、copy、mutableCopt来产生对象),因此该对象不属于obj自身产生的// 因此,需要使用retain方法让对象计数器+1,从而obj可以持有该对象(尽管该对象不是他产生的)idobj = [NSMutableArrayarray];    [objretain];

3) 不再需要自己持有对象时释放

idobj = [NSMutableArrayarray];      [objretain];// 当obj不在需要持有的对象,那么,obj应该发送release消息[obj release];

4) 无法释放非自己持有的对象

// 1. 释放一个已经释放的对象id obj = [[NSObject alloc] init];// 已经释放对象[objrelease];// 释放了对象还进行释放[objrelease];// 2. 释放一个不属于自己的对象id obj1 = [obj object];// obj1没有进行retain操作而进行release操作,使得obj持有对象释放,造成了野指针错误[obj1release];

如上为iOS进行内存管理的四种思考方式(记住不论是ARC还是MRC都遵循该思考方式,只是ARC时代这些工作让编译器做了)

引用计数器讨论

苹果对于引用计数的管理是通过一张引用计数表进行管理的

引用计数表.png

我们平常在操作对象的引用计数器时,其实就是对这个引用计数表进行操作,在获取到该表的地址以及相应对象的内存地址,就可以通过对象的内存从该表中进行索引获取到相应的引用计数值,然后根据用户的操作来返回计时器、计时器加1、计时器减1,下面就深入讨论retain、release、alloc、dealloc具体怎么操作该引用计数表

alloc

当我们调用alloc函数时我们进一步会调用allocWithZone方法

idobj = [[NSObjectalloc] init];    + (id)alloc {return[selfallocWithZone:NSDefaultMallocZone()];    }    + (id)allocWithZone:(NSZone*)z {returnNSAllocateObject(self,0,z);    }

调用NSAllocateObject函数对内存进行分配

retain、release、retainCount

该书籍对于这三个函数调用先是使用GNUstep(一个Cocoa框架的互换框架,功能类似)进行讲解,后来又讲解了苹果对于引用计数的实现。在这里我们就讨论苹果的实现了。

调用retain、release、retainCount时函数调用顺序:

retain、retainCount、release函数调用顺序.png

如下所示,调用各个函数时会调用__CFDoExternRefOperation函数,该函数包含于CFRuntime.c中,该函数简化代码如下:

- (NSUInteger)retainCount {return(NSUInteger)__CFDoExternRefOperation(OPERATION_retainCount,self);}- (id)retain{return(id)__CFDoExternRefOperation(OPERATION_retain,self);}- (void)release {return__CFDoExternRefOperation(OPERATION_release,self);}

int__CFDoExternRefOperation(uintptr_r op,id obj) {        CFBasicHashRef table = 取得对象对应的散列表(obj);intcount;switch(op) {caseOPERATION_retainCount:count= CFBasicHashGetCountOfKey(table,obj);returncount;caseOPERATION_retain:                CFBasicHashAddValue(table,obj);returnobj;caseOPERATION_release:count= CFBasicHashRemoveValue(table,obj):return0==count;        }    }

代码如上所示,可以想象苹果就是使用类似于上述的引用计数表来管理内存,也就是说我们在调用retain、retainCount、release时首先调用__CFDoExternRefOperation进而获取到引用技术表的内存地址以及本对象的内存地址,然后根据对象的内存地址在表中查询获取到引用计数值。

若是retain就加1

若是retainCount就直接返回值,

若是release则减1而且在CFBasicHashRemoveValue中将引用计数减少到0时会调用dealloc,从而调用NDDeallocateObject函数、free函数将对象所在内存释放

以上就是在讨论苹果对于引用计数的管理方法,对于GNUStep办法请自行查阅书籍

autorelease

作用:将对象放入自动释放池中,当自从释放池销毁时对自动释放池中的对象都进行一次release操作

书写形式:

NSAutoreleasePool *pool =[[NSAutoreleasePool alloc]init];    id obj =[[NSObject alloc]init];[obj autorelease];[pool drain];

对于autorelease的实现方式,书籍也对比了GNUSetp与苹果实现的方式,现在通过GNUStep源代码来理解苹果的实现

1) GNUStep实现

id obj =[[NSObject alloc]init];[obj autorelease];

- (id)autorelease {        [NSAutoreleasePooladdObject:self];    }

+ (void)addObject:(id)anObject {NSAutoreleasePool*pool = 取得正在使用的Pool对象;if(pool !=nil) {            [pool addObject:anObject];        }else{NSLog(@"NSAutoreleasePool非存在状态下使用Pool对象");        }    }

- (void)addObject:(id)anObject {        [arrayaddObject:anObject];    }

从上面可以看出,自动释放池就是通过数组完成的,我们在调用autorelease时最终就是将本对象添加到当前自动释放池的数组

而针对于自动释放池销毁时对数组中的进行一次release操作,见下面

NSAutoreleasePool *pool =[[NSAutoreleasePool alloc]init];    ...    // 当自动释放池销毁时[pool drain];

- (void)drain {        [self dealloc];    }    - (void)dealloc {        [self emptyPool];        [arrayrelease];    }    - (void)emptyPool {for(id obj inarray) {            [objrelease];        }    }

2) 苹果的实现

classAutoreleasePoolPage    {staticinlinevoid*push(){            相当于生成或持有NSAutoreleasePool类对象        }staticinlinevoid*pop(void*token){            相当于废弃NSAutoreleasePool类对象            releaseAll();        }staticinlineidautorelease(id obj){            相当于NSAutoreleasePool类的addObject类方法              AutoreleasePoolPage *autoreleasePoolPage = 取得正在使用的AutoreleasePoolPage实例;            autoreleasePoolPage->add(obj);        }id *add(id obj){            将对象追加到内部数组中        }voidreleaseAll(){            调用内部数组中对象的release实例方法        }    };void*objc_autoreleasePoolPush(void){returnAutoreleasePoolPage::push();    }voidobjc_autoreleasePoolPage(void*ctxt){        AutoreleasePoolPage::pop(ctxt);    }id *objc_autorelease(id obj){returnAutoreleasePoolPage::autorelease(obj);    }

如上所示,苹果内部使用了类似于GNUStep中的思想,将对象添加进数组进行管理

ARC中内存管理方式

介绍

关于这部分的内存,作者是分了两部分进行讨论,第一部分介绍ARC管理所需要的关键字strong 、weak、unsafe_unretained、autoreleasing的作用;第二部分介绍了ARC针对于这些关

键字的具体内管管理实现方式。下面我们就综合两部分的内容进行一次讨论

苹果官方文档说ARC是有"编译器自行进行管理",但事实上仅仅是编译器是不够,需要满足下面啷个条件

clang(LLVM编译器)3.0以上

objc4 Objective-C运行时库493.9以上

__strong

作用

id__strongobj = [[NSObjectalloc]init];

如上代码,表示obj这个强指针指向NSObject对象,且NSObject对象的引用计数为1

id__strongobj1 = obj;

如上代码,表示obj1这个强指针与obj指针指向同一个NSObject对象,且NSObject对象的引用计数为2

id__strongobj = [NSMutableArrayarray];

如上代码,表示obj这个强指针指向的NSMutableArray对象的引用计数为1

综上所示,当一个对象被强指针指向则引用计数就加1,否则,该对象没有一个强指针指向则自动释放内存

那么问题来了,为什么一个对象被强指针指向引用计数就加1呢? 为什么分配在堆里面的对象内存能够自动释放内存?

原理

第一种情况: 对象是通过alloc、new、copy、multyCopy来分配内存的

id__strongobj = [[NSObjectalloc] init];

当使用alloc、new、copy、multyCopt进行对象内存分配时,强指针直接指向一个引用计数为1的对象,在编译器作用下,上述代码会转换成以下代码

id obj = objc_msgSend(NSObject,@selector(alloc));    objc_msgSend(obj,@selector(init));// 当让这个代码会在合适的时候被调用,不是马上调用objc_release(obj);

第二种情况: 对象不是自身生成,但是自身持有(一般这样的对象是通过除alloc、new、copy、multyCopy外方法产生的)

id__strongobj = [NSMutableArrayarray];

在这种情况下,obj也指向一个引用计数为1的对象内存,其在编译器下转换的代码如下:

idobj = objc_msgSend(NSMutableArray,@selector(array));// 代替我们调用retain方法,使得obj可以持有该对象objc_retainAutoreleasedReturnValue(obj);    objc_release(obj);

从而使得obj指向了一个引用计数为1的对象, 不过,objc_retainAutoreleaseReturnValue有一个成对的函数objc_autoreleaseReturnValue,这两个函数可以用于最优化程序的运行

如下代码:

+ (id)array    {return[[NSMutableArrayalloc] init];    }

代码转换如下:

+ (id)array    {        id obj = objc_msgSend(NSMutableArray,@selector(alloc));        objc_msgSend(obj,@selector(init));// 代替我们调用了autorelease方法returnobjc_autoreleaseReturnValue(obj);    }

在转换后的代码,我们可以看见调用了objc_autoreleaseReturnValue函数且这个函数会返回注册到自动释放池的对象,但是,这个函数有个特点,它会查看调用方的命令执行列表,如果发现接

下来会调用objc_retainAutoreleasedReturnValue则不会返回注册到自动释放池的对象而仅仅返回一个对象而已。

两者的关系图如下:

关系图.png

通过这些,我们就可以通知为什么强指针指向一个对象,这个对象的引用计数就加1

__weak

作用

id__weakobj = [[NSObjectalloc] init];

根据我们的知识,可以知道NSObject对象在生成之后立马就会被释放,其主要原因是weak修饰的指针没有引起对象内部的引用计数器的变化

因此,weak修饰的指针常用于打破循环引用或者修饰UI控件,关于__weak修饰的指针引用场景这里不叙述,下面主要介绍其原理

原理

我们知道弱指针有两个作用:一. 修饰的指针不会引起指向的对象的引用计数器变化 二. 当指向的对象被销毁时,弱指针全部置为nil, 那么除了这些之外,我们还有一个要说的就是,为什么我们

在程序中不能频繁的使用weak呢?

1) 为什么弱指针不会引起指向的对象的引用计数器发生变化

id__weakobj = [[NSObjectalloc] init];

编译器转换后的代码如下:

id obj;id tmp = objc_msgSend(NSObject,@selector(alloc));objc_msgSend(tmp,@selector(init));objc_initweak(&obj,tmp);objc_release(tmp);objc_destroyWeak(&object);

对于__weak内存管理也借助了类似于引用计数表的表,它通过对象的内存地址做为key,而对应的指针作为value进行管理,在上述代码中objc_initweak就是完成这部分操作,而objc_destroyWeak

则是销毁该对象对应的value。所以,weak在修饰只是让weak表增加了记录没有引起引用计数表的变化

2) 当弱指针指向的对象呗销毁时,弱指针怎么才能自动置为nil? 为什么我们在程序中不能频繁使用weak呢

对象通过objc_release释放对象内存的动作如下:

objc_release

因为引用计数为0所以执行dealloc

_objc_rootDealloc

objc_dispose

objc_destructInstance

objc_clear_deallocating

而在对象被废弃时最后调用了objc_clear_deallocating,该函数的动作如下:

1) 从weak表中获取已废弃对象内存地址对应的所有记录

2)将已废弃对象内存地址对应的记录中所有以weak修饰的变量都置为nil

3)从weak表删除已废弃对象内存地址对应的记录

4)根据已废弃对象内存地址从引用计数表中找到对应记录删除

据此可以解释为什么对象被销毁时对应的weak指针变量全部都置为nil,同时,也看出来销毁weak步骤较多,如果大量使用weak的话会增加CPU的负荷

而不建议大量使用weak,还有一个原因看下面的代码:

id__weakobj1 = obj;NSLog(@"obj2-%@",obj1);

编译器转换上述代码如下:

id obj1;    objc_initweak(&obj1,obj);// 从weak表中获取附有__weak修饰符变量所引用的对象并retainid tmp = objc_loadWeakRetained(&obj1);// 将对象放入自动释放池objc_autorelease(tmp);    NSLog(@"%@",tmp);    objc_destroyWeak(&obj1);

据此当我们访问weak修饰指针指向的对象时,实际上是访问注册到自动释放池的对象。因此,如果大量使用weak的话,在我们去访问weak修饰的对象时,会有大量对象注册到自动释放池,这会影响程

序的性能。推荐方案 : 要访问weak修饰的变量时,先将其赋给一个strong变量,然后进行访问

最后一个问题: 为什么访问weak修饰的对象就会访问注册到自动释放池的对象呢?

因为weak不会引起对象的引用计数器变化,因此,该对象在运行过程中很有可能会被释放。所以,需要将对象注册到自动释放池中并在自动释放池销毁时释放对象占用的内存。

__unsafe_unretained

作用

unsafe_unretained作用需要和weak进行对比,它也不会引起对象的内部引用计数器的变化,但是,当其指向的对象被销毁时unsafr_unretained修饰的指针不会置为nil。而且一般__unsafe_unretained就和它的名字一样是不安全,它不纳入ARC的内存管理

__autoreleasing

作用

ARC无效

NSAutoreleasePool *pool =[[NSAutoreleasePool alloc]init];    id obj =[[NSObject alloc]init];[obj autorelease];[pool drain];

ARC有效*

id __autoreleasing obj1 = obj;

如上所示,通过__autoreleasing修饰符就完成了ARC无效时一样的功能

当然,在某一些情况下我们不通过显式指定__autoreleasing关键字就可以完成自动注册到自动释放池的功能,例如以下情况

第一种:

@autoeleasepool {// 如果看了上面__strong的原理,就知道实际上对象已经注册到自动释放池里面了id__strongobj = [NSMutableArrayarray];    }

第二种:

访问__weak修饰的对象时,对象就被注册到了自动释放池

第三种:

以下形式的默认修饰符是__autorelease

id *obj;

NSObject **obj;

同时,也引出一个问题: 为什么在@property中OC对象使用strong而基本数据类型使用assign?

属性默认修饰符.png

从表中可以推断出,在ARC在OC对象的默认修饰符是strong,因此,在@property中使用strong

而基本数据类型是不纳入到ARC内存管理中的,unsafe_unretained也不归ARC管,因此,使用assign对基本数据类型进行修饰

原理 ```objc @autoreleasepool {

id __autoreleasing obj =[[NSObject alloc]init];}

代码转换如下:  ```objc    id pool = objc_autoreleasePoolPush();id obj = objc_msgSend(NSObject,@selector(alloc));objc_msgSend(obj,@selector(init));objc_autorelease(obj);objc_autoreleasePoolPop(pool);

@autoreleasepool{id__autoreleasing obj = [NSMutableArrayarray];    }

代码转换如下:

id pool = objc_autoreleasePoolPush();id obj = objc_msgSend(NSMutableArray,@selector(array));objc_retainAutoreleasedReturnValue(obj);objc_autorelease(obk);objc_autoreleasePoolPop(pool);

上述代码,代表的就是自身生成并持有对象、自身不生成但也持有对象的两种__autorelease内存管理情况

ARC规则

不能使用retain、release、retainCount、autorelease方法(如果ARC下使用会出现编译错误)

不能使用NSAllocateObject、NSDeallocateObject函数(如果ARC下使用会出现编译错误)

不要显式调用dealloc(ARC下,显式调用dealloc并在代码中书写[super dealloc]也会出现编译错误)

使用@autoreleasepool块代替NSAutoreleasePool

@autoreleasepool{}块相比较NSAutoreleasePool而言显得代码更加整洁、层次性强,而且@autoreleasepool代码快哉ARC或者非ARC下都是可以使用的

需遵守内存管理命名规则

1) alloc、new、copy、mutableCopy等以这些名字开头的方法都应当返回调用方能够持有的对象2)init开头的方法必须是实例方法并且要返回对象,返回值要是id或者该方法对应类的对象类似或者其超类或者其子类。另外,init开头的方法也仅仅用作对对象进行初始化操作

不能使用区域(NSZone)

区域是以前为了高效利用内存的使用率而设计的,但是,目前来说ARC下的模式已经能够有效利用内存,区域在ARC下还是非ARC下都已经被单纯的忽略

对象型变量不能作为C语言结构体的成员

OC对象型变量如果成为了C语言结构体的成员,那么,ARC不能掌握该对象的生命周期从而有效管理内存,因此,不能这样使用。

显式转换"id" 和 "void*"

非ARC下:idobj = [[NSObjectalloc] init];void*p = obj;    这样的代码是可行的,id和void*可以方便得自由转化 ,但是,在ARC下是不一样的    ARC下id和void*有三个转换的关键字 __bridge、__bridge_retained、__bridge_transfer:idobj = [[NSObjectalloc] init];void*p = (__bridgevoid*)obj;    注意: __bridge不会引起对象的引用计数变化,因此,安全性不太好。相比较,__bridge_retained不仅仅实现了__bridge的功能而且能让p调用retain方法使p持有对象。另外,    __bridge_transfer也是和release方法类似,使用__bridge_transfer进行转化,既让对象p调用一次retain方法,

日记本
Web note ad 1