一、前言
对于大多数从C++或者JAVA转过来学习Object-C(以下简称OC)的人来说,OC这门语言看起来非常奇怪,用起来也有点麻烦。
OC没有像JAVA一样的垃圾回收机制,也就是说,OC编程需要程序员手动去管理内存。这就是为什么它烦的原因,苹果却一直推崇开发者在有限硬件资源内写出最优化的代码,使用CPU最少,占用内存最小。
二、基本原理
对象的创建:
OC在创建对象时,不会直接返回该对象,而是返回一个指向对象的指针,因此出来基本类型以外,我们在OC中基本上都在使用指针。
ClassA *a = [[ClassA
alloc] init];
在[ClassA
alloc]的时候,已经发送消息通知系统给ClassA的对象分配内存空间,并且返回了指向未初始化的对象的一个指针。
未初始化的ClassA对象接手到init消息,init返回指向已初始化后的ClassA对象的一个指针,然后将其赋值给变量a。
在创建并使用完一个对象的时候,用户需要手动地去释放该对象。
[a dealloc];
如果指针a和b同时指向堆中同一块内存地址
ClassA *a = [[ClassA
alloc] init];
ClassA *b = a;
[a dealloc];
当执行到第三行的时候,指针b就成了无头指针。这是一个在C++中也是常见的错误,我们需要避免这类错误,因为无头指针是危险的。
引用计数:
OC在内存管理上采用了引用计数(retain
count),在对象内部保存一个数字,用来表示被引用的次数。init、new和copy都会让retain
count加1。当销毁对象的时候,系统不会直接调用dealloc方法,而是先调用release,让retain count 减1,当retain
count等于0的时候,系统才会调用dealloc方法来销毁对象。
在指针赋值的时候,retain count
是不会自动增加的,为了避免上面所说的错误,我们需要在赋值的时候手动retain一次,让retain count 增加1。
ClassA *a = [[ClassA
alloc] init]; // retain count = 1
ClassA *b = a;
[b retain]; // retain count
= 2
[a dealloc];
这样在执行到第四行的时候,对象的retain count只是减了1,并没有被销毁,指针b仍然有效。
内存泄露:
就如上面列子所示,当生成ClassA对象时,指针a拥有对该对象的访问权。如果失去了对一个对象的访问权,而又没有将retain
count减至0,就会造成内存泄露。也就是说,分配出去的内存无法回收。
ClassA *a = [[ClassA
alloc] init];
a = nil;
三、Autorelease Pool
为了方便程序员管理内存,苹果在OC中引入了自动释放池(Autorelease
Pool)。在遵守一些规则的情况下,可以自动释放对象。但即使有这么一个工具,OC的内存仍需要程序员时刻关注(这个自动释放池跟JAVA的垃圾回收机制不是一回事,或者说,骑马都追不上JAVA的机制,可能连尘都吃不到)。
ClassA *a = [[[ClassA
alloc] init] autorelease];
//retain count = 1,但无需release
Autorelease Pool 的原理:
autorelease pool
全名叫做NSAutoreleasePool,是OC中的一个类。autorelease pool并不是天生就有的,你需要手动的去创建它
NSAutoreleasePool *pool =
[[NSAutoreleasePool alloc] init];
一般地,在新建一个iphone 项目的时候,xcode会自动地为你创建一个autorelease pool,这个pool就写在Main函数里面。
在NSAutoreleasePool中包含了一个
可变数组,用来存储被声明为autorelease的对象。当NSAutoreleasePool自身被销毁的时候,它会遍历这个数组,release数组中的每一个成员(注意,这里只是release,并没有直接销毁对象)。若成员的retain
count 大于1,那么对象没有被销毁,造成内存泄露。
默认的NSAutoreleasePool
只有一个,你可以在你的程序中创建NSAutoreleasePool,被标记为autorelease的对象会跟最近的NSAutoreleasePool
匹配。 NSAutoreleasePool *pool =
[[NSAutoreleasePool alloc] init];
//Create some objects
//do something…
[pool release];
你也可以嵌套使用NSAutoreleasePool ,就像你嵌套使用for一样。
即使NSAutoreleasePool
看起来没有手动release那么繁琐,但是使用NSAutoreleasePool
来管理内存的方法还是不推荐的。因为在一个NSAutoreleasePool
里面,如果有大量对象被标记为autorelease,在程序运行的时候,内存会剧增,直到NSAutoreleasePool
被销毁的时候才会释放。如果其中的对象足够的多,在运行过程中你可能会收到系统的低内存警告,或者直接crash。
Autorelease Pool 扩展:
如果你极具好奇心,把Main函数中的NSAutoreleasePool
代码删除掉,然后再自己的代码中把对象声明为autorelease,你会
发现系统并不会给你发出错误信息或者警告。用内存检测工具去检测内存的话,你可能会惊奇的发现你的对象仍然被销毁了。
其实在新生成一个Run
Loop的时候,系统会自动的创建一个NSAutoreleasePool ,这个NSAutoreleasePool 无法被删除。
在做内存测试的时候,请不要用NSString。OC对字符串作了特殊处理
NSString *str =[ [NSString
alloc] stringWithString:@”123”];
在输出str的retain count 的时候,你会发现retain count 大于1。
四、手动管理内存
使用alloc、new、copy创建一个对象,该对象的retain count
都等于1,需要用release来释放该对象。谁创建,谁去释放。在这3钟方法以外的方法创建的对象,都被系统默认的声明为autorelease。
ClassA *a = [[ClassA
alloc] init];
ClassA *b = a;
[b retain];
//do smoething
[b release];
b = nil;
把一个指针赋值给另外一个指针的时候,a 指针所指向的对象的引用次数并没有增加,也就是说,对象的retain
count依然等于1。只有在retain了之后,retain count 才会加1。那么,如果这时候执行[a
release],只是a指针放弃了对对象的访问权,对象的retain count
减1,对象没有被销毁。只有当b也执行了release方法之后,才会将对象销毁掉。因此,谁retain了,谁就要release。
在对象被销毁之后,指针依然是存在的。所以在release了之后,最好把指针赋为空,防止无头指针的出现。顺便一说,release一个空指针是合法的,但是不会发生任何事情。
如果你在一个函数中创建并返回一个对象,那么你需要把这个对象声明为autorelease
(ClassA *)Function()
{
ClassA *a =
[[[ClassA alloc] init] autorelease];
return a;
}
不这样做的话,会造成内存泄露。
五、属性与内存管理
苹果一直没有强调的一点是,关于属性中的retain。事实上,属性中带有retain的,在赋值的时候可能已经在合成的setter中retain了一次,因此,这里也需要release。
@property实际上是getter和setter,@synthesize是合成这2个方法。为什么在声明了属性之后可以用“.”来直接调用成员变量呢?那是因为声明属性以后系统根据你给的属性合成了一个set方法和一个get方法。使用“.”与属性并没有直接关联,如果你不嫌麻烦,在你的程序里面多写一个set和get方法,你也可以使用“.”来调用变量。
@property(),如果你里面什么都不写,那么系统会默认的把你的属性设置为:
@property(atomic, assign)…..
关于nonatomic:
这个属性没有对应的atomic关键字,即使我上面是这么写,但atomic只是在你没有声明这个特性的时候系统默认,你无法主动去声明这一特性。
如果你的程序只有一个主线程,或者你确定你的程序不会在2个或者以上线程运作的时候访问同一个变量,那么你可以声明为nonatomic。指定nonatomic特性,编译器合成访问器的时候不会去考虑线程安全问题。如果你的多个线程在同一时间会访问到这个变量的话,可以将特性声明为atomic(通过省略关键字nonatomic)。在这种特性的状态下,编辑器在合成访问器的时候就会在访问器里面加一个锁(@synchronized),在同一时间只能有一个线程访问该变量。
但是使用锁是需要付出代价的,一个声明为atomic的属性,在设置和获取这个变量的时候都要比声明为nonatomic的慢。所以如果你不打算编写多线程代码,最好把变量的属性特性声明为nonatomic。
关于assign、retain和copy:
assign是系统默认的属性特性,它几乎适用于OC的所有变量类型。对于非对象类型的变量,assign是唯一可选的
特性。但是如果你在引用计数下给一个对象类型的变量声明为assign,那么你会在编译的时候收到一条来自编译器的警告。因为assign对于在引用计数下的对象特性,只创建了一个弱引用(也就是平时说的浅复制)。这样使用变量会很危险。当你release了前一个对象的时候,被赋值的对象指针就成了无头指针了。因此在为对象类型的变量声明属性的时候,尽量少(或者不要)使用assign。
关于assign合成的setter,看起来是这样的:
-(void)setObjA:(ClassA *)a
{
objA
= a;
}
在深入retain之前,先把声明为retain特性的setter写出来:
-(void)setObjA:(ClassA *)a
{
If(objA !=
a)
{
[objA release];
objA = a;
[objA retain]; //对象的retain count 加1
}
}
明显的,在retain的setter中,变量retain了一次,那么,即使你在程序中
self.objA = a;
只写了这么一句,objA仍然需要release,才能保证对象的retain count 是正确的。但是如果你的代码
objA = a;
只写了这么一句,那么这里只是进行了一次浅复制,对象的retain count 并没有增加,因此这样写的话,你不需要在后面release objA。
这2句话的区别是,第一句使用了编译器生成的setter来设置objA的值,而第二句只是一个简单的指针赋值。
copy的setter看起来是这样的:
-(void)setObjA:(ClassA *)a
{
ClassA * temp = objA;
objA = [a copyWithZone:nil];
[temp release];
}
复制必须通过实现copyWithZone:这个方法,因次copy这个特性只适用于拥有这个方法的类型,也就是说,必须这个类支持复制。复制是把原来的对象release掉,然后让指针指向一个新的对象的副本。因此即使在setter里面release了原来的对象,你仍然需要在后面release新指向的对象(副本)。
六、尾声
IOS开发现在唯一能用的内存管理方式就是引用计数,无论你喜欢还是不喜欢。在一个内存紧缺的机器上,你编写程序的时候也只能步步为营,尽可能的让你的程序腾出内存空间,并保证系统不会给你一个警告。即使苹果在Mac
OS X 雪豹(v10.5)系统里面添加了另外一种内存管理方式(垃圾收集),但目前不适用于IOS。