__block说明符

int val = 0;
void (^blk)(void) = ^{val = 1};
blk();
以上代码在编译的时候会发生错误。

若想在Block语法的表达式中将值赋值给在Block语法外声明的自动变量,需要在该自动变量上附加__block说明符。

只是使用C语言的字符串字面量数组,而并没有向截获的自动变量赋值。因此看似没有问题。但
实际上会产生以下编译的问题。

const char text[] = "hello";
void (^blk)(void) = ^{
printf("%c\n", text[2]);
};
这是因为在现在的Blocks中,截获自动变量的方法并没有实现对C语言数组的截获。
这个时候,使用指针可以解决该问题。

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

=========

block提供了类似c++或者oc类生成实例或者对象来保存变量值的方法

block语法
^ 返回值类型 参数列表 表达式

可以省略返回值类型
^ 参数列表 表达式
如果不使用参数列表,也可以省略参数列表
^ 表达式

===
声明block类型变量
int (^func)(int)

block类型变量可以有如下用途:
自动变量
函数参数
静态变量
静态全局变量
全局变量
=====

带有自动变量值在block中表现为截获自动变量值

//
id array = [[NSMutableArray alloc] init];
void (^blk)(void) = ^{
id obj = [[NSMutableArray alloc] init];
[array addObject:obj];
}
调用变更对象的方法不会产生问题。
而向截获的变量array赋值则会产生问题。

分析如下:

该代码截获的array 为 NSMutableArray类的对象。其实截获的就是改对象的指针。而使用截获的对象的指针就没有任何问题。

================
MyObject *obj = [[MyObject alloc] init];
[obj method:10];

源代码转换如下:

MyObject *obj = objc_msgSend(objc_getClass("MyObject"), sel_registerName("alloc"));
obj = objc_msgSend(obj, sel_registerName("init"));
obj = objc_msgSend(obj, sel_registerName("method:"), 10);

其实所谓block就是objective-C对象
id变量用于存储objective-C对象

+++++++++++++
截获自动变量的值,意味着在执行block语法时,block语法表达式所使用的自动变量被保存到block结构体实例中。

因为在实现上不能改写被截获的自动变量的值,所以在编译器编译过程中检测给被截获的自动变量的赋值的操作的时候,便产生编译错误。

不过这样一来,无法在block中保存值了。极为不便。

解决这个问题有两种方法。第一种,C语言中有一个变量允许Block改写值。
静态变量
静态全局变量
全局变量

++++++++

__block 存储域类说明符
C语言有如下:
typedef
static
extern
auto
register

__block 类似于auto register static 用于设置将变量的值设置到那个存储区域

Block转换为Block的结构体类型的自动变量

__block变量转换为__block结构体类型得自动变量
所谓结构体类型得实例变量,即是栈上生成的该结构体的实例。

通过之前的说明可知,Block也是objective-C对象,该Block类为_NSConcreteStackBlock,该类的对象设置在栈上。

_NSConcreteGlobalBlock,与全局变量一样,设置在数据区域。

_NSConcreteMallocBlock,设置在堆中。

在使用全局变量的地方不能使用自动变量,所以不存在对自动变量的截获。

block超出变量作用域可以存在的理由
__block的变量的结构体成员变量的__forwarding
原因如下:

配置在全局变量上的block,从变量作用域外也可以通过指针,安全使用。
但设置在栈的Block,如果其所属的变量作用域结束,该Block就被废弃。
由于__block的作用域也在栈上,如果所属的变量作用域结束,该__block变量也会被废弃。

Blocks提供了将Block和__block从栈上复制到堆上的方法解决该问题。
将配置在栈的变量复制到堆上,这样即使Block语法标记的变量的作用域结束,堆上的Block的还可以继续存在。

使用__block变量的block从栈上复制到堆上,__block变量也会受影响。

使用__block变量的Block持有__block变量。如果,Block被废弃,持有的__block变量也被释放。

无论是在Block语法中,Block语法外使用__block变量,还是__block变量配置在
堆栈上,都可以顺利的访问同一个block变量。

截获对象

Block循环引用

如果在Block中使用附有strong修饰的对象类型的自动变量,那么当Block从栈上复制到堆上时,该对象为Block所拥有。这样容易引起,循环引用的问题。

MyObject 类对象的Block类型成员变量blk_持有赋值为Block的强引用。即MyObject类对象持有Block.init实例方法中执行的Block语法中使用附有_strong修饰符的id类型变量self.并且由于Block语法赋值在了成员变量blk中,因此通过Block语法生成在栈的Block此时由栈复制到堆,并持有所使用的self.self持有Block,Block持有self.这正是循环引用。

为避免循环引用,可声明附有__weak修饰符的变量,并将self赋值使用。

  • (id)init
    {
    self = [super init];
    id __weak tmp = self;

blk_ = ^{
NSLog(@"self = %@", tmp);
return self;
};
}

另外还可以使用__block变量来避免循环引用。

你可能感兴趣的:(__block说明符)