Block的實質以及實現(xiàn)

Block的實現(xiàn)是通過結構體的方式實現(xiàn)，在編譯的過程中，將Block生成對應的結構體，在結構體中記錄Block的匿名函數(shù)，以及使用到的自動變量，在最后的使用中，通過Block結構體實例訪問成員中存放的匿名函數(shù)地址調用匿名函數(shù)，并將自身作為參數(shù)傳遞。
所謂的匿名函數(shù)也不是完全匿名的，編譯時還是會按照匿名函數(shù)所在的方法、Block、順序命名，并記錄到Block結構體中。

將含有Block語法的源代碼變換為C++源代碼。

clang -rewrite-objc 源代碼文件名

執(zhí)行該命令后，會在源代碼文件路徑下生成一個與源代碼文件名稱相同后綴為.cpp的文件。

源文件和轉換后的文件.png

源代碼

int main() {
void (^block) (void) = ^ {
    printf("block\n");
};
block();
}

轉換后的代碼，將其中有效的信息提取出來。 如果看的比較暈可以結合文章末尾圖一起食用，效果更好。

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

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;
  }
};

static void __main_block_func_0(struct __main_block_impl_0 *__cself)     {

        printf("block\n");
    }

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() {
    void (*block) (void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
    ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
}

變換后的源代碼中也含有相同的表達式，通過Block使用的匿名函數(shù)實際上被作為最為簡單的C語言函數(shù)來處理，另外，根據(jù)Block語法所屬的函數(shù)名（此處為main）和該Block語法所在該函數(shù)出現(xiàn)的順序值（此處為0）來給經(jīng)clang變換的函數(shù)命名。

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {

    printf("block\n");
}

參數(shù)__cself 為 __main_block_impl_0 結構體的指針。

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;

//構造函數(shù)
  __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：__block_impl結構體。所有block結構體中都存在的成員。記錄著基本信息，isa類似對象中的isa指針，F(xiàn)uncPtr記錄著block對應的實現(xiàn)函數(shù)。

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

第二個成員變量Desc:__main_block_desc_0結構體。

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)};

初始化結構體的__main_block_impl_0結構體構造函數(shù)

  __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;
  }

__main_block_impl_0結構體構造函數(shù)構造函數(shù)的調用：

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

轉換下：

struct _main_block_impl_0 temp = 
__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA);
struct _main_block_impl_0 *block = &temp;

該源代碼將__main_block_impl_0結構體類型的自動變量，即棧上生成的__main_block_impl_0結構體實例的指針，賦值給__main_block_impl_0結構體指針類型的變量block。
其中__main_block_impl_0構造函數(shù)的參數(shù)一為：Block語法轉換的C語言函數(shù)指針。參數(shù)二是作為靜態(tài)全局變量初始化的_main_block_desc_0結構體實例指針。

以下為_main_block_desc_0結構體實例初始化部分代碼：

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

使用__main_block_impl_0結構體實例的大小進行出初始化。

使用該block：

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

去掉轉換部分等同：

（*block->impl.FuncPtr）(blcok);

簡單的函數(shù)指針調用函數(shù),由Block語法轉換的__main_block_func_0函數(shù)指針被賦值成員變量FuncPtr中，另外也說明了。_main_block_func_0函數(shù)的參數(shù)_cself指向Block值。在調用該函數(shù)的源代碼中可以看出Block正是作為參數(shù)進行傳遞。

• Block的實質即為Objective-C的對象。

最后奉上一張大圖:

原圖

block詳解.png

待續(xù)。

參考

《Objective-C高級編程》