这段代码到底会不会奔溃

以前看书的时候，书上说什么那就是什么，虽然可能不太理解，但还是会给它定义一个「正确」的标准。但是这样会很没有意思，就像是被别人牵着鼻子走似得。如果抱着怀疑的态度去看待，可能会有意思很多，而且还能学到印象深刻的东西。

比如像下面这段代码会不会奔溃的问题：

    void (^block)();
    BOOL condition = /*YES or NO*/;
    if (condition) {
        block = ^{
            NSLog(@"Block A");
        };
    } else {
        block = ^{
            NSLog(@"Block B");
        };
    }
    
    block();

官方的解释是：定义在 if 及 else 语句中的两个块都分配在栈内存中。编译器会给每一个块分配好内存，然而等离开了响应的范围之后，编译器就有可能把分配的块给覆写掉。所以执行结果是有时会奔溃，有时不会奔溃。

疑惑点：

1. 条件语句中的 Block 赋值给 block 变量，而 block 变量是在条件语句之外的，怎么可能会在 if 语句结束的时候就被销毁呢？
2. 这个 block 是分配在栈上么？

且来调试一番，我们在 block() 处下一个断点，请看：

__NSGlobalBlock__.png

咦？是 __NSGlobalBlock__ 类型的, 好像被骗了！全局类型的 Block 分配在全局内存区域，会存在于应用程序的整个生命周期，是不会被释放的。

再来看一个例子：

    void (^block)();
    int i = 0;
    BOOL condition = /*YES or NO*/;
    if (condition) {
        block = ^{
            NSLog(@"Block A %d", i);
        };
    } else {
        block = ^{
            NSLog(@"Block B %d", i);
        };
    }
    
    block();

同样断点调试一下：

__NSMallocBlock__.png

什么鬼？又变成 __NSMallocBlock__ 类型了。这里只是让 Block 捕获了一个局部变量 i 怎么就分配到堆内存上去了呢？

我们来进一步分析一下，单独打印这么一段代码：

NSLog(@"%@", [^{NSLog(@"Block A %d", i);} class]);

结果是：

__NSStackBlock__

有没有「全家福」的赶脚？以上类型凑齐了 Block 上层可见的三种类型。

现在我们可以来解释一下，这三种类型是如何演变的。

    block = ^{ NSLog(@"Block A");};

上述代码在 Block 没有捕获外部变量的时候，默认是全局类型的，而当捕获分配在栈上的局部变量 i 时，为了照顾 i 的作用域，就把自己变为了栈类型。

而从栈类型到堆类型是因为执行如下赋值操作，Block 默认会进行一次 copy 操作，把栈上(等式右边)的 Block 复制到堆。

  block = ^{ NSLog(@"Block B %d", i);};

所以我认为正确的答应是：永远不会奔溃。

当然我们讨论的以上情况是在 ARC 环境下。