《Objective-C高级编程》Blocks 阅读笔记 ite

作者: dibadalu | 来源:发表于2016-02-19 14:31 被阅读434次

《Objective-C高级编程》Blocks 阅读笔记系列

2.3 Blocks的实现

2.3.8 Block循环引用

*** 如果在Block中使用附有__strong修饰符的对象类型自动变量，那么当Block从栈复制到堆时，该对象为Block所持有。 *** 这样容易引起*** 循环引用 ***。

*** 使用Block类型成员变量和附有__strong修饰符的self出现循环引用 ***

typedeft void (^blk_t)(void);

@interface MyObject : NSObject
{
    blk_t blk_;
}
@end

@implementation MyObject
- (id)init
{
    self = [super init];
    
    blk_ = ^{NSLog(@"self = %@", self);};
    
    return self;
}

- (void)dealloc
{
    NSLog(@"dealloc");
}
@end

int main()
{
    id o = [[MyObject alloc] init];
    
    NSLog(@"%@", o);
    
    return 0;
}

编译该源代码时，编译器会发出警告，这是因为出现了循环引用，从而导致dealloc实例方法没有被调用。

Snip20160219_26.png

*** 使用Block类型成员变量和附有__weak修饰符的self避免循环引用 ***
为避免此循环引用，可声明附有__weak修饰符的变量，并将self赋值给该变量，然后在Block语法中使用该变量。

- (id)init
{
    self = [super init];
    
    id __weak weakSelf = self;
    
    blk_ = ^{NSLog(@"self = %@", weakSelf);};
    
    return self;
}

Snip20160219_28.png

*** 面向iOS4，使用__unsafe_unretained修饰符 ***

- (id)init
{
    self = [super init];
    
    id __unsafe_unretained weakSelf = self;
    
    blk_ = ^{NSLog(@"self = %@", weakSelf);};
    
    return self;
}

面向iOS4，使用__unsafe_unretained修饰符替代__weak修饰符，并且不用担心悬挂指针问题。

*** Block中没有使用self，但是截获了self ***

@interface MyObject : NSObject
{
    blk_t blk_;
    id obj_;
}
@end

@implementation MyObject
- (id)init
{
    self = [super init];
    
    blk_ = ^{NSLog(@"obj_ = %@", obj_);};
    
    return self;
}

该源代码，如果编译，编译器会发出警告（出现循环引用）。这是因为Block语法中使用的obj_实际上截获了self，而对编译器来说，obj_只不过是对象的结构体的成员变量。

blk_ = ^{NSLog(@"obj_ = %@", self->obj_);};

为避免循环引用，解决方法参考前面。

*** 使用__block变量避免循环引用 ***

typedeft void (^blk_t)(void);

@interface MyObject : NSObject
{
    blk_t blk_;
}
@end

@implementation MyObject
- (id)init
{
    self = [super init];
    
    __block id blockSelf = self;
    
    blk_ = ^{
          NSLog(@"self = %@", blockSelf);
          blockSelf = nil; // 记得清零
        };
    
    return self;
}

- (void)execBlock
{
    blk_();
}

- (void)dealloc
{
    NSLog(@"dealloc");
}
@end

int main()
{
    id o = [[MyObject alloc] init];
    
    [o execBlock];
    
    return 0;
}

该源代码没有引起循环引用。但是，如果不调用execBlock实例方法（即不执行赋值给成员变量blk_的Block），便会循环引用并引起内存泄露。该种循环引用可参看下面。

*** 使用__block变量不恰当会出现循环引用 ***
在生成并持有MyObject类对象的状态下会引起以下循环引用，如下图：

MyObject类对象持有Block
Block持有__block变量
__block变量持有MyObject类对象

Snip20160219_30.png

如果不执行execBlock实例方法，就会持续该循环引用从而造成内存泄露。
如果只想execBlock实例方法，Block被执行，nil被赋值在__block变量blockSelf中。

blk_ = ^{
    NSLog(@"self = %@", blockSelf);
    blockSelf = nil; // 记得清零
};

因此，__block变量blockSelf对MyObject类对象的强引用失效，从而避免了循环引用，如下图：

MyObject类对象持有Block
Block持有__block变量

Snip20160219_31.png

*** 使用__block变量避免循环引用的优缺点 ***

优点

通过__block变量可控制对象的持有期间
在不能使用__weak修饰符的环境中不使用__unsafe_unretained修饰符即可（不必担心悬挂指针）

在执行Block时可动态地决定是否将nil或其他对象赋值在__block变量中，从而避免出现循环引用。

缺点

为避免循环引用必须执行Block

存在执行了Block语法，却不执行Block的路径时，无法避免循环引用。

总结

若由于Block引发了循环引用时，根据Block的用途选择使用__block变量、__weak修饰符或__unsafe_unretained修饰符来避免循环引用。

网友评论

本文标题：《Objective-C高级编程》Blocks 阅读笔记 ite

本文链接：https://www.haomeiwen.com/subject/ckcvkttx.html

延伸阅读

深度阅读

您也可以注册成为美文阅读网的作者，发表您的原创作品、分享您的心情！