1.Block的种类

block的常见类型有3种：
__NSGlobalBlock__（全局）
__NSStackBlock__（栈）
__NSMallocBlock__（堆）
其中前2种在Block.h中声明，后1种在Block_private.h中声明.

BLOCK_EXPORT void * _NSConcreteStackBlock[32];
BLOCK_EXPORT void * _NSConcreteMallocBlock[32];
BLOCK_EXPORT void * _NSConcreteAutoBlock[32];
BLOCK_EXPORT void * _NSConcreteFinalizingBlock[32];
BLOCK_EXPORT void * _NSConcreteGlobalBlock[32];
BLOCK_EXPORT void * _NSConcreteWeakBlockVariable[32];

(_NSConcreteFinalizingBlock,_NSConcreteAutoBlock,_NSConcreteWeakBlockVariable是在GC环境下使用的,这些我们就不讨论了)

int main(int argc, const char * argv[]) {

    @autoreleasepool {

        int i = 10;

        void (^strongBlock)() = ^{i;};

        __weak void (^weakBlock)() = ^{i;};

        void (^stackBlock)() = ^{};

        // ARC情况下

        // 创建时，都会在栈中
        // <__NSStackBlock__: 0x7fff5fbff730>
        NSLog(@"%@", ^{i;});

        // 因为strongBlock为strong类型，且block内部捕获外部变量,赋值时系统会自动对block进行了copy,将NSStackBlock类型的block转换成NSMallocBlock类型的block
        // <__NSMallocBlock__: 0x100206920>
        NSLog(@"%@", block);

        // 如果是weak类型的block，不会自动进行copy
        // <__NSStackBlock__: 0x7fff5fbff728>
        NSLog(@"%@", weakBlock);

        // 如果block是strong类型，并且没有捕获外部变量(或者用到全局变量,全局静态变量,局部静态变量)，那么就会转换成__NSGlobalBlock__
        // <__NSGlobalBlock__: 0x100001110>
        NSLog(@"%@", stackBlock);

    }
    return 0;
}

block在ARC环境下类型判断标准:
1.block没有捕获外部变量,或者用到了全局变量,全局静态变量,局部静态变量,是__NSGlobalBlock__类型
2.block用到自动变量且用正常变量来接收这个block,则是__NSMallocBlock__类型
3.block用到自动变量且用weak变量来接收这个block,则是__NSStackBlock__类型

备注:
block用到自动变量初创之时都是__NSStackBlock__类型,
在ARC环境下赋值给正常变量时,系统会自动将block拷贝到了堆上,__NSStackBlock__类型变成__NSMallocBlock__类型(这个转换过程比较复杂,后面会详细的说)
在MRC环境下赋值给正常变量时,系统则不会自动将block拷贝到了堆上

2.Block内外关系

static int a;//全局或者全局静态都一样
- (void)test
{
    ^{
       a;
     };
}//不向block内传递任何东西(因为全局或者全局静态作用域广,任何时候用到变量a都是同一个变量,block用到变量a当然也是同一个)

- (void)test
{
    static int a;
    ^{
        a = 10;
     };
}//向block内传地址(局部静态变量作用域有限,block记录了局部静态变量的地址,确保了block内外用到的变量a是同一个)

- (void)test
{
    int a;
    ^{
       a;
     };
}//向block内传值

- (void)test
{
   __block int a;
    ^{
        a = 10;
     };
}//向block内传递构造的结构体__Block_byref

- (void)test
{
    NSObject * a;
    ^{
       a;
     };
}//向block内传值

- (void)test
{
   __block NSObject * a;
    ^{
        a;
     };
}//向block内传递构造的结构体__Block_byref

可以看出 __block修饰的基础类型和对象类型都会构造__Block_byref结构体再传递.
构造__Block_byref结构体再传递的方式会很复杂,当然这也是block的精髓所在,后面会详细讲到

3.梳理

在ARC的环境下,对应的使用情况
__NSGlobalBlock__（全局）几乎不出现,使用起来也没什么用注意的,所以接下来的内容也不会再做说明
__NSStackBlock__（栈） 几乎不出现,但它是__NSMallocBlock__的前身,所以接下来的内容还会有提及
__NSMallocBlock__（堆）主要使用

参考文献:
Block技巧与底层解析 by tripleCC