美文网首页iOS首页投稿(暂停使用,暂停投稿)
读 Objective-C 高级编程(六)-- Block

读 Objective-C 高级编程(六)-- Block

作者: 天空中的球 | 来源:发表于2016-07-18 00:50 被阅读251次
什么是 Blocks ?

Blocks是 C 语言的扩充功能。可以用一句话来表示 Blocks 的扩充功能:带有自动变量(局部变量)的匿名函数。

  • 匿名函数 : 不带有名字的函数
  • 自动变量 : 局部变量(可以传递值的变量),表现为 “截取自动变量值”
Blocks 模式 ?
^ 返回值类型 参数列表 表达式

注意它没有函数名,因为它是匿名函数;返回值类型带有^,因为这作为一个插入记号,便于在大量使用 Block 的时候查找。

一般来说,我们的比较常用的情况是这样的。

typedef void (^TestBlock)(NSString *sendValue);
@property (nonatomic, copy) TestBlock testBlock;
if (self.testBlock) {
      self.testBlock (@"TestValue");
}
__weak typeof(self) weakSelf = self;
testObject.testBlock = ^(NSString *sendValue){
      __strong typeof(weakSelf) strongSelf = weakSelf;
     strongSelf.testValue = sendValue;
};

问题的引出

1、block表达式到底是怎样的?

此处,一下子会很奇怪,为什么表达式不是按 Block 语法说的那样的?

Block 语法
// 没有参数没有返回值
TestBlock testBlock = ^void(){
     NSLog(@"test");
};
//有参数没有返回值
TestBlock testBlock = ^(NSString *string) {
      NSLog(string);
}
//有参数有返回值
TestBlock testBlock = ^NSString *(NSString *str) {
     NSLog(str);
     return @"testString";
}

常用的那块举例,是因为我们为了更好的使用它,往往都是将表达式和定义函数分开,便于理解和使用,也就可以引出下面一个问题啦。

2、为什么用 typedef?

在函数参数和返回值中使用 block 类型变量时,记述方式很复杂,这时我们可以像使用函数指针类型时那样,使用 typedef 来解决问题。

typedef int (^blk_t)(int);

如上所示,这样通过使用 typeded 可声明 “blk_t”类型变量。换一种方式思考,之前举的例子不那样写应该怎样写呢?

@property (nonatomic, copy) void (^TestTempBlock)(NSString *sendValue);

看起上述真不是我们熟悉的感觉吧,怪怪的,所以简单的说通过 typedef,函数定义变的更容易理解多啦。

3、为什么用 copy?

简单解释就是 Block 的生命周期是和栈是绑定在一起的,为了不被提前释放掉,需要 copy 之后让 block 在堆上。或者说是为了让Block在初始化作用域外可以进行正常访问外部变量。

此时我们先来需要注意的是 Block 是Objective-C 对象,关于 Blcok 结构体这块可以去看看 唐巧的谈Objective-C block的实现加深理解,将 block 当做对象来看时,Blcok的类就有啦,它分为三种:

  • _NSConcreteStackBlock
  • _NSConcreteGlobalBlock
  • _NSConcreteMallocBlock
设置 Block 的存储域
  • _NSConcreteStackBlock :引用了外部变量的 block,或者说使用了截获的自动变量,对应 数据区域。
  • _NSConcreteGlobalBlock:没有引用外部变量的 block ,或者说不使用截获的自动变量的block,对应栈。
  • _NSConcreteMallocBlock: 当block被copy时,将生成的 block,也就是对应堆。

所以此处使用 copy 的原因,也就出现啦,为了让 block 上__block 变量在作用域结束时不被影响而使用的。

copy

放心的是,__block变量中有结构体中的成员变量(__forwarding)可以保证无论是在栈上还是堆上都可以正确的访问__block 变量。 (此处要看源码)

但是 Block 可以用 strong 修饰吗?在ARC下,strong和copy都可以用来修饰block,但是建议修饰block属性使用copy,可以让我们很容易想到它是在堆上的。

MRC下则不行。这是因为在MRC时期,作为属性的block在初始化时是被存放在静态区的,这样在使用时如果block内有调用外部变量,那么block无法保留其内存,在初始化的作用域内使用并不会有什么影响,但一但出了block的初始化作用域,就会引起崩溃,使用copy可以将block的内存推入堆中,这样让其拥有保存调用的外部变量的内存的能力。在MRC下正常情况如果Block是使用retain修饰并且在块内访问了外部变量,block在出了它的初始化的作用域时并再被调用时,程序就会崩溃

4、为什么用 __weak?

简单直接说,就是为了防止循环引用的啊

循环引用 --- weak之后

同时注意下,循环引用是怎样产生的?例如在某个 VC 中使用一个 Block,假如block对象赋值给了VC的属性,那么VC就会对block有一个强引用,而block中又用到了self(VC),block会对使用到的外部变量进行捕获,所以,block对VC也有一个强引用,最终造成循环引用,谁也无法释放,然后就有问题啦。

self.testBlock = ^(NSString *sendValue) {
     self.testValue = sendValue;
};

所以为了破坏这个环,使用 __weak是必须的,让 block 对 self 就成了弱引用,而打破了环,达到我们的目的。
PS:__strong 是因为上述会有一个隐患,我们不知道 self 什么时候会被释放,为了保证在block内不会被释放,我们添加__strong

想要更加深入 block,那就还得看源码啦,通过 clang,研究 block 具体的源码实现方式。不过我们平常用的话,了解了一些基本的也就 OK 啦,书中还有一些具体的实现方式,就没有一一记录啦。

相关文章

网友评论

  • 该死的大佐:您好,请问画流程图的工具叫做什么?
    天空中的球:@该死的大佐 上面是Keynote 画的,流程图是 MindNode 或 iThoughtsX 的

本文标题:读 Objective-C 高级编程(六)-- Block

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