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的地址,这里一定要注意,否则会造成各种理解错误。