根据内存地址变化可见，__block所起到的作用就是只要观察到该变量被 block 所持有，就将“外部变量”在栈中的内存地址放到了堆中。进而在block内部也可以修改外部变量的值。原先地址是否直接抛弃不用再继续研究

Block不允许修改外部变量的值,Apple这样设计，应该是考虑到了block的特殊性，block也属于“函数”的范畴，变量进入block，实际就是已经改变了作用域。在几个作用域之间进行切换时，如果不加上这样的限制，变量的可维护性将大大降低。又比如我想在block内声明了一个与外部同名的变量，此时是允许呢还是不允许呢？只有加上了这样的限制，这样的情景才能实现。

编译器做了什么？

一般使用的话，到这个程度已经足够了。我们已经知道了加上__block关键字之后，编译器通过将外部变量同block一起copy到了堆区，并且将“外部变量”在栈中的内存地址改为了堆中的新地址。
如果多问一个为什么？编译器是怎么做到这样的呢？我们通过clang将 OC 代码转换为 C++ 文件：

clang -rewrite-objc 源代码文件名

转译的时候遇到了几个问题：

#import <UIKit/UIKit.h>

**        ^**

1 error generated.

通过Objective-C编译成C++代码报错文中的方式可以转译，但是又出现了新的问题;
2.clang: warning: using sysroot for 'iPhoneSimulator' but targeting 'MacOSX'
这个问题没能解决，然后换了个思路转译，
新代码如下

//坑爹的是NSLog都不能使用,不然会报NSLog错误。说白了还是工具不熟悉，为什么会出现这个情况都不清楚。有机会再看吧

int main() {

        int  a = ;

        void(^testBlock)(void) = ^(void){

        };

        testBlock();

        __block int b = ;

        void(^testBlockb)(void) = ^(void){

            b = ;

        };

        testBlockb();

        return ;

}

int main() {

        int a = ;

        void(*testBlock)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));

        ((void (*)(__block_impl *))((__block_impl *)testBlock)->FuncPtr)((__block_impl *)testBlock);

    __attribute__((__blocks__(byref))) __Block_byref_b_0 b = {(void*),(__Block_byref_b_0 *)&b, , sizeof(__Block_byref_b_0), };

        void(*testBlockb)(void) = ((void (*)())&__main_block_impl_1((void *)__main_block_func_1, &__main_block_desc_1_DATA, (__Block_byref_b_0 *)&b, ));

        ((void (*)(__block_impl *))((__block_impl *)testBlockb)->FuncPtr)((__block_impl *)testBlockb);

        return ;

}

//加__block前的声明变量是这样的

int a = ;

//加__block后的声明变量是这样的

__attribute__((__blocks__(byref))) __Block_byref_b_0 b = {

  (void*),

  (__Block_byref_b_0 *)&b,

  ,

   sizeof(__Block_byref_b_0),

  };

实际上，block有三种类型，

• 全局块(_NSConcreteGlobalBlock)
• 栈块(_NSConcreteStackBlock)

• 堆块(_NSConcreteMallocBlock)
  这三种block各自的存储域如下图：

• 简而言之，存储在栈中的Block就是栈块、存储在堆中的就是堆块、既不在栈中也不在堆中的块就是全局块。（这听起来似乎与文章上半部分的说明有冲突呢？其实并不然）

那么，我们如何判断这个block的存储位置呢？
（1）Block不访问外界变量（包括栈中和堆中的变量）
Block 既不在栈又不在堆中，在代码段中，ARC和MRC下都是如此。此时为全局块。(_NSConcreteGlobalBlock)
（2）Block访问外界变量
MRC 环境下：访问外界变量的 Block 默认存储栈中。
ARC 环境下：访问外界变量的 Block 默认存储在堆中（实际是放在栈区，然后ARC情况下自动又拷贝到堆区），自动释放。

ARC下，访问外界变量的 Block为什么要自动从栈区拷贝到堆区呢？
栈上的Block，如果其所属的变量作用域结束，该Block就被废弃，如同一般的自动变量。当然，Block中的__block变量也同时被废弃。如下图：

blk = [[[[blk copy] copy] copy] copy];

// 经过多次复制，变量blk仍然持有Block的强引用，该Block不会被废弃。

2.__block变量与__forwarding

在copy操作之后，既然__block变量也被copy到堆上去了, 那么访问该变量是访问栈上的还是堆上的呢?__forwarding 终于要闪亮登场了，如下图：