理解Block

作者: DerekMonster | 来源:发表于2015-10-08 17:25 被阅读585次

    堆栈的区别:经典解释

    原作者不详,未详细查询,从其它地方转载并修改部分叙述,特此说明

    1. 预备知识:程序的内存分配

      一个由C/C++编译的程序占用的内存分为以下几个部分
      1. 栈(stack):由编译器自动分配释放 ,存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。
      2. 堆(heap): 一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。注意它与数据结构中的堆是两回事,分配方式类似于链表。
      3. 全局区(静态区static):全局变量和静态变量的存储是放在一块的,初始化的全局变量和静态变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域,程序结束后由系统释放。
      4. 文字常量区:常量字符串放在这里, 程序结束后由系统释放
      5. 程序代码区:存放函数体的二进制代码。
    2. 例子程序
    //main.cpp
    int a = 0; //全局初始化区
    char *p1; //全局未初始化区
    main()
    {
        int b; //栈
        char s[] = "abc"; //栈
        char *p2; //栈
        char *p3 = "123456"; //123456\0在常量区,p3在栈上。
        static int c =0;//全局(静态)初始化区
        p1 = (char *)malloc(10);
        p2 = (char *)malloc(20);
        //分配得来得10和20字节的区域就在堆区。
        strcpy(p1, "123456"); //123456\0放在常量区,编译器可能会将它与p3所指向的"123456"优化成一个地方。
    }
    

    Block基本语法

    //As a local variable:
    returnType (^blockName)(parameterTypes) = ^returnType(parameters) {...};
    As a property:
    
    //As a property:
    @property (nonatomic, copy) returnType (^blockName)(parameterTypes);
    As a method parameter:
    
    //As a method parameter:
    - (void)someMethodThatTakesABlock:(returnType (^)(parameterTypes))blockName;
    As an argument to a method call:
    
    //As an argument to a method call:
    [someObject someMethodThatTakesABlock:^returnType (parameters) {...}];
    As a typedef:
    
    //As a typedef:
    typedef returnType (^TypeName)(parameterTypes);
    TypeName blockName = ^returnType(parameters) {...};
    

    修饰Block成员变量

    Block 成员需要使用 copy 进行修饰,需要考虑Block是否线程安全,必要情况下使用atomic参数,当使用atomic参数也不能百分百确保线程安全,因此在使用时最好将block属性赋值给本地变量在使用,以防止其它线程将self.block置空。实际上,我们使用修饰符 copy 是因为将存在栈区上的block转移到堆区上,这个习惯是在MRC下的,现在在ARC下使用 copy 和 strong 是相同的。

    2015/10/15更新:为什么ARC下使用copy和strong是相同的

    要解释这个问题必须要知道block的实现原理,具体的实现原理参阅『参考3』。我在这里直接给出解释,实际上Block是有不同类型的,这些类型的区别在于Block是存储在哪一个内存区间。

    在MRC下有三种类型(见名知意):

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

    但在ARC下只有两种,也就是第一种和第三种,也就是说本来需要在MRC下使用copy所做的操作实际上ARC帮我们做了,因此使用copy和strong也就无所谓了。

    循环引用(ARC)

    使用:

    __weak __typeof(self) weakSelf = self;
    

    解决循环引用self的问题。

    ** AFNetworking 作者的使用技巧:**

    MyObject *obj = [[MyObject alloc]init];
    obj.text = @"string";
    __weak MyObject *weakObj = obj;
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        __strong MyObject *strongObj = weakObj;
        sleep(3);
    });
    sleep(1);
    obj = nil;
    sleep(4);
    

    把变量在 block 外先用 __weak 声明,在 block 内把前面 __weak 声明的变量在赋值给 __strong 修饰的变量。这种写法的好处就是可以让变量在 block 内部安全使用,即使外部对象释放了,也会在 block 的生命周期内保留该变量。这种写法非常巧妙,既避免了循环引用的问题,又可以在 block 内部持有该变量。

    参考:

    正确使用Block避免Cycle Retain和Crash

    How Do I Declare A Block in Objective-C?

    谈Objective-C Block的实现

    block没那么难(一):block的实现

    若有错误请不吝指教

    相关文章

      网友评论

        本文标题:理解Block

        本文链接:https://www.haomeiwen.com/subject/ntsncttx.html