老生常談之Block

老生常談之Block

前面有一篇介紹Block的博客,主要介紹了Block的簡單使用技巧。這篇博客主要更加深入地了解一下Block。包括:Block的實現、__Block的原理以及Block的存儲域三方面。

Block的實現

首先我們使用Xcode創建一個Project,點擊File-->New-->Project,選擇macOS中Application的Command Line Tool,然后設置Project Name即可。你好發現這個工程值包含了一個main.m文件,然后我們做如下更改(更改后的代碼如下):

#import <stdio.h>

int main(int argc, const char * argv[]) {
    printf("Hello World");
    return 0;
}

這個是我們最常見的C代碼,導入stdio.h,然后打印出來Hello World。接下來我們寫一個最簡單的block,沒有返回值,沒有傳入參數:

#import <stdio.h>

int main(int argc, const char * argv[]) {
    
    void (^blk)(void) = ^{
        printf("Hello Worldddd");
    };
    blk();
    return 0;
}

打印出來的結果相當于調用了blk輸出的結果。接下來我們在item中跳轉到main.m所在文件夾然后執行如下命令:

clang -rewrite-objc main.m

你會發現在當前文件夾下生成了一個.cpp文件,它是經過clang編譯器編譯之后的文件,打開之后里面大概有5百多行,其實我們看下面的這些代碼就足夠了:

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
#ifndef BLOCK_IMPL
#define BLOCK_IMPL
struct __block_impl {
    void *isa;
    int Flags;
    int Reserved;
    void *FuncPtr;
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {

        printf("Hello Worldddd");
    }

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
int main(int argc, const char * argv[]) {

    void (*blk)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
    ((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
    return 0;
}

其中包含三個結構體:

__main_block_impl_0、__block_impl、__main_block_desc_0

和兩個方法:

__main_block_func_0、main

main就是我們寫的main函數。
至此,你能知道的就是:Block看上去很特別,其實就是作為及其普通的C語言源代碼來處理的。編譯器會把Block的源代碼轉換成一般的C語言編譯器能處理的源代碼,并作為極為普通的C語言源代碼被編譯。
接下來對編譯的內容來一個分解,首先是

^{printf("Hello Worldddd")};

變換后的源代碼如下:

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {

        printf("Hello Worldddd");
    }

也就是現在變成了一個靜態方法,其命名方式為:Block所屬的函數名(main)和該Block語法在函數出現的順序值(0)來給經過clang變換的函數命名。該方法的參數相當于我們在OC里面的指向自身的self。我們看一下該參數的聲明:

struct __main_block_impl_0 *__cself

你會發現它其實是一個結構體,該結構體的聲明如下:

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

該結構體中你會發現里面有一個構造函數,你忽略構造函數,會發現該結構體就很簡單了,只是包含了impl和 Desc兩個屬性變量。其中impl也是一個結構體,它的結構如下:

struct __block_impl {
    void *isa;
    int Flags;
    int Reserved;
    void *FuncPtr;
};

從屬性變量的名字我們可以猜測出該結構體各個屬性的含義:

  1. isa:isa指針,指向父類的指針。
  2. Flags:一個標記
  3. Reserved:預留區域,用于以后的使用。
  4. FuncPtr:這個很重要,是一個函數指針。后面會詳細說明它的作用。

第二個變量是Desc,也是一個結構體:

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};

這個結構體就比較簡單了,一個預留位,一個是指代該Block大小的屬性,后面又包含了一個該實例:

__main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};

預留位為0,大小為傳入結構體的大小。接下來就是很重要的構造函數了:

 __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }

其中的&_NSConcreteStackBlock用于初始化impl的isa指針;flags為0;FuncPtr是構造函數傳過來的fp函數指針;Desc為一個block的描述。到這里三個結構體和一個函數就介紹完了。接下來看一下main函數里面上述構造函數是如何調用的:

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

感覺好復雜,我們先做一個轉換:

struct __main_block_impl_0 tmpeImpl = __main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA)

struct __main_block_impl_0 *blk = &tmpeImpl;

也就是說把結構體的實例的指針賦值給blk。接下來再看一下構造函數的的初始化,其實賦值就變成了這樣:

impl.isa = &_NSConcreteStackBLock;
impl.Flags = 0;
impl.FuncPtr = __main_block_func_0;
Desc = &__main_block_desc_0_DATA;

現在在看一下調用block的那句代碼:

blk();

轉換成了:

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

這個轉換不是太明白,但是知道他的作用就是把blk當做參數傳進去,調用的FuncPtr所指向的函數,也就是__ block _ block _ func _ 0。

到這里就大體了解了Block的實現,其實就是C的幾個結構體和方法,經過賦值和調用,進而實現了Block。
另外Block其實實質上也是OC的對象。

__Block的原理

先看一個簡單的例子:

#import <stdio.h>

int main(int argc, const char * argv[]) {
    int i = 3;
    void (^blk)(void) = ^{
        printf("Hello World,%d",i);
    };
    blk();
    return 0;
}

使用clang編譯后是這樣的:


struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  int i;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _i, int flags=0) : i(_i) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int i = __cself->i; // bound by copy

        printf("Hello World,%d",i);
    }

int main(int argc, const char * argv[]) {
    int i = 3;
    void (*blk)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, i));
    ((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
    return 0;
}

也就是在main函數調用的時候把i傳到了構造函數里,然后通過i(_i)對結構體的屬性變量i賦值,i變量現在已經成為了結構體的一個樹形變量。在構造函數執行時把i賦值。在 __ main _ block_func _ 0里面通過 __ cself調用,這個變量實際是在聲明block時,被復制到了結構體變量i,因此不會影響變量i的值。當我們嘗試在Block中去修改時,你會得到如下錯誤:

Variable is not assignable(missing __block type specifier)

提示我們加上__block,接下來我們將源代碼做如下修改:

int main(int argc, const char * argv[]) {
    __block int i = 3;
    void (^blk)(void) = ^{
        i = i + 3;
        printf("Hello World,%d",i);
    };
    blk();
    return 0;
}

運行一下你會發現你成功對i的值進行了修改!用clang進行編譯,結果如下:

struct __Block_byref_i_0 {
  void *__isa;
__Block_byref_i_0 *__forwarding;
 int __flags;
 int __size;
 int i;
};

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __Block_byref_i_0 *i; // by ref
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_i_0 *_i, int flags=0) : i(_i->__forwarding) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  __Block_byref_i_0 *i = __cself->i; // bound by ref

        (i->__forwarding->i) = (i->__forwarding->i) + 3;
        printf("Hello World,%d",(i->__forwarding->i));
    }
static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {_Block_object_assign((void*)&dst->i, (void*)src->i, 8/*BLOCK_FIELD_IS_BYREF*/);}

static void __main_block_dispose_0(struct __main_block_impl_0*src) {_Block_object_dispose((void*)src->i, 8/*BLOCK_FIELD_IS_BYREF*/);}

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  void (*copy)(struct __main_block_impl_0*, struct __main_block_impl_0*);
  void (*dispose)(struct __main_block_impl_0*);
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0), __main_block_copy_0, __main_block_dispose_0};

int main(int argc, const char * argv[]) {
    __attribute__((__blocks__(byref))) __Block_byref_i_0 i = {(void*)0,(__Block_byref_i_0 *)&i, 0, sizeof(__Block_byref_i_0), 3};
    void (*blk)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_i_0 *)&i, 570425344));
    ((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
    return 0;
}

你會發現多了一個__ Block _ byref _i _ 0的結構體,然后多了兩個copy和dispose函數。
看一下main函數里面的i,此時也不再是一個簡單的基本類型int,而是一個初始化的 __ Block _ byref _ i _ 0的結構體,該結構體有個屬性變量為i,然后把3賦值給了那個屬性變量。該結構體還有一個指向自己的指針 __ forwarding,它被賦值為i的地址。
現在 __ main _ block _ func _ 0在實現中使用了指向該變量的指針,所以達到了修改外部變量的作用。

Block的存儲域

Block的存儲域有以下幾種:

  1. _ NSConcreteStackBlock,該類的對象Block設置在棧上
  2. _ NSConcreteGlobalBlock,該類的Block設置在程序的數據區(.data)域中。
  3. _ NSConcreteMallocBlcok,該類的Block設置在堆上
    下面這張圖展示了Block的存儲域:
Block的存儲域

我們前面看到的都是在Stack的Block,但是你可以在OC工程中打印一下你聲明的block的isa,你會發現它其實是Malloc的block,也就是在堆上的block。如圖:


堆上的block

還有一種情況是Global的block:


global的block

在ARC中,只有NSConcreteGlobalBlock和NSConcreteMallockBlock兩種類型的block。因為我們最簡單的block在工程中打印出來的都是MallocBlock。也許是因為蘋果把對象都放到了堆管理,而Block也是對象,所以也放到了堆上。

此時我們也許會有個疑問:Block超出了變量作用域為什么還能存在呢?
對于Global的Block,變量作用域之外也可以通過指針安全使用,但是設置在棧上的就比較尷尬了,作用域結束后,Block也會 被廢棄。為了使Block超出變量作用域還可以存在,Block提供了將Block和 __ block變量從棧上復制到堆上的方法來解決這個問題。這樣就算棧上的廢棄,堆上的Block還可以繼續存在。

看一下對Block進行復制,結果如何:

Block進行copy操作

如果對Block進行了copy操作,__ block的變量也會受到影響,當 __ block的變量配置在棧上,復制之后它將從棧復制到堆上并被Blcok持有,如果是堆上的 __ block變量,Blcok復制之后該變量被Block持有。
如果兩個block(block1,block2)同時都是用 __ block變量,如果block1被復制到了堆上,那么 __ block變量也會在block1復制到堆的同時復制到堆上,當block2再是用到 __ block變量的時候,只是增加堆上 __ block變量的引用計數,不會再次復制。如果堆上的block1和block2被廢棄了,那么它所是用的 __ block變量也就被釋放了(如果block1被廢棄,而block2沒有被廢棄,那么 __ block變量的引用計數-1,直到最后使用 __ block變量的block被廢棄的同時,堆上的 __ block也會被釋放)。
理解了上面剛才說的復制之后,現在回過來思考另一個問題: __ block的時候轉換的結構體中的 __ forwarding指針有什么作用呢?(下面代碼中的 __ forwarding)

struct __Block_byref_i_0 {
  void *__isa;
__Block_byref_i_0 *__forwarding;
 int __flags;
 int __size;
 int i;
};

其實是這樣的:棧上的 __ block變量用結構體實例在 __ block變量從棧復制到堆上的時候,會將成員變量 __ forwarding的值替換為復制目標堆上的 __ block變量用結構體實例的地址。通過該操作之后,無論是在Block語法中、Block語法外使用 __ block變量,還是 __ block變量配置在棧上或者堆上,都可以順利地訪問同一個 __ block變量。

以上便是對block的進一步介紹,主要參考了《Objective-C高級編程 iOS與OS X多線程和內存管理》一書。

轉贊請注明來源:http://www.lxweimin.com/p/c7c8ad987e5e

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 228,983評論 6 537
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 98,772評論 3 422
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 176,947評論 0 381
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 63,201評論 1 315
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 71,960評論 6 410
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 55,350評論 1 324
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,406評論 3 444
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,549評論 0 289
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 49,104評論 1 335
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 40,914評論 3 356
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 43,089評論 1 371
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,647評論 5 362
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 44,340評論 3 347
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 34,753評論 0 28
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 36,007評論 1 289
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 51,834評論 3 395
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 48,106評論 2 375