__weak修饰符详解

    仅通过 __strong 是无法解决程序中的重大问题的。所说的重大问题就是引用计数式内存管理中所必然发生的“循环引用”问题。

    例如:

{

    id test0 = [[Test alloc] init];

    id text1 = [[Test alloc] init];

    [test0 setObject:test1];

    [test1 setObject:test0];

}

    以下为持有对象状态:

{

    id test0 = [[Test alloc] init]; // 对象 A

// etst0 持有 Test 对象 A 的强引用

    id text1 = [[Test alloc] init]; // 对象 B

// test1 持有对象 B 的强引用

    [test0 setObject:test1];

// Test 对象 A 的 obj_ 成员变量持有 Test 对象 B 的强引用。此时,持有 Test 对象 B 的强引用的变量为 Test 对象 A 的 obj_ 和 test1.

    [test1 setObject:test0];

// Test 对象 B 的 obj_ 成员变量持有 Test 对象 A 的强引用。此时,持有 Test 对象 A 的强引用的变量为 Test 对象 B 的 obj_和 test0.

}

// 因为 test0 变量超出其作用域,强引用失效,所以自动释放 Test 对象 A 。
//因为 test1 变量超出其作用域,强引用失效,所以自动释放 Test 对象 B。
// 此时,持有Test 对象 A 的强引用的变量为 Test 对象 B 的 obj_。
// 此时,持有Test 对象 B 的强引用的变量为 Test 对象 A 的 obj_。
// 发生内存泄漏

    循环引用容易发生内存泄漏。所谓的内存泄漏就是应当废弃的对象在其作用域之外继续存在。

    此代码的本意是赋予变量 test0 的对象 A 和赋予变量 test1 的对象 B 在超出其变量作用域时被释放,即在对象不被任何变量持有的状态下予以废弃。但是,循环引用使得对象不能被再次废弃。

    以下情况,虽然只有一个对象,也会出现循环引用:

id test = [[Test alloc] init];

[test setObject:test];

   使用 __weak 修饰符可以避免循环引用。

    __weak 修饰符与 __strong 修饰符相反,提供弱引用,弱引用不能持有对象实例。

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

    变量 obj 上附加了 __waek 修饰符。实际上如果编译以上代码,编译器会发出警告。

    此源代码将自己生成并持有的对象赋值给附有 __weak 修饰符的变量 obj。即变量 obj 持有对持有对象的弱引用。因此,为了不以自己持有的状态来保存自己生成并持有的对象,生成的对象会立即被释放。编译器对此会给出警告。如果像下面这样,将对象赋值给附有 __strong 修饰符的变量之后再赋值给附有 __weak 修饰符的变量,就不会有警告了。

{

    id __strong obj0 = [[NSObject alloc] init];

    id __weak obj1 = obj0;

}

    下面为对象持有情况:

{

 // 自己生成并持有对象

    id __strong obj0 = [[NSObject alloc] init];

// 因为 obj0 变量为强引用,所以自己持有对象

    id __weak obj1 = obj0;

// obj1变量持有生成对象的弱引用

} /* 因为 obj0 变量超出其作用域,强引用失效,所以自动释放自己持有的对象。因此对象的所有者不存在,所以废弃该对象 */

    因为带 __weak 修饰符的变量(即弱引用)不持有对象,所以在超出其变量作用域时,对象即被释放。如果像以下内容将可能发生循环引用的类成员变量改成附有 __weak 修饰符的成员变量的话,该现象是可以避免的。

@inerface Test : NSObject

{

    id __weak obj_;

}

- (void)setObject:(id __strong)obj;

@end

    _weak 修饰符还有另一优点。在持有某对象的弱引用时,若该对象被废弃,则此弱引用自动失效且处于 nil 被赋值的状态。如下:

id __weak obj1 = nil;

{

    id __strong obj0 = [[NSObject alloc] init];

    obj1 = obj0;

    NSLog(@"A: %@", obj1);

}

NSLog(@"B: %@", obj1);

    此源码执行效果如下:

A:

B: (null)

    以下为对象持有情况

id __weak obj1 = nil;

{

// 自己生成并持有对象

    id __strong obj0 = [[NSObject alloc] init];

// 因为 obj0 变量为强引用,所以自己持有对象

    obj1 = obj0;

// obj1 变量持有对象的弱引用

    NSLog(@"A: %@", obj1);

// 输出 obj1 变量持有的弱引用对象

}

/* 因为 obj0 变量超出其作用域,强引用失效,所以自动释放自己持有的对象。因为对象无持有者,所以废弃该对象。废弃对象的同时,持有该对象弱引用的 obj1变量的弱引用失效,nil 赋值飞 obj1 */

NSLog(@"B: %@", obj1);

// 输出赋值给 obj1 变量中的 nil

    像这样,使用 __weak 修饰符可避免虚幻引用,通过检查附有 _weak 的变量是否为 nil,可以判断被赋值的对象是否已废弃。




// 结束,是另一种开始。

// 作者会将所读所学摘录及分享

// 本文参考《Objcetive-C高级编程iOS与OS X多线程和内存管理》

你可能感兴趣的:(__weak修饰符详解)