唐巧blcok的文章笔记

corefondation的源码

corefondation的源码

block的类型

• _NSConcreteGlobalBlock 全局的静态 block，不会访问任何外部变量
• _NSConcreteStackBlock 保存在栈上的block,当函数返回时会被销毁
• _NSConcreteMallocBlock 保存在堆中的 block，当引用计数为 0 时会被销毁

block 的对象模式

打开Block_private.h的头文件，里面有block的数据结构

struct Block_layout {
  void *isa;
  volatile int32_t flags; // contains ref count
  int32_t reserved; 
  void (*invoke)(void *, ...);
  struct Block_descriptor_1 *descriptor;
  // imported variables
};

};

// 参数说明
1. isa就是所有对象一样的isa指针
2.flags 用于按bit标示的block的附加信息
3. reserved 保留变量，用于复制外部的数值
4. invoke 函数指针，用户回调
5.descriptor，表示改block的描述信息,比如size， reserved变量

struct Block_descriptor {
  uintptr_t reserved;
  uintptr_t size;
  void (*copy)(void *dst, const void *src);
  void (*dispose)(const void *);
};

使用clang 编译oc文件的命令

• clang -rewrite-objc block.c

测试

1. 新建一个main.c的文件
2. 编写代码如下

int main()
{
      void(^block)(void) = ^{ 
        printf("Hello, World!\n"); 
       };

       block();

   return 0;
}
};

3. 使用clang -rewrite-objc main.c命令生成main.cpp文件，打开后可以看到block的结构体如下

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("Hello, World!\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)};

可以看出该blokc是一个_NSConcreteStackBlock,数据结构开始部分是一个自己的本身地址，所以block也可以看成是一个类

block对象的复制

我们知道，在我们在block外面定义一个变量，在block内部访问这个变量，他是不会变的

int main()
{
        int number = 5;
      void(^block)(void) = ^{ 
        printf("Hello, World!\n"); 
         printf("nubmer = %i\n", number);
       };

       number = 4;
       block();

   return 0;
}

这里输出依然是5，改变number的值不会block内存的值改变，这是为什么？我们打开cpp文件。

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

可以看到block内部有number的成员变量，把创建blcok动作那一刻，对nubmer的值拷贝了一份到自己的结构体中，所以这就是为什么number不会发生改变的原因

__block 变量的影响

1. 基于上面的例子，当我们用__block修饰number时，可以看出block是会发生改变的,我们看下block的结构

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __Block_byref_number_0 *number; // by ref
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_number_0 *_number, int flags=0) : number(_number->__forwarding) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

源码增加了__Block_byref_number_0的结构体，这个用来保存我们要改变的number变量，并把_number->__forwarding赋值给nubmer
我们看下__Block_byref_number_0的数据结构

struct __Block_byref_number_0 {
  void *__isa;
__Block_byref_number_0 *__forwarding;
 int __flags;
 int __size;
 int number;
};

1. 可以得出block是保存__Block_byref_number_0结构体的指针，可以起到修改外部变量的作用
2. __Block_byref_number_0里面有isa指针，所以__Block_byref_number_0也是一个对象
3. __forwarding的指针指向自己本身，保存有nubmer的值，所以当__Block_byref_number_0发生改变时，__Block_byref_number_0的number值也会发生改变

_NSConcreteMallocBlock的block实现

1. 当block被调用到其copy方法时，系统会把block赋值到堆上，而产生_NSConcreteMallocBlock的block。

变量的复制

1. 对于block外的变量引用，block默认是将复制其数据结构来实现访问的。如果这个对象是引用类型，block的计数器会加1，这就是为什么会发生循环引用的原因，因为一个类有block的引用，然后block也有对这个类引用，会形成一个闭环阻塞，从而造成内存泄漏。

arc对block类型的影响

1. 在arc开启时，只有有_NSConcreteGlobalBlock 和 _NSConcreteMallocBlock两种类型的block。
2. 原本的_NSConcreteStackBlock会变成_NSConcreteMallocBlock两种类型的block类型的来替代