理解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原理探究(上篇)-Block本质及存储域问题

    主要内容:1.理解Block的本质2.理解Block的存储域分类3.理解Block的Copy原理 一、探究Bloc...

  • block用法大全

    block语句块 如何解决block循环引用 高逼格理解block循环引用 block相关

  • 理解Block

    一、block其实是有类型的, 且一共有3种类型, 全局块, 栈块, 堆块: 1.__NSGlobalBlock_...

  • 理解Block

    堆栈的区别:经典解释 原作者不详,未详细查询,从其它地方转载并修改部分叙述,特此说明 预备知识:程序的内存分配一个...

  • 理解Block

    概念 Block是Cocoa和Cocoa框架的匿名函数的实现,所谓匿名函数,就是一段具有对象性质的代码段,一方面这...

  • 理解Block

    title: 理解Block block是开发中经常用到的一个对象,或者说一个方法。在很多编程语言中,都有闭包的概...

  • Block理解

    1: 什么是block?1.0: Block的语法1.1: block编译转换结构1.2: block实际结构 2...

  • block理解

    1 block基本概念 block作用:保存一段代码 block声明:void(^block)(void) blo...

  • Block理解

    问题缘由:1、下面这段代码有问题么?如果没有,为什么? 答案:没有原因:block本质上也是一个对象,对象对其外部...

  • iOS Swift 模型数组排序(仿写 sortedArrayU

    目的:为了加深对 block 的理解 个人理解:block 的返回值 NSComparisonResult 略带有...

网友评论

    本文标题:理解Block

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