iOS Block底层实现原理详解

最新推荐文章于 2023-06-01 22:28:58 发布
最新推荐文章于 2023-06-01 22:28:58 发布
阅读量4.3k 收藏 2
点赞数 1
分类专栏： iOS_OC
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/jeffasd/article/details/51273554
版权

block原始代码为：

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        
        int a = 10;
        
        void (^block)() = ^{
            printf("%d\n", a);
        };
        
        //再次给a 赋值
        
        a = 20;
        
        block();
    }
    return 0;
}
将上面block原始代码转换为C++代码： 通过 命令 ：clang -rewrite-objc main.m 

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  int a;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _a, int flags=0) : a(_a) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int a = __cself->a; // bound by copy

            printf("%d\n", a);
        }

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(int argc, const char * argv[]) {
    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 

        int a = 10;

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



        a = 20;

        ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    }
    return 0;
}
static struct IMAGE_INFO { unsigned version; unsigned flag; } _OBJC_IMAGE_INFO = { 0, 2 };
block原始代码为： 
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        
        __block int a = 10;
        
        void (^block)() = ^{
            printf("%d\n", a);
        };
        
        //再次给a 赋值
        
        a = 20;
        
        block();
    }
    return 0;
}
将上面block原始代码转换为C++代码： 通过 命令 ：clang -rewrite-objc main.m 

struct __Block_byref_a_0 {
  void *__isa;
__Block_byref_a_0 *__forwarding;
 int __flags;
 int __size;
 int a;
};

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __Block_byref_a_0 *a; // by ref
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_a_0 *_a, int flags=0) : a(_a->__forwarding) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  __Block_byref_a_0 *a = __cself->a; // bound by ref

            printf("%d\n", (a->__forwarding->a));
        }
static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {_Block_object_assign((void*)&dst->a, (void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static void __main_block_dispose_0(struct __main_block_impl_0*src) {_Block_object_dispose((void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  void (*copy)(struct __main_block_impl_0*, struct __main_block_impl_0*);
  void (*dispose)(struct __main_block_impl_0*);
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0), __main_block_copy_0, __main_block_dispose_0};
int main(int argc, const char * argv[]) {
    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 

        __attribute__((__blocks__(byref))) __Block_byref_a_0 a = {(void*)0,(__Block_byref_a_0 *)&a, 0, sizeof(__Block_byref_a_0), 10};

        void (*block)() = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_a_0 *)&a, 570425344));//这里的<span style="font-family: Arial, Helvetica, sans-serif;">570425344 最后赋值给 </span><span style="font-family: Arial, Helvetica, sans-serif;">flags 但是 flags 直接又被赋为 0,这个</span><span style="font-family: Arial, Helvetica, sans-serif;">570425344在此处没用。</span><span style="font-family: Arial, Helvetica, sans-serif;">
</span><span style="font-family: Arial, Helvetica, sans-serif;">
</span>


        (a.__forwarding->a) = 20;

        ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    }
    return 0;
}
static struct IMAGE_INFO { unsigned version; unsigned flag; } _OBJC_IMAGE_INFO = { 0, 2 };


所谓结构体类型的自动变量，即栈上生成的该结构体的实例。
类设置对象的存储域
_NSConcreteStackBlock栈
_NSConcreteGlobalBlock程序的代码段（.text区）
_NSConcreteMallocBlock堆


存储域

通过上面的描述我们知道Block和__block变量实质就是一个相应结构体的实例。我们在上述转换过的代码中可以发现 __main_block_impl_0 结构体构造函数中， isa指向的是 _NSConcreteStackBlock。Block还有另外两个与之相似的类:

  • _NSConcreteStackBlock 保存在栈中的block，出栈时会被销毁

  • _NSConcreteGlobalBlock 全局的静态block，不会访问任何外部变量

  • _NSConcreteMallocBlock 保存在堆中的block，当引用计数为0时会被销毁

上述示例代码中，Block是被设为_NSConcreteStackBlock，在栈上生成。当我们把Block作为全局变量使用时，对应生成的Block将被设为_NSConcreteGlobalBlock，如:

1
2
3
4
5
6
7
void (^block)(void) = ^{NSLog(@ "This is a Global Block" );};
int main(int argc, const char * argv[]) {
     @autoreleasepool {
         block();
     }
     return  0;
}

该代码转换后的代码中，Block结构体的成员变量isa的初始化如下:

1
  impl.isa = &_NSConcreteGlobalBlock;

那么_NSConcreteMallocBlock在什么时候被使用呢？

分配在全局变量上的Block，在变量作用域外也可以通过指针安全的访问。但分配在栈上的Block，如果它所属的变量作用域结束，该Block就被废弃。同样地，__block变量也分配在栈上，当超过该变量的作用域时，该__block变量也会被废弃。

这个时候_NSConcreteMallocBlock就登场了，Blocks提供了将Block和__block变量从栈上复制到堆上的方法来解决这个问题。将分配到栈上的Block复制到堆上，这样但栈上的Block超过它原本作用域时，堆上的Block还可以继续存在。

复制到堆上的Block，它的结构体成员变量isa将变为:

1
impl.isa = &_NSConcreteMallocBlock;

而_block变量中结构体成员__forwarding就在此时保证了从栈上复制到堆上能够正确访问__block变量。在这种情况下，只要栈上的_block变量的成员变量__forwarding指向堆上的实例，我们就能够正确访问。

我们一般可以使用copy方法手动将 Block 或者 __block变量从栈复制到堆上。比如我们把Block做为类的属性访问时，我们一般把该属性设为copy。有些情况下我们可以不用手动复制,比如Cocoa框架中使用含有usingBlock方法名的方法时，或者GCD的API中传递Block时。

当一个Block被复制到堆上时，与之相关的__block变量也会被复制到堆上，此时堆上的Block持有相应堆上的__block变量。当堆上的__block变量没有持有者时，它才会被废弃。(这里的思考方式和objc引用计数内存管理完全相同。)

//
//  main.m
//  test_block_05
//
//  Created by admin on 4/28/16.
//  Copyright © 2016 jeffasd. All rights reserved.
//

#import <Foundation/Foundation.h>

void (^globalBlock)() =  ^(){
    NSLog(@"fsdfsdf");
    return;
};

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

        int foo = 3;
        NSLog(@"the foo address is %p", &foo);
        
        int foo1 = 4;
        NSLog(@"the foo1 address is %p", &foo1);
        
        int foo2 = 5;
        NSLog(@"the foo2 address is %p", &foo2);
        
        __block int a = 10;
        
//        int a = 10;
        
        NSLog(@"11 %p", &a); //0x7fff5fbff7f8 地址很大在栈中
        
        void (^block)() = ^{
            NSLog(@"block a address %p", &a); //0x7fff5fbff7f8 地址很小在堆中
            printf("%d\n", a);
        };
        
        //再次给a 赋值
        
        NSLog(@"11 block is %@", block);
        
        NSLog(@"%p", &a);
        
        a = 20;
        
        block();
        
        NSLog(@"block is %@", block);
        
        NSLog(@"the global block is %@", globalBlock);
        globalBlock();
        NSLog(@"the global block is %@", globalBlock);
        
        __weak void (^weakBlock)() =  ^(){
            NSLog(@"fsdfsdf");
            return;
        };
        
        NSLog(@"the weak block is %@", weakBlock);
        
    }
    return 0;
}


//int main(int argc, const char * argv[]) {
//    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
//        
//        int a = 10;
//        
//        void (*block)() = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, a));
//        
//        
//        
//        a = 20;
//        
//        ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
//    }
//    return 0;
//}
//static struct IMAGE_INFO { unsigned version; unsigned flag; } _OBJC_IMAGE_INFO = { 0, 2 };

//切换成C++语音
//int main(int argc, const char * argv[]) {
//    @autoreleasepool {
//        
//        __block int a = 10;
//        
//        void (^block)() = ^{
//            printf("%d\n", a);
//        };
//        
//        //再次给a 赋值
//        
//        a = 20;
//        
//        block();
//    }
//    return 0;
//}
切换成C++语音
//int main(int argc, const char * argv[]) {
//    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
//        
//        __attribute__((__blocks__(byref))) __Block_byref_a_0 a = {(void*)0,(__Block_byref_a_0 *)&a, 0, sizeof(__Block_byref_a_0), 10};
//        
//        void (*block)() = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_a_0 *)&a, 570425344));
//        
//        
//        
//        (a.__forwarding->a) = 20;
//        
//        ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
//    }
//    return 0;
//}
//static struct IMAGE_INFO { unsigned version; unsigned flag; } _OBJC_IMAGE_INFO = { 0, 2 };

block属性

这里还有一点关于block类型的ARC属性。上文也说明了，ARC会自动帮strong类型且捕获外部变量的block进行copy，所以在定义block类型的属性时也可以使用strong，不一定使用copy。也就是以下代码：

/** 假如有栈block赋给以下两个属性 **/

// 这里因为ARC，当栈block中会捕获外部变量时，这个block会被copy进堆中
// 如果没有捕获外部变量，这个block会变为全局类型
// 不管怎么样，它都脱离了栈生命周期的约束

@property (strong, nonatomic) Block *strongBlock;

// 这里都会被copy进堆中
@property (copy, nonatomic) Block *copyBlock;



jeffasd
关注
  • 1
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
iOS block原理详解
gsl111000的博客
05-13 1232
block本质 block底层就是一个struct __main_block_impl_0类型的结构体，这个结构体中包含一个isa指针，本质上是一个OC对象 block是封装了函数调用以及函数调用环境的OC对象 block底层结构 block底层结构就是__main_block_impl_0结构体，内部包含了impl结构体和Desc结构体以及外部需要访问的变量，block将需要执行的代码放到一个函数里，impl内部的FuncPtr指向这个函数的地址，通过地址调用这个函数，就可以执行block里面.
iOS中Block完全详解
theShifter的博客
04-07 2118
欢迎大家关注我的个人博客:https://darkknightkazuma.github.io #一、Block基础介绍 ##1、概念介绍 Block又称为块或块对象,它是苹果在OSX10.6和iOS4.0中新加入的功能,是C语言层面的特性及功能实现,类似其它语言的闭包(closure)功能.当时苹果正使用LLVM的clang作为C语言的编译器来改进C/OC/C++/OC++等的编译处理,Blo...
【iOS底层探索- Block原理分析-循环引用】
weixin_61639290的博客
06-01 1242
Block循环引用
iOS底层原理之架构设计
面壁者LOGIC
10-29 2761
iOS底层原理之架构设计
iOS开发常用技术底层实现（精简概述）
努力，可能成功！放弃，注定失败！
11-22 708
(1)RunTime总结: oc动态性, 运行时将代码转化为runtime的C代码 RunTime运行流程: 生成对应objc_msgSend方法 isa指针查看当前类有没有这个方法, 之后寻找父类, 每个方法SEL(方法选择器)对应IMP(类似于一个编号,是函数指针,指向函数实现,找到内存里对应函数), 直到NSObeject, 如果找不到IMP, 会进入消息转发机制, resolv...
iOS block的相关知识详解
counting stars的博客
10-27 291
/* ---------------------------------------------------------------------------------------------------- */ [0. Brief introduction of block] Block是iOS4.0+ 和Mac OS X 10.6+ 引进的对C语言的扩展，用来实现匿名函数的
ios Block底层详解、框架结构：捕获、对象类型、__block、__forwarding、循环引用
qq_27909209的博客
08-08 2962
1：捕获 2：block类型 2.1：问题 :mrc环境下 下面讲的都是mrc环境下，会真实很多 2.2：在arc下，block 自动加上copy的情况---：返回block。 2.3：在arc下，block 自动加上copy的情况---：强指针__block; 2.4:arc环境下：方法名中有usingBlock的方法参数时，也会进行copy操作。 2.5：在arc下，block ...
iOS --- Blocks底层原理详解（三）
genzld的博客
12-03 192
在这篇文章中（https://blog.csdn.net/genzld/article/details/103338243），已经介绍了block的底层本质实现以及了解变量的捕获，本文继续探寻block的本质 block对 对象变量 的捕获 block一般在使用过程中都是对对象变量进行捕获，那么对象变量的捕获和基本数据类型变量相同吗？ 查看以下代码思考：当block中访问的...
【ios开发系列】block详解
BOOL
06-25 837
【1】 ios开发block的使用指南，以及深入理解block的内存管理，也适用于osx开发。讨论范围：block的使用，内存管理，内部实现。不包含的内容：gc arc下的block内存，block在c++中的使用。 一、概述 Block是C级别的语法和运行时特性。Block比较类似C函数，但是Block比之C函数，其灵活性体现在栈内存、堆内存
iOS进阶 - Block底层原理
12-25
iOS底层原理进阶，从底层原理和本质详细解析block的使用
iOS中id类型的理解及底层原理详解
08-30
iOS中id类型的理解及底层原理详解 iOS中id类型是一个非常重要的数据类型，它是Objective-C语言中的一种通用的对象类型，可以指向任何一个继承了NSObject（或Object）类的对象。在Cocoa的开发环境中，NSObject是所有...
腾讯Bugly技术分享：JSPatch实现原理详解
02-26
之前在博客上写过两篇JSPatch原理解析文章(12)，但随着JSPatch的改进，有些内容已经跟最新代码对不上，这里重新整理成一篇完整的文章，对原来的两篇做整合和修改，详细阐述JSPatch的实现原理和一些细节，以帮助使用...
iOS APP签名机制原理详解
08-26
iOS APP签名机制原理详解 iOS APP签名机制是苹果公司为了确保iOS系统的安全性和应用程序的合法性而设计的一种机制。该机制主要通过双层代码签名和描述文件来实现应用程序的验证和认证。 双层代码签名 在iOS系统中...
IOS 开发之应用唤起实现原理详解
08-31
本文将深入探讨iOS应用唤起的实现原理，并提供几种常见方法的详细说明。 一、iOS应用唤起概念 应用唤起是指通过特定的链接或操作，使得用户能够在不离开当前环境的情况下启动已安装在iOS设备上的应用程序。这种功能...
QT5 FTP 客户端 实现多文件下载 上传
08-01
QT5 FTP 客户端 实现多文件下载 上传
MATLAB车牌识别实现车牌定位仿真系统（可运行）
08-01
车牌定位分为以下步骤： 图像预处理：读取图像并对其进行预处理，例如灰度化、降噪和增强等。 车牌区域定位：使用图像处理技术，例如边缘检测、连通区域检测和形态学操作等，找到车牌的大致位置。 车牌区域精确定位：通过进一步的图像处理技术，例如投影、边缘检测和形态学操作等，对车牌区域进行精确定位。 字符分割：将车牌区域中的字符进行分割，形成单独的字符图像。 字符识别：使用字符识别算法，例如模板匹配、神经网络或支持向量机等，对分割的字符进行识别。 本设计非常适合新手学习使用，进阶研究等二次开发。欢迎大家多多下载交流学习研究。
年度销售回款计划表（依据项目回款率制定，月度分解.xlsx
最新发布
08-01
销售统计，调查问卷，库存明细，跟进表，业绩统计表，差异分析 ，产品清单 适用人群：学习不同技术领域的小白或进阶学习者；可作为毕设项目、课程设计、大作业、工程实训或初期项目立项。
步控中文编程软件+视频教学案例+国产PLC控制器+中文编程PLC+中文PLC+步控PLC+中文控制器
08-01
中文表格式编程软件，无需使用复杂的编程语言，低代码编程，快速入门，功能模块化。 零基础：软件是全中文表格式界面，不需要懂英文代码，完全可以做到零基础使用，像工厂里的电工、装配工都可以直接上手。 降成本：软件可以给标准的控制器编写程序，还可以给批量生产的设备定制开发板，大大降低设备成本。 无门槛：软件使用底层程序做好的功能模块，直接调用即可，程序单一性，调试修改方便。
iOS Block内存管理详解：从无名函数到神奇功能
iOS block实现与内存管理深入解析 在iOS开发中，block作为一种强大的功能，被广泛应用于回调、异步操作和事件处理。block最初是C语言的一个扩展，但它的实际使用受到操作系统限制，仅在OSX Snow Leopard（10.6）及...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值