2016 2 - 23 arc中的所有权修饰符（_strong修饰符与_weak修饰符）

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