iOS-block本质是什么?
一: block的原理是怎样的?本质是什么?
- block本质上也是一个OC对象,因为它的内部也有个isa指针
- block是封装了函数调用以及函数调用环境的OC对象
接下来我们将通过底层源码来论证上诉两点.
首先我们写一个简单的block,通过clang编译器编译成C++代码,查看一下block的底层机构:
int main(int argc, const char * argv[]) {
@autoreleasepool {
int age = 10;
int height = 10;
//声明block变量
void(^myBlock)(void) = ^{
NSLog(@"age is %d height is %d",age,height);
};
//调用block
myBlock();
}
return 0;
}
通过clang编译器执行编译成C++代码:
xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m
clang编译器编译完后会得到一个.cpp格式的文件,这就是我们刚才转换的.m文件的底层代码.我们打开.cpp文件,差不多有三万多行代码,我们直接拖到最下面,找到block相关的代码.如下
一: block底层数据结构
// 一: block底层数据结构
struct __main_block_impl_0 {
struct __block_impl impl; // 1: impl 结构体
struct __main_block_desc_0* Desc; // 2: block描述信息的结构体
int age; //3:捕获的外部变量
int height;
//4: 和结构体同名的构造函数 ( C++语法 , 类似于 OC 的init方法,返回一个结构体对象,类似于返回self)
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _age, int _height, int flags=0) : age(_age), height(_height) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
通过底层代码我们可以看到,block在底层中的数据结构是一个结构体,这个结构体有四个部分组成:
1: struct __block_impl
2: struct __main_block_desc_0
3: 捕获的外部变量
4:和block结构体同名的构造函数
我们找到struct __block_impl 结构体
:
//struct __block_impl 结构体
struct __block_impl {
void *isa; //指向 block 的类型
int Flags;//按位表示block的附加信息
int Reserved;//保留变量
void *FuncPtr; //封装了执行 block 代码块的函数地址
};
然后我们再找到struct __main_block_desc_0 结构体
:
static struct __main_block_desc_0 {
size_t reserved;//保留变量大小
size_t Block_size;//block所占用的大小
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
这3个结构体之间的关系就像下图这样:
我们在网上看到的一张很经典的block底层结构的图片就是把这两个结构体成员列表汇总进去得到的:(descriptor结构体中的copy 和 dispose 我们后面会讲到)

二: main函数 (block 捕获局部变量(auto变量)捕获到内部 值传递)
// 1: main函数
int main(int argc, const char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
int age = 10;
int height = 10;
//声明block变量
void(*myBlock)(int ,int) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, age, height));
//调用block
((void (*)(__block_impl *))((__block_impl *)myBlock)->FuncPtr)((__block_impl *)myBlock);
}
return 0;
}
这段底层代码中,声明block和调用block的部分涉及了太多的类型转换,不便于阅读理解,我们去掉类型转换的部分,简化如下:
// : main函数
int main(int argc, const char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
int age = 10;
int height = 10;
//声明block
void(*myBlock)(void) = &__main_block_impl_0(//调用block数据结构中的同名的构造函
__main_block_func_0,//封装了block要执行的代码块的函数
&__main_block_desc_0_DATA,//block描述信息的结构体
age,//把局部变量当做参数传入
height
);
//调用block
myBlock->FuncPtr(myBlock);
}
return 0;
}
可以看到,我们在申明block的时候,调用block的构造函数,传入了四个参数,分别是__main_block_func_0 , __main_block_desc_0_DATA , age , height
,我们对比着它的构造函数,看看它的内部都做了什么:
// block底层数据结构
struct __main_block_impl_0 {
struct __block_impl impl; // 1: impl 结构体
struct __main_block_desc_0* Desc; // 2: block描述信息的结构体
int age;//3: 捕获的外部变量
int height;
//4: 同名的构造函数 ( C++语法 )
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _age, int _height, int flags=0) : age(_age), height(_height) {
impl.isa = &_NSConcreteStackBlock; //isa 指向了block的类型
impl.Flags = flags;//按位表示block的一些附加信息,这里是0
impl.FuncPtr = fp; // 封装了block要执行的代码块的函数
Desc = desc; //block描述信息的结构体
}
};
- 首先,构造函数的内部会给
impl
结构体的isa
指针赋值,决定block的类型; - 然后,再把传进来的
__main_block_func_0
传给了fp
,又把fp
赋值给了impl
结构体的FuncPtr
,__main_block_func_0
这个函数指针指向封装了block代码块的函数地址; - 最后,再把传进来的
__main_block_desc_0_DATA
结构体赋值给了Desc
;
其实这里还隐藏了一个很重要的一步,只是底层代码上没有体现出来:在构造函数的内部,会自动把传递进来_age
,_height
自动赋值给我们block内部的age
,height
,这就是block的捕获机制.
我们来分别看一下__main_block_func_0
,__main_block_desc_0_DATA
这两个结构体长什么样子:
- __main_block_func_0 结构体: block 真正要执行的代码块
// 封装了block要执行的代码块的函数
static void __main_block_func_0(struct __main_block_impl_0 *__cself, int a, int b) { NSLog((NSString *)&__NSConstantStringImpl__var_folders_5t_pxd6sp5x6rl9gnk21q2q934h0000gn_T_main_b680e8_mi_0,a,b); }
可以看到,就是我们.m中写的很简单的一句NSLog
语句.说明block的代码块确实是封装成了一个函数去执行的.
- __main_block_desc_0_DATA:
static struct __main_block_desc_0 {
size_t reserved;//保留变量的大小
size_t Block_size;//block的大小
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
这个结构体中主要就是一个size_t Block_size
存放了block的大小.
三、总结:
block的底层就是一个
struct _block_impl_0
类型的结构体,这个结构体中包含一个isa
指针,所以从更深的层次来说,block就是一个OC对象.block结构体中又包含
impl
和Desc
结构体,impl
结构体中有一个非常重要的成员FuncPtr
,FuncPtr
是一个指针,指向了封装了blcok代码块的函数,
我们看到调用block的代码:myBlock()
的底层实际上是这样子:myBlock->FuncPtr(myBlock);
,可以看出调用block其实就是调用了FuncPtr()这个函数Desc
结构体存放了block的大小
参考链接:https://www.jianshu.com/p/e6759404f9cd
iOS-block本质是什么?的更多相关文章
- iOS Block的本质(四)
iOS Block的本质(四) 上一篇文章iOS Block的本质(三)中已经介绍过block变量的捕获,本文继续探寻block的本质. 1. block内修改变量的值 int main(int ar ...
- # iOS Block的本质(三)
iOS Block的本质(三) 上一篇文章iOS Block的本质(二)中已经介绍过block变量的捕获,本文继续探寻block的本质. 1. block对对象变量的捕获,ARC 环境 block一般 ...
- iOS Block的本质(二)
iOS Block的本质(二) 1. 介绍引入block本质 通过上一篇文章Block的本质(一)已经基本对block的底层结构有了基本的认识,block的底层就是__main_block_impl_ ...
- iOS Block的本质(一)
iOS Block的本质(一) 1.对block有一个基本的认识 block本质上也是一个oc对象,他内部也有一个isa指针.block是封装了函数调用以及函数调用环境的OC对象. 2.探寻block ...
- iOS开发系列-Block本质篇
概述 在iOS开发中Block使用比较广泛,对于使用以及一些常规的技术点这里不再赘述,主要利用C++角度分析Block内部数据底层实现,解开开发中为什么这样编写代码解决问题. Block底层结构窥探 ...
- iOS Block界面反向传值
在上篇博客 <iOS Block简介> 中,侧重解析了 iOS Block的概念等,本文将侧重于它们在开发中的应用. Block是iOS4.0+ 和Mac OS X 10.6+ 引进的对C ...
- iOS block从零开始
iOS block从零开始 在iOS4.0之后,block横空出世,它本身封装了一段代码并将这段代码当做变量,通过block()的方式进行回调. block的结构 先来一段简单的代码看看: void ...
- iOS block 机制
本文要将block的以下机制,并配合具体代码详细描述: block 与 外部变量 block 的存储域:栈块.堆块.全局块 定义 块与函数类似,只不过是直接定义在另一个函数里,和定义它的那个函数共享同 ...
- block本质探寻二之变量捕获
一.代码 说明:本文章须结合文章<block本质探寻一之内存结构>和<class和object_getClass方法区别>加以理解: //main.m #import < ...
- block本质探寻一之内存结构
一.代码——命令行模式 //main.m #import <Foundation/Foundation.h> struct __block_impl { void *isa; int Fl ...
随机推荐
- 2020BUAA-个人博客-案例分析
个人博客作业-软件案例分析 项目 内容 北航2020软工 班级博客 作业要求 具体要求 我的课程目标 通过案例分析提升自己对于软件工程的认识 课程收获 分析软件,了解软件的定位 第一部分 调研,评测( ...
- 【BUAA软工】软件案例分析
项目 内容 课程:2020春季软件工程课程博客作业(罗杰,任健) 博客园班级链接 作业:BUAA软件工程结对编程项目作业 作业要求 课程目标 学习大规模软件开发的技巧与方法,锻炼开发能力 作业目标 个 ...
- 2021年主流CRM系统盘点
面对市面上五花八门的CRM系统,相信您在选择的时候肯定是一头雾水.哪个CRM系统功能最强大?哪个CRM系统性价比最高?哪个CRM系统最适合企业使用?本篇文章小编将选出几家有代表性的CRM系统,并进行对 ...
- .NET程序崩溃了怎么抓 Dump ? 我总结了三种方案
一:背景 1. 讲故事 最近几天接到了几个crash的求助,可能这几个朋友没玩过怎么去生成dump,只能手把手教,感觉也不是一个办法,所以有必要总结一下,后续再有朋友咨询的话,我就可以把这篇文章丢过去 ...
- [Qt] 项处理组件
项(Item):一个项存储了文字.文字的格式.自定义数据等. 1.项视图(Item View) 针对一个数据模型,可能有不同的展示需求,如文件夹中图片 ...
- 网上的说TB6560存在的问题
https://www.amobbs.com/thread-5506456-2-1.html
- Freemaker生成复杂样式图片并无文件损坏的excel
Freemaker生成复杂样式图片并无文件损坏的excel 参考Freemarker整合poi导出带有图片的Excel教程,优化代码实现 功能介绍:1.支持Freemarker导出Excel的所有功能 ...
- 详述盒子模型(包含padding、border、margin的详细用法和描述)
提起盒子模型,我想无论是对于一个前端资深开发人员还是前端入门开发人员来说都不陌生,这是CSS最基础的知识. 但是惭愧地说,我之前理解的盒子模型,只是文字上的理解.我知道定义一个元素的宽度和高度时,设置 ...
- 重新整理 .net core 实践篇—————服务与配置之间[十一二]
前言 前面基本介绍了,官方对于asp .net core 设计配置和设计服务的框架的一些思路.看下服务和配置之间是如何联系的吧. 正文 服务: public interface ISelfServic ...
- Python+Selenium自动化-安装模块和浏览器驱动操作方法
Python+Selenium自动化-安装模块和浏览器驱动操作方法 1.安装模块文件 pip install selenium 2.安装浏览器驱动 我们主要用的浏览器驱动有chrome浏览器.fire ...