一 _strong修饰符
1._strong修饰符是id类型和对象类型默认的所有权修饰符。如下:
id obj = [[NSObject alloc] init];//在没用明确变量所有权修饰符时,会被默认被_strong修饰符id _strong obj = [[NSObject alloc] init];//此段代码上面的是相同的。
2. 如strong这个名字所示,_strong修饰符表示对对象的强引用。持有强引用的变量在超出其作用域时会被废弃。随着强引用的失效,引用的对象会随之失效。
用一段代码来说明,如下:
{ id _strong obj = [[NSObject alloc] init];//自己生成并持有对象。 /* 因为变量obj为强引用 所有自己持有对象 */} /* 变量obj超出其作用域,强引用失效。 所以自动的释放自己所持有的对象。 对象的所有者不存在,所以废弃该对象。 */
以上是自己生成且持有的对象的例子,在取得非自己生成且持有对象时也如上一样,就不在多述了。
3.下面来看一下复杂的生成并持有对象的强应用 。
id _strong obj0 = [[NSObject alloc] init]; //对象A /* obj0持有对象A的强引用 */ id _strong obj1 = [[NSObject alloc] init]; //对象B /* obj1持有对象B的强引用 */ id _strong obj2 = nil; /* obj2不持有仍和对象 */ obj0 = obj1; /* obj0持有由obj1赋值的对象B的强引用 因为obj0被赋值,所以原先持有的对象A的强引用失效 对象A的所有者不存在,因此废弃该对象。 此时B对象的强引用变为obj0与obj1 */
通过上面的例子可以发现_strong修饰符的变量,不仅只是在变量的作用域,在赋值上也能够正确的管理其对象的苏有着。
二 _weak修饰符
要明白_weak修饰符的作用,首先要明白_strong修饰符所带来的循环引用的问题,如下:
假设已有一个类Test继承自NSObject且存在成员变量obj也继承自NSObect。就会有以下循环引用的问题。
{ id test0 = [[Test alloc] init];//对象A //test0持有对象A的强引用 id test1 = [[Test alloc] init];//对象B //test1持有对象B的强引用 [test0 setObject:test1]; /* 对象A的成员变量obj持有Test对象B的强引用 对象B的强引用变为test1与对象A的成员变量obj。 */ [test1 setObject:test0]; /* 对象B的成员变量obj持有Test对象A的强引用 对象A的强引用变为test0与对象B的成员变量obj。 */ } /* 因为test0变量超出其作用域,强引用失效, 所以自动释放Test对象A 因为test1变量超出其作用域,强引用失效, 所以自动释放Test对象B 此时持有对象A的强引用的变量为: 对象B的成员变量obj。 此时持有对象B的强引用的变量为: 对象A的成员变量obj。 此时对象A与对象B都已失去作用,理应废弃他们,但是却无法废弃。 发生了内存泄露! */
循环引用容易发生内存泄露,所谓内存泄露就是指应当废弃对象的在超出其生存周期后继续存在。
像下面这种情况,虽然只有一个对象,但在该对象持有自身时,也会发生循环引用。
id _strong obj = [[NSObject alloc] init]; [obj setObject:obj];
2.为了避免循环引用,就要使用_weak修饰符。_weak修饰符与_strong修饰符相反,提供弱引用。弱引用不能持有对象实例。
{ id _strong obj0 = [[NSObject alloc] init];//自己生成并持有对象。 id _weak obj1 = obj0;//obj1持有对象的弱引用。}/*obj0超出其作用域,强引用失效,所以自动释放自己持有的对象。因为对象的所有者不存在,所以废弃该对象。*/
因为带_weak修饰符的变量(即弱引用)不持有对象,所以在超出其变量作用域时,对象即被释放。如果将之前发生循环引用的类的变量改为附有_weak修饰符的成员变量的话,就可以避免循环引用的现象。