iOS基础---Block朝花夕拾

Block是总最常用的iOS特性之一，常见的问题相信大家都知道，这里我们列一些不太常见的情形。

第一、block无法捕获C语言数组，如果想捕获C语言的数组，需要使用指针；

如：

    const char text[] = "hello";
    
    void(^test)(void) = ^(void){
        printf("%c",text[2]);
    };

此时编译器报错：

 Cannot refer to declaration with an array type inside block

可修改为：

    const char *text = "hello";
    
    void(^test)(void) = ^(void){
        printf("%c",text[2]);
    };
    test();

第二、Block的内存分配区域

你可能不止一次的看到过Block有三种类型，即：

• _NSConcreteStackBlock：在栈上创建的Block对象
• _NSConcreteMallocBlock：在堆上创建的Block对象
• _NSConcreteGlobalBlock：全局数据区的Block对象

这里的globalBlock最容易实，只要定义一个全局的block即可：

static NSInteger g_count = 0;

void (^globalBlock) (void) = ^{
    NSLog(@"global block:%@",@(g_count));
};

@implementation TestBlockStructure

- (void)blockFire{
    globalBlock();
}

@end

这里还有一种情况会产生全局block：

- (void)blockFire{
    
    void(^myCustomBlk3)(void) = ^{
        NSLog(@"Global block");
    };

    
    myCustomBlk3();

}

即在函数体内定义了block，但是block不捕获外部变量时，其是global block。这里之所以是全局的block，猜测其原因为：block没有捕获外部变量，则其结构与内存分布是确定的，放在全局区域可以防止定义多个。

另外：函数体内带形参的block或使用了全局变量的block也是global的。

clang -rewrite-objc XXX.m，可以发现以上情况的共同特征是：block的结构未出现变化，即block的描述中只有size的情形，如下。

static struct __TestBlockStructure__blockFire_block_desc_2 {
  size_t reserved;
  size_t Block_size;
} __TestBlockStructure__blockFire_block_desc_2_DATA = { 0, sizeof(struct __TestBlockStructure__blockFire_block_impl_2)};

堆上的block如何定义呢？block被copy到堆上，发生在以下情形：

• 调用Block的copy方法
• 将Block作为函数返回值时（MRC时此条无效，需手动调用copy）
• 将Block赋值给__strong修改的变量时（MRC时此条无效）
• 向Cocoa框架含有usingBlock的方法或者GCD的API传递Block参数时

- (void)blockFire{
    __block int count = 100;
    //下面的myCustomBlk定义在栈上，然后被copy到了堆上，属于mallocBlock
    void (^myCustomBlk)(void) = ^{
        NSLog(@"In Block: %d", count++);
    };
    count++;
    
    //mallocBlock
    myCustomBlk();
}

这里的myCustomBlk咋看之下，似乎应该是个stackBlock，但其实调试发现它是mallocBlock，这是因为在ARC下，对对象的默认修饰符为__strong，满足上述的第三条原因。

那么如何在栈上创建block？

由上面的经验，我们可以用__weak来修饰一个block：

- (void)blockFire{
    __block int count = 100;

    __weak void(^myCustomBlk2)(void) = ^{
        NSLog(@"In Block: %d", count++);
    };
   
    myCustomBlk2();
}

此时你会发现myCutomBlk2是stackblock。

第三、Xcode调试block的深坑

如果你写了如下一段代码，你去调试，结果可能会令你震惊：

typedef void(^bt)(void);

@interface TestBlockWithWeak()

@property(nonatomic,weak)bt a;
@property(nonatomic,strong)bt b;
@property(nonatomic,strong)bt c;

@end

@implementation TestBlockWithWeak

- (void)method1{
    int a = 0;
    __block int i=0;
    __weak void(^bt)(void) = ^{
        i++;
        NSLog(@"num:%@",@(i));
    };
    
    self.a = bt;
    self.b = bt;
    self.c = bt;
}


@end

如图，断点后你会发现，这里的bt，self.a, self.b, self.c的地址都是同一个

如果你觉得惊讶，那你就错了，还有更惊讶的：

这里你会发现bt，self.a, self.b, self.c，前两者是stackBlock，后两个是mallocBlock，栈block和堆block的地址怎么可能相等？？？？？？？

真想如下：

我们用NSLog来输出上述四个对象的地址，其结果如下：

<__NSStackBlock__: 0x7ffeefbff5c8>,
<__NSStackBlock__: 0x7ffeefbff5c8>,
<__NSMallocBlock__: 0x124f03a70>,
<__NSMallocBlock__: 0x124f13c80>

这个结果是符合我们预期的，bt和self.a 没有引起copy操作，在栈上，且为同一个，self.b,self.c是对bt的copy操作，地址在堆上，且不相同。

那么上述断点后的结果地址相同如何解释？

我们去打印block的_FunPtr的地址，发现这个函数指针的地址和上面展示的block“对象地址”相同。可见，xcode在这里做了手脚，将函数指针的地址表示成了block的地址，这里一定要注意，否则会造成各种理解错误。