(知其所以然一)OC中block的底层实现和具体运用

我们一起来看看,经Clang编译后的block结构如下:

struct Block_literal_1 {
    void *isa; 
    int flags;
    int reserved;
    void (*invoke)(void *, ...);
    struct Block_descriptor_1 {
    unsigned long int reserved;       
        unsigned long int size;      
        // optional helper functions
        void (*copy_helper)(void *dst, void *src);     // IFF (1<<25)
        void (*dispose_helper)(void *src);             // IFF (1<<25)
        // required ABI.2014.5.25
        const char *signature;                         // IFF (1<<30)
    } *descriptor;
    // imported variables
};

可以看到在Block结构体中含有isa指针，这就证明了Block其实就是对象，并具有一般对象的所有功能。这个isa指针被初始化为_NSConcreteStackBlock或者_NSConcreteGlobalBlock类的地址。在没有开启ARC的情况下，如果Block中包含有局部变量则isa被初始化为前者，否则就被初始化为后者。而当ARC开启后，如果Block中包含有局部变量则isa被初始化为_NSConcreteMallocBlock，否则就被初始化为_NSConcreteGlobalBlock。invoke是一个函数指针，它指向的是Block被转换成函数的地址。最后的imported variables部分是Block需要访问的外部的局部变量，他们在编译就会被拷贝到Block中，这样一来Block就是成为一个闭包了。在iOS开发中我们在很多地方都能见到block的身影,如:

(1)遍历数组或者字典

(2)视图动画

(3)排序

(4)通知

(5)错误处理

(6)多线程

(7)封装变化点 .......

　　因此,我们了解到Block是OC中的一种数据类型，在iOS开发中被广泛使用,^是Block的特有标记,Block的实现代码包含在{}之间.大多情况下，以内联inline函数的方式被定义和使用,Block与C语言的函数指针有些相似，但使用起来更加灵活, 一个简单的加法,使得block的定义一目了然:

int main(int argc, const char * argv[])
{
 
    @autoreleasepool {
        int (^sum)(int, int) = ^(int a, int b){
            return  a + b;
        };
        int add = sum(4, 5);
        NSLog(@"%d", add);
    }
    return 0;
}

(一) Block可以使用在定义之前声明的局部变量

(1)在定义Block时，会在Block中建立当前局部变量内容的副本(拷贝)

(2)后续再对该变量的数值进行修改，不会影响Block中的数值

(3)如果需要在block中保持局部变量的数值变化，需要使用__block关键字

(4)使用__block关键字后，同样可以在Block中修改该变量的数值

int main(int argc, const char * argv[])
{
 
    @autoreleasepool {
        int i = 0;
        void (^myBlock)() = ^{
            NSLog(@"%d",i);
        };
        i = 100;
        myBlock();
    }
    return 0;
}
 
运行结果: i = 0
 
int main(int argc, const char * argv[])
{
 
    @autoreleasepool {
       __block int i = 0;
        void (^myBlock)() = ^{
            NSLog(@"%d",i);
        };
        i = 100;
        myBlock();
    }
    return 0;
}
 
 
运行结果: i=100

(二) clang编译block封装的语句,一窥其庐山真面目

^{printf("OC is Good");}

编译后:

struct __block_literal_1 {
    void *isa;
    int flags;
    int reserved;
    void (*invoke)(struct __block_literal_1 *);
    struct __block_descriptor_1 *descriptor;
};
   
void __block_invoke_1(struct __block_literal_1 *_block) {
    printf("OC is Good");
}
   
static struct __block_descriptor_1 {
    unsigned long int reserved;
    unsigned long int Block_size;
} __block_descriptor_1 = { 0, sizeof(struct __block_literal_1), __block_invoke_1;}

我们可以观察到:通过iSa指针,内容在编译的时候就会被拷贝到block中,从而形成闭包. 先体会下底层实现,接下来将会重点介绍block在OC的中的常见应用场景,今天的知识点,一句话概括:闭包就是能够读取其它函数内部变量的函数.

来源：http://bbs.520it.com/forum.php?mod=viewthread&tid=270&highlight=知其所以然