Objective-C 高级编程 iOS与OS X多线程和内存管理 之学习笔记-第2章 Blocks

第2章 Blocks

    2.1 什么事Blocks:是C语言的扩充功能。带有自动变量(局部变量)的匿名函数。

       C语言中函数可能使用的变量:

            自动变量(局部变量)

            函数的参数

            静态变量(静态局部变量)

            静态全局变量

            全局变量     

       后三个在函数多次调用之间能够传递值    

        在计算机科学中,此概念也称为闭包(Closure)、lambda计算。

        C + Blocks           Block

        Smalltalk              Block

        Ruby                    Block

        Python                 Lambda

        C++                      Lambda

        JS                         Anonymous function

    2.2 Blocks 模式

        2.2.1 语法:1、没有函数名 2、带有^

            ^void ( int event ) {

                    printf();

           }

            ^ 返回值类型 参数列表 表达式 :无返回值,返回值类型省略。无参数时,参数列表省略。

        2.2.2 Block 类型变量

            C语言中 int (*funcptr)(int) = &func; 函数func的地址就赋值给函数指针类型变量funcptr中了

            Block既指源代码中的Block语法,也指有Block语法生成的值。

            声明Block类型的变量  int (^blk)(int);  与一般的C语言变量完全相同。

            typedef int(^blk_t)(int) 声明blk_t类型的变量。

            Block类型变量指针,即Block的指针类型变量

            blk_t blk = ^(int count){return count + 1; };

            blk_t *blkptr = &blk;

            (*blkptr)(10);

        2.2.3 截获自动变量值  Block使用的是它之前声明的自动变量。

        使用附有__block 说明符的自动变量可在Block中赋值,该变量称为__block变量

        截获的自动变量可以被使用,但不可给截获的自动变量赋值。若想赋值使用__block修饰

    2.3 Blocks 的实现

        带有自动变量值的匿名函数。实际上是作为极普通的C语言源代码来处理的。

        所谓Block就是Objective-C对象

        所谓“截获自动变量”意味着在执行Block语法时,Block语法表达式所使用的自动变量值被保存到Block的结构体实例中。

        不能改写被截获的自动变量的值。

        在Block中保存值:

                静态变量、静态全局变量、全局变量

                使用__block说明符(修饰的自动变量生成结构体实例,有一个__forwarding结构体指针指向自身)


      a.  NSConcreteStackBlock Block对象设置在栈上  copy  从栈复制到堆

                设置在栈上的Block,其所属的变量作用域结束,该Block被废弃。__block变量也一样。

       b. NSConcreteGlobalBlock Block对象设置在程序的数据区域(.data区)上    什么也不做

                使用全局变量的地方不能使用自动变量,所以不存在自动变量截获。

                Block结构体实例的内容不依赖于执行时的状态,所以整个程序只需一个实例

                只要Block不截获自动变量,就可以将Block用结构体实例设置在程序的数据区域

       c. NSConcreteMallocBlock Block对象设置在内存块(即堆)上    引用计数增加

                __block变量会跟随Block从栈复制到堆时一起被赋值,此时Block持有__block变量。

                别的Block从栈复制到堆时,被复制的Block持有的__block变量,并增加__block变量的引用计数

                堆上的Block被废弃,它所使用的__block也被释放。(没有持有者被废弃)

                __block复制到堆之后,栈上的__block变量的__forwarding结构体指针指向复制到堆上的__block变量用结构体的指针


        将BLock作为函数返回值返回时,编译器会自动生成复制到堆上的代码

        不需要手动复制:

            Cocoa框架下的方法且方法名中含有usingBlock

            GCD的API


        截获对象:

        _Block_object_assgin()相当于retain实例方法,将对象赋值在对象类型的结构体成员变量中     栈上的Block复制到堆时

        _Block_object_dispose()相当于release实例方法,释放赋值在对象类型的结构体成员变量中的对象       堆上的Block被废弃时

        什么时候栈上的Block会复制到堆上?

            调用Block的copy实例方法

             Block作为函数的返回值返回

            将Block赋值给附有__strong修饰符id类型的类或Block类型成员变量时

            方法名中含有usingBlock的Cocoa框架方法或GCD的API(Grand Central Dispatch)

        Block循环引用:

            对象持有Block,Block持有对象self        使用weak修饰符,避免造成循环引用

            A->B->A    也可以使用__block变量来避免循环引用(必须执行Block)

            A->B->C->A

        ARC无效时,一般需要手动将Block从栈复制到堆。用copy来复制,用release来释放。retain来持有。

        此时用__Block说明符来避免Block中的循环引用

PS:加深记忆

你可能感兴趣的:(Objective-C 高级编程 iOS与OS X多线程和内存管理 之学习笔记-第2章 Blocks)