oc Block

转载于 -----  http://www.cocoachina.com/ios/20150109/10891.html

1.3 闭包（Closure）

闭包就是一个函数，或者一个指向函数的指针，加上这个函数执行的非局部变量。

说的通俗一点，就是闭包允许一个函数访问声明该函数运行上下文中的变量，甚至可以访问不同运行上文中的变量。

我们用脚本语言来看一下：

1

2

3

4

5

6

7

8

9

10

11

function funA(callback){

    alert(callback());

}

function funB(){

    var str = "Hello World"; // 函数funB的局部变量，函数funA的非局部变量

    funA（

        function（）{

            return str;

        }

    ）；

}

通过上面的代码我们可以看出，按常规思维来说，变量str是函数funB的局部变量，作用域只在函数funB中，函数funA是无法访问到str的。但是上述代码示例中函数funA中的callback可以访问到str，这是为什么呢，因为闭包性。

2.blcok基础知识

block实际上就是Objective-C语言对闭包的实现。

2.1 block的原型及定义

我们来看看block的原型：

1

NSString * ( ^ myBlock )( int );

上面的代码声明了一个block(^)原型，名字叫做myBlock，包含一个int型的参数，返回值为NSString类型的指针。

下面来看看block的定义：

1

2

3

4

myBlock = ^( int paramA )

{

    return [ NSString stringWithFormat: @"Passed number: %i", paramA ];

};

上面的代码中，将一个函数体赋值给了myBlock变量，其接收一个名为paramA的参数，返回一个NSString对象。

注意：一定不要忘记block后面的分号。

定义好block后，就可以像使用标准函数一样使用它了：

1

myBlock(7);

由于block数据类型的语法会降低整个代码的阅读性，所以常使用typedef来定义block类型。例如，下面的代码创建了GetPersonEducationInfo和GetPersonFamilyInfo两个新类型，这样我们就可以在下面的方法中使用更加有语义的数据类型。

1

2

3

4

5

6

7

8

// Person.h

#import // Define a new type for the block

typedef NSString * (^GetPersonEducationInfo)(NSString *);

typedef NSString * (^GetPersonFamilyInfo)(NSString *);

@interface Person : NSObject

- (NSString *)getPersonInfoWithEducation:(GetPersonEducationInfo)educationInfo

    andFamily:(GetPersonFamilyInfo)familyInfo;

@end

我们用一张大师文章里的图来总结一下block的结构：

2.2 将block作为参数传递

1

2

3

4

5

6

7

// .h

-(void) testBlock:( NSString * ( ^ )( int ) )myBlock;

// .m

-(void) testBlock:( NSString * ( ^ )( int ) )myBlock

{

    NSLog(@"Block returned: %@", myBlock(7) );

}

由于Objective-C是强制类型语言，所以作为函数参数的block也必须要指定返回值的类型，以及相关参数类型。

2.3 闭包性

上文说过，block实际是Objc对闭包的实现。

我们来看看下面代码：

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

#import void logBlock( int ( ^ theBlock )( void ) )

{

    NSLog( @"Closure var X: %i", theBlock() );

}

int main( void )

{

    NSAutoreleasePool * pool;

    int ( ^ myBlock )( void );

    int x;

    pool = [ [ NSAutoreleasePool alloc ] init ];

    x = 42;

    myBlock = ^( void )

    {

        return x;

    };

    logBlock( myBlock );

    [ pool release ];

    return EXIT_SUCCESS;

}

上面的代码在main函数中声明了一个整型，并赋值42，另外还声明了一个block，该block会将42返回。然后将block传递给logBlock函数，该函数会显示出返回的值42。即使是在函数logBlock中执行block，而block又声明在main函数中，但是block仍然可以访问到x变量，并将这个值返回。

注意：block同样可以访问全局变量，即使是static。

2.4 block中变量的复制与修改

对于block外的变量引用，block默认是将其复制到其数据结构中来实现访问的，如下图：

通过block进行闭包的变量是const的。也就是说不能在block中直接修改这些变量。来看看当block试着增加x的值时，会发生什么：

1

2

3

4

5

myBlock = ^( void )

{

    x++;

    return x;

};

编译器会报错，表明在block中变量x是只读的。

有时候确实需要在block中处理变量，怎么办？别着急，我们可以用__block关键字来声明变量，这样就可以在block中修改变量了。

基于之前的代码，给x变量添加__block关键字，如下：

1

__block int x;

对于用__block修饰的外部变量引用，block是复制其引用地址来实现访问的，如下图：

3.编译器中的block

3.1 block的数据结构定义

我们通过大师文章中的一张图来说明：

上图这个结构是在栈中的结构，我们来看看对应的结构体定义：

1

2

3

4

5

6

7

8

9

10

11

12

13

14

struct Block_descriptor {

    unsigned long int reserved;

    unsigned long int size;

    void (*copy)(void *dst, void *src);

    void (*dispose)(void *);

};

struct Block_layout {

    void *isa;

    int flags;

    int reserved;

    void (*invoke)(void *, ...);

    struct Block_descriptor *descriptor;

    /* Imported variables. */

};

从上面代码看出，Block_layout就是对block结构体的定义：

isa指针：指向表明该block类型的类。

flags：按bit位表示一些block的附加信息，比如判断block类型、判断block引用计数、判断block是否需要执行辅助函数等。

reserved：保留变量，我的理解是表示block内部的变量数。

invoke：函数指针，指向具体的block实现的函数调用地址。

descriptor：block的附加描述信息，比如保留变量数、block的大小、进行copy或dispose的辅助函数指针。

variables：因为block有闭包性，所以可以访问block外部的局部变量。这些variables就是复制到结构体中的外部局部变量或变量的地址。

3.2 block的类型

block有几种不同的类型，每种类型都有对应的类，上述中isa指针就是指向这个类。这里列出常见的三种类型：

_NSConcreteGlobalBlock：全局的静态block，不会访问任何外部变量，不会涉及到任何拷贝，比如一个空的block。例如：

1

2

3

4

5

#include int main()

{

    ^{ printf("Hello, World!\n"); } ();

    return 0;

}

_NSConcreteStackBlock：保存在栈中的block，当函数返回时被销毁。例如：

1

2

3

4

5

6

#include int main()

{

    char a = 'A';

    ^{ printf("%c\n",a); } ();

    return 0;

}

_NSConcreteMallocBlock：保存在堆中的block，当引用计数为0时被销毁。该类型的block都是由_NSConcreteStackBlock类型的block从栈中复制到堆中形成的。例如下面代码中，在exampleB_addBlockToArray方法中的block还是_NSConcreteStackBlock类型的，在exampleB方法中就被复制到了堆中，成为_NSConcreteMallocBlock类型的block：

1

2

3

4

5

6

7

8

9

10

11

12

void exampleB_addBlockToArray(NSMutableArray *array) {

    char b = 'B';

    [array addObject:^{

            printf("%c\n", b);

    }];

}

void exampleB() {

    NSMutableArray *array = [NSMutableArray array];

    exampleB_addBlockToArray(array);

    void (^block)() = [array objectAtIndex:0];

    block();

}

总结一下：

_NSConcreteGlobalBlock类型的block要么是空block，要么是不访问任何外部变量的block。它既不在栈中，也不在堆中，我理解为它可能在内存的全局区。

_NSConcreteStackBlock类型的block有闭包行为，也就是有访问外部变量，并且该block只且只有有一次执行，因为栈中的空间是可重复使用的，所以当栈中的block执行一次之后就被清除出栈了，所以无法多次使用。

_NSConcreteMallocBlock类型的block有闭包行为，并且该block需要被多次执行。当需要多次执行时，就会把该block从栈中复制到堆中，供以多次执行。

3.3 copy()和dispose()

上文中提到，如果我们想要在以后继续使用某个block，就必须要对该block进行拷贝操作，即从栈空间复制到堆空间。所以拷贝操作就需要调用Block_copy()函数，block的descriptor中有一个copy()辅助函数，该函数在Block_copy()中执行，用于当block需要拷贝对象的时候，拷贝辅助函数会retain住已经拷贝的对象。

既然有有copy那么就应该有release，与Block_copy()对应的函数是Block_release()，它的作用不言而喻，就是释放我们不需要再使用的block，block的descriptor中有一个dispose()辅助函数，该函数在Block_release()中执行，负责做和copy()辅助函数相反的操作，例如释放掉所有在block中拷贝的变量等。