Block详解一(底层分析)

Block专辑:

本篇博客不再讲述Block的基本定义使用，最近而是看了很多的block博客讲述的太乱太杂，所以抽出时间整理下block的相关底层知识，在讲述之前，提出几个问题，如果都可以回答出来以及知道原理，大神绕过，反之，希望本篇博客对大家面试或者block不熟悉者有所帮助，以后会不断更新博客，欢迎关注和指正！！！

blcok的原理是怎样的？本质又是什么？
__block的作用是什么？有什么使用注意点？
block的属性修饰词为什么是copy修饰？使用block有哪些使用注意事项？
block在修改NSMutableArray，需要不需要添加__block？

一、 block本质

blcok本质是OC对象，它内部也有个isa指针，在OC中有isa指针的对象，可以认定为OC对象
block对象是封装了函数调用以及函数调用环境的OC对象

通过下面例子看下block结构

文件结构

int main(int argc, const char * argv[]) {

    @autoreleasepool {

        int age = 10;

        void (^block)(int, int) = ^(int a, int b){

            NSLog(@"This is a block  --%d",age);

            NSLog(@"This is a block");

            NSLog(@"This is a block");

        };

        block(10, 20);

    }

    return 0;

}

通过clang编译器将OC代码编译成C语言代码，并生成了在后缀名为.cpp的C++文件中，clang命令为

xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m

然后查看编译出来的c++ main.cpp文件，和main.m同一个地方，将它移入到项目中，并在Build Phases->Compile Sources中删除main.cpp,然后就可以编译成功

这次开始查看main.cpp的，对比两个文件，找出main.cpp的对应的main函数

看到上面main.cpp左边的调用block,10,20前面有很多的强制类型转换，最后可以是funcPtr (block，10，20）在.cpp中海油一个__main_block_imp_0地址，查看其地址内容

二、block变量捕获机制

举例1： block变量捕获-auto变量

经常书写int age = 10，前面都是有默认关键字auto的（也可以不书写，经常这样的），下面的结果是什么？

int age = 10 等价于 auto int age = 10 （auto自动变量，离开作用域就会销毁）

int main(int argc, const char * argv[]) {

    @autoreleasepool {

        int age = ;

        void (^block)(void) = ^{

            NSLog(@"age is %d", age);

        };

        age = ;

        block();

    }

    return ;

}

猜一下运行结果

再次运行查看编译出来的main.cpp，重复上面的步骤，对比main.cpp

查看__main_block_impl_0的结构，传入的参数age = 10，block内部新增了一个变量用于存储age

block的内部的age = 10 ，并不会改变，所以打印结果为10（当创建block的内容，age = 10已经存在了block中，并不会随外部改变而改变）

举例2：block变量捕获-static变量

int main(int argc, const char * argv[]) {

    @autoreleasepool {

        auto int age = ;

        static int height = ;

        void (^block)(void) = ^{

            NSLog(@"age is %d, height is %d", age, height);

        };

        age = ;

        height = ;

        block();

    }

    return ;

}

结果为age = 10，height = 20

将其编译为cpp,对比下

查看__main_block_impl_0的代码结构

发现block捕获到了age和height，所以block会捕获到局部变量，而静态局部变量block存放的是地址，所以未来修改height的值时，取出的是所指向的最新的height值

举例3：block变量捕获-全局变量

int age = ;

static int height = ;

int main(int argc, const char * argv[]) {

    @autoreleasepool {

        void (^block)(void) = ^{

            NSLog(@"age is %d, height is %d", age, height);

        };

        age = ;

        height = ;

        block();

    }

    return ;

}

查看.cpp文件有没有捕获到全局变量？--直接访问

对于上面的block变量捕捉机制，总结如下：

三、block的类型

block的底层结构如下

block有3种类型，可以通过调用class方法或者isa指针查看具体类型，最终都是继承自NSBlock类型

到底什么类型的block属于__NSGlobalBlock__，__NSStackBlock__, __NSMallocBlock__？

先不铺垫那么多,直接给出结论:

下面来一一验证结论

就是像上面提问那样,按总结的访问了auto变量应该是NSStackBlock,怎么成为了NSMallocBlock了呢?

这是因为编译器默认在ARC环境下,应该切换到MRC环境下,看一下真正的block类型,至于ARC的,下篇讲述!!!

将编译器改为去除ARC,在Build Settings -> automatic Reference Counting 中将ARC改为MRC

改成MRC后再次允许查看结果

那什么时候是NSMallocBlock呢?

NSStackBlock调用copy变为NSMallocBlock,但是NSGlobalBlock调用了copy依然是NSGlobalBlock,NSMallocBlock调用了copy方法引用计数会+1

那么在ARC环境下什么时候block会调用copy呢?(从栈空间->堆空间)

在ARC环境下,编译器会根据情况自动将栈上的block复制到堆上,比如有以下情况:

block作为函数返回值时
block赋值给__strong指针时
block作为Cocoa API中方法名有usingBlock的方法参数时如:[array enumeratorObjectsUsingBlock]
block作为GCD API的方法参数时

四、对象类型的auto变量

上面讲述auto变量是Int等基本类型,现在改成对象类型,如Person类对象[ARC环境下面]

 typedef void(^ZXYBlock)(void);

 int main(int argc, const char * argv[]) {

     @autoreleasepool {

         ZXYBlock block ;

         {

             Person *person = [[Person alloc]init];

             person.age = ;

             block = ^{

                 NSLog(@"---------%d", person.age);

             };

         }

         NSLog(@"block执行完");

     }

     return ;

 }

 @interface Person : NSObject

 @property (nonatomic, assign) int age;

 @end

 @implementation Person

 -(void)dealloc {

     NSLog(@"person对象已释放");

 }

 @end

将上面的代码打breakPoint断点在12行处,查看Person对象是否在打括号{}内释放

发现在打印之前并没有释放person对象,猜想block引用了person,导致block执行完之后才被释放(block当autoReleasePool执行完之后才会被释放) 查看c++代码

查看main函数调用

通过上面查看结构体struct __main_block_desc 里面多了两个copy和dispose(相当于retain)对person进行捕捉到age变量,当block不被释放,person对象也不会被释放

当断点改到14行,执行完block时,查看结果

block被释放,完成打印释放

总结:对象访问的auto变量

当block内部访问了对象类型的auto变量时

如果block在栈上,将不会对auto变量产生强引用
如果block被拷贝到堆上

会调用block内部的copy函数
copy函数内部会调用Block_object_assign 函数
Block_object_assign函数会根据auto变量的修饰符（__strong、__weak、__unsafe_unretained）做出相应的操作，形成强引用（retain）或者弱引用

如果block从堆上移除

会调用block内部的dispose函数
dispose函数内部会调用_Block_object_dispose函数
_Block_object_dispose函数会自动释放引用的auto变量

以上就是block详解一的内容,下一篇讲述block剩下的知识点,欢迎关注!!!