一、block放在哪裡

我們針對不同情況來討論block的存放位置：

1.棧和堆

以下情況中的block位於堆中：

1. void foo()  
2. {  
3.     __block int i = 1024;  
4.     int j = 1;  
5.     void (^blk)(void);  
6.     void (^blkInHeap)(void);  
7.     blk = ^{ printf("%d, %d\n", i, j);};//blk在棧裡 
8.     blkInHeap = Block_copy(blk);//blkInHeap在堆裡 
9. }  
10. - (void)fooBar  
11. {  
12.     _oi = 1;  
13.     OBJ1* oj = self;  
14.     void (^oblk)(void) = ^{ printf("%d\n", oj.oi);};  
15.     void (^oblkInHeap)(void) = [oblk copy];//oblkInHeap在堆中 
16. } 

2.全域性區

以下情況中的block位於全域性區：

1. staticint(^maxIntBlock)(int, int) = ^(int a, int b){return a>b?a:b;};  
2. - (void)fooBar  
3. {  
4.      int(^maxIntBlockCopied)(int, int) =[maxIntBlock copy];  
5. }  
6. void foo()  
7. {  
8.      int(^maxIntBlockCopied)(int, int) = Block_copy(maxIntBlock);  
9. } 

需要注意的是，這裡複製過後的block依舊位於全域性區，實際上，複製操作是直接返回了原block物件。

二、block引用的變數在哪裡

 1.全域性區

全域性區的變數儲存位置與block無關：

1. staticint gVar = 0;  
2. //__block static int gMVar = 1; 
3. void foo()  
4. {  
5.     staticint stackVar = 0;  
6. //    __block static int stackMVar = 0; 
7. } 

注意：static變數是不允許新增__block標記的

2.堆疊

此時，你可能會問，當函式foo返回後，棧上的j已經回收，那麼blkInHeap怎麼能繼續使用它？這是因為沒有__block標記的變數，會被當做實參傳入block的底層實現函式中，當block中的程式碼被執行時，j已經不是原來的j了，所謂物是人非就是這樣吧~

另外，如果使用到變數j的所有block都沒有被複制至heap，那麼這個變數j也不會被複制至heap。

因此，即使將j++這一句放到blk()這句之前，這段程式碼執行後，控制檯列印結果也是：1024, 1。而不是1024, 2

三、其他特性

1.複製的行為

對block呼叫複製，有以下幾種情況：

1.對全域性區的block呼叫copy，會返回原指標，並且這期間不處理任何東西（至少目前的內部實現是這樣）；

2.對棧上的block呼叫copy，每次會返回新複製到堆上的block的指標，同時，所有__block變數都會被複制至堆一份(多次拷貝，只會生成一份)。

3.對已經位於heap上的block，再次呼叫copy，只會增加block的引用計數。

為什麼我們不討論retian的行為？原因是並沒有Block_retain()這樣的函式，而且objc裡面的retain訊息傳送給block物件後，其內部實現是什麼都不做。

2.objc類中的block複製

objc類例項方法中的block如果被複制至heap，那麼當前例項會被增加引用計數，當這個block被釋放時，此例項會被減少引用計數。

但如果這個block沒有使用當前例項的任何成員，那麼當前例項不會被增加引用計數。這也是很自然的道理，我既然沒有用到這個instance的任何東西，那麼我幹嘛要retian它？

我們要注意的一點是，我看到網上有很多人說block引起了例項與block之間的迴圈引用（retain-cycle），並且給出解決方案：不直接使用self而先將self賦值給一個臨時變數，然後再使用這個臨時變數。

但是，大家注意，我們一定要為這個臨時變數增加__block標記（多謝第三篇文章回帖網友的提醒）。

這一章我們以結果導向的方式來說明了各種情況下，block的記憶體問題，下一章，我將剖析執行時庫的原始碼，從根源闡述block的行為。也就是過程導向的方式了。