上一篇文章研究了一下Block的存储域，这一篇文章我们来研究下__block变量的存储域。
一、__block变量不能声明为全局变量
当我们将__block声明为全局变量的时候，代码如下：
// 声明为全局变量
__block int global_val = 10;
int main(int argc, const char * argv[]) {
...
return 0;
}
会报错，报错信息为__block attribute not allowed, only allowed on local variables。
为什么会报错呢？其实也比较容易理解，__block这个属性的出现就是为了解决Block内部不能修改局部变量的问题。可是全局变量没有这个问题，就不要多此一举了。
二、__block变量的存储域
从第一节的报错信息__block attribute not allowed, only allowed on local variables可以看出，__block属性只能用来修饰局部变量，那么下面就引出了__block变量的存储域以及Block从栈复制到堆时对__block变量产生的影响。
2.1 __block存储在栈上
我们首先来想象一种场景，__block属性修饰的局部变量(非对象)，从创建到到被栈BLock使用时，__block变量时存储在哪个区域呢？
先说答案，以下两种情况，__block存储在栈上：
- (非对象)刚初始化时；
- 被栈BLock使用时。
2.1.1 (非对象)刚初始化时
__block变量刚初始化时的代码如下：
int main(int argc, const char * argv[]) {
// 声明为局部变量
__block int val = 10;
// 这个局部变量作为地址对比
int num = 10;
NSLog(@"__block变量的地址：%p -- 局部变量的地址：%p", &val, &num);
return 0;
}
控制台打印语句如下：
__block变量的地址：0x7ffeefbff578 -- 局部变量的地址：0x7ffeefbff55c
我们可以看到，__block变量的地址和普通局部变量的地址是挨着的，所以刚初始化时的__block变量存储在栈上。
2.1.2 被栈Block使用
__block变量被栈BLock使用的代码如下：
int main(int argc, const char * argv[]) {
// 声明为局部变量
__block int val = 10;
// 这个局部变量作为地址对比
int num = 10;
void (^__weak block)(void) = ^{
val = 11;
};
block();
NSLog(@"__block变量的地址：%p -- 局部变量的地址：%p", &val, &num);
return 0;
}
控制台打印语句如下：
__block变量的地址：0x7ffeefbff588 -- 局部变量的地址：0x7ffeefbff56c
我们可以看到，__block变量的地址和普通局部变量的地址是挨着的，所以被栈Block使用的__block变量存储在栈上(__block变量没有被强引用)。
2.2 __block存储在堆上
我们知道了存储在栈上的__block变量被栈BLock使用时，__block变量并没有拷贝到堆上，那么__block变量被堆BLock使用时，会发生什么呢？我们来探究一下。
上代码：
int main(int argc, const char * argv[]) {
// 声明为局部变量
__block int val = 10;
// 这个对象作为地址对比
People *people = [[People alloc] init];
void (^block)(void) = ^{
val = 11;
};
block();
NSLog(@"__block变量的地址：%p -- 对象的地址：%@", &val, people);
return 0;
}
控制台打印如下：
__block变量的地址：0x100704828 -- 对象的地址：<People: 0x100706b90>
我们可以看到，当存储在栈上的__block变量被栈BLock使用时，__block变量被拷贝到了堆上（被堆BLock强引用）。
我们把NSLog(@"__block变量的地址：%p -- 对象的地址：%@", &val, people);这句代码clang一下，看看到底发生了什么：
NSLog((NSString *)&__NSConstantStringImpl__var_folders_0r_hkkmpct143n4wd3xxk0l1j8c0000gn_T_main_c842f2_mi_0, &(val.__forwarding->val), people);
重温一下__block变量的结构体：
struct __Block_byref_val_0 {
void *__isa;
__Block_byref_val_0 *__forwarding;
int __flags;
int __size;
int val;
};
我们可以看到，使用val这个__block变量时，其实是使用了val.__forwarding->val这个值。
所以我们可以猜测,当__block变量初始化在栈上时，__forwarding这个成员变量一开始指向的是栈上的__block变量，但是在__block变量拷贝了一份在堆上时，__forwarding成员变量指向了堆上的__block变量。所以不管是在Block内还是BLock外我们访问的都是同一个__block变量。
2.2 __block被多个堆BLock使用
其实我们已经探讨好了__block变量的存储域，就是栈和堆。那么一个__block变量被多个堆Block使用时会发生什么呢？
其实__block变量本质上是一个对象，所以每被一个堆BLock使用时，就代表被强引用一次，__block变量的引用计数+1，这个和OC的引用计数式内存管理是完全一样的。
最后我们用一个表格来结束今天的文章。
BLock从栈赋值到堆时对__block变量产生额影响：
| __block变量的配置存储域 | BLock从栈赋值到堆时的影响 |
|---|---|
| 栈 | 从栈拷贝到堆上并被Block持有，__forwarding指向堆上的__block对象 |
| 堆 | 被Block持有，引用计数+1 |
网友评论