一 _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修饰符的成员变量的话,就可以避免循环引用的现象。