###Block的本质

• 将 “函数” 及 “执行其上下文” 封装起来的 “对象”
• block的调用就是函数的调用

1
2
3
4
5
6
7

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

使用 “clang -rewrite-objc main.m”查看编译之后的部分内容

__block_impl 结构体中发现有 isa 指针，所以说block是Objective-C对象

###block捕获变量特性

在block中使用外部变量时，block会捕获其变量，具体规则如下

• 局部变量为基本数据类型：捕获其值
• 局部变量为对象类型：连同所有权修饰符一起捕获
• 局部变量为静态的：以指针的形式捕获
• 全局变量：不捕获
• 全局静态变量：不捕获

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18

int testGlobalVar = 0;
static int testGlobalStaticVar = 0;

int main(int argc, const char * argv[]) {
    int testVar = 0;
    __strong id obj = [[NSObject alloc]init];
    static int testStaticVar = 0;
    
    void(^test)(void) = ^(){
        NSLog(@"局部变量为基本数据类型%d",testVar);
        NSLog(@"局部变量为对象类型%@",obj);
        NSLog(@"局部变量为静态的%d",testStaticVar);
        NSLog(@"全局变量%d",testGlobalVar);
        NSLog(@"全局静态变量%d",testGlobalStaticVar);
    };
    test();
    return 0;
}

编译后看到效果

将上述代码编译后，我们再看__main_block_impl_0结构体中这几个变量在其中的类型，就可以更好理解block的捕获特性，__strong为默认修饰符，所有编译后无效果。

由于捕获的特性，当我们在block中使用对象类型时，需要注意循环引用

__block

使用场景：在blcok内部对捕获的值进行赋值

• 局部变量为基本数据类型、对象类型，需要__block
• 静态局部变量、全局变量、全局静态变量，不需要__block，因为静态局部变量不捕获其指针，全局变量、全局静态变量不捕获

如图，编译后的文件，我们发现，局部数据类型变量a、局部对象类型obj竟然变成了结构体实例

__Block_byref_a_0结构体实例的成员变量__forwarding持有指向该实例自身的指针

###Block内存管理

通过几个栗子来分析内存管理：

栗子1：block不捕获任何外部变量，分配在全局区

栗子2：block捕获局部变量，分配在堆区 栗子3：block捕获局部静态变量，分配在全局区 栗子4：block捕获全局变量，分配在全局区 栗子5：block捕获全局静态变量，分配在全局区 5个栗子，blcok不是分配在堆区，就是分配在全局区，什么时候分配在栈区呢？

截取官方文档的一个图，可以发现，当发送copy消息的时候，会将block分配在堆区，但是我们并没有发任何copy消息呀，why？因为系统已经偷偷给我们发送了copy消息 怎么不让系统帮我们呢？ 栗子6：__weak 修饰block

用好类型别名 为常用的 block 类型创建 typedef 用 typedef 重新定义block类型，可以使 block 变量用起来更加简单

1
2
3
4
5
6
7
8
9

typedef int(^Add)(int a,int b);

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