以前看书的时候，书上说什么那就是什么，虽然可能不太理解，但还是会给它定义一个「正确」的标准。但是这样会很没有意思，就像是被别人牵着鼻子走似得。如果抱着怀疑的态度去看待，可能会有意思很多，而且还能学到印象深刻的东西。
比如像下面这段代码会不会奔溃的问题：
void (^block)();
BOOL condition = /*YES or NO*/;
if (condition) {
block = ^{
NSLog(@"Block A");
};
} else {
block = ^{
NSLog(@"Block B");
};
}
block();
官方的解释是：定义在 if 及 else 语句中的两个块都分配在栈内存中。编译器会给每一个块分配好内存，然而等离开了响应的范围之后，编译器就有可能把分配的块给覆写掉。所以执行结果是有时会奔溃，有时不会奔溃。
疑惑点：
- 条件语句中的 Block 赋值给 block 变量，而 block 变量是在条件语句之外的，怎么可能会在 if 语句结束的时候就被销毁呢？
- 这个 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 环境下。
