block

1.block 本质

• block本质上也是一个OC对象，它内部也有个isa指针
• block是封装了函数调用以及函数调用环境的OC对象

struct __main_block_desc_0 {
    size_t reserved;
    size_t Block_size; --> block内存大小
};

struct __block_impl {
    void *isa;  -->block的指针(表明block是个oc对象)
    int flags;
    int Reserved;
    void *FuncPtr; --> 指向 代码块的 内存地址(block的具体实现)
};

struct __main_block_impl_0 {
    struct __block_impl _impl;
    struct __main_block_desc_0 *Desc;
    int age; ----> block 捕获的auto变量
    int *height; ----> block 捕获的static变量

// block c++构造函数
    __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _age, int * _height, int flags=0) : age(_age), height(_height) {
        impl.isa = &_NSConcrereStackBlock;
        impl.Flags = flags;
        impl.FuncPtr = fp;
        Desc = desc;
    }

};


以下为例子
auto int age = 10;
static int height = 10;
// int age = 10  默认情况下 为auto
void (^block)(int, int) = ^(int a, int b) {
       NSLog(@"age = %d  height = %d", age, height);
};

变量捕获

auto int age = 10;
static int height = 10;
// int age = 10  默认情况下 为auto
void (^block)(int, int) = ^(int a, int b) {
       NSLog(@"age = %d  height = %d", age, height);
};
age = 20;
height = 20;
block();
输出 age = 10, height = 20;

原因

auto(默认) 不改变的原因

在创建block对象的时候, 已经捕获age了, 而当时 age = 10, 创建之后再怎么改边age 都不会改变 block内部age值了

static 改变的原因

指针传递, 捕获后, 在block 外 改变了 指针指向的值会改变block内部的值

全局变量 不管是 static还是auto block都不会捕获, 因为全局都可以直接访问,所以不用捕获, 归其原因是作用域的问题

self

// 某个viewcontroller中
- (void)test {
     void (^block)(int, int) = ^(int a, int b) {
            NSLog(@"%@  %@  %@", self, self.name _name);
     };
}

解释

• 因为self是局部变量 block会捕获self, block 内部访问 self.name, 是根据捕获的self 去访问name, _name 同理, 并不会直接捕获self.name
• self, _cmd在block创建的时候默认添加进来的参数

2.block分类

block有3种类型，可以通过调用class方法或者isa指针查看具体类型，最终都是继承自NSBlock类型

1. NSGlobalBlock ( _NSConcreteGlobalBlock)

没有访问 auto变量的 block

static int age = 10;
void(^block)(void) = ^{
      NSLog(@"%d", age);
};
        
NSLog(@"%@", [block class]);
输出 __NSGlobalBlock__

2.NSStackBlock (_NSConcreteStackBlock)

访问了 auto变量的block

int age = 10;
void(^block)(void) = ^{
      NSLog(@"%d", age);
};
NSLog(@"%@", [block class]);

ARC下输出 __NSMallocBlock__ 
MRC下输出 __NSStackBlock__

ARC MRC输出不一致的原因 是因为 ARC下 NSStackBlock 调用了copy

3. NSMallocBlock（ _NSConcreteMallocBlock ）

在ARC环境下，编译器会根据情况自动将栈上的block复制到堆上

• 1.block作为函数返回值时
• 2.将block赋值给__strong指针时
• 3.block作为Cocoa API中方法名含有usingBlock的方法参数时
• 4.block作为GCD API的方法参数时
• 5.直接copy

int age = 10;
[void(^block)(void) = ^{
      NSLog(@"%d", age);
} copy];

• 每一种类型的block调用copy后的结果如下所示

3. auto变量引用时copy的过程

当block内部访问了对象类型的auto变量时

• 如果block是在栈上，将不会对auto变量产生强引用

如果block被拷贝到堆上

• 会调用block内部的copy函数
• copy函数内部会调用_Block_object_assign函数
• _Block_object_assign函数会根据auto变量的修饰符（__strong、__weak、__unsafe_unretained）做出相应的操作，形成强引用（retain）或者弱引用

如果block从堆上移除

• 会调用block内部的dispose函数
• dispose函数内部会调用_Block_object_dispose函数
• _Block_object_dispose函数会自动释放引用的auto变量（release）