文档章节

深究Block的实现

JlongTian
 JlongTian
发布于 2017/07/07 14:22
字数 1933
阅读 11
收藏 0
点赞 0
评论 0

先看一下Block使用的语法

声明一个block
返回值 (^名称)(参数列表) = ^(参数列表){
};

 int (^name)(int ,int) = ^(int a,int b){
    
     return (a+b);
};

作为一个函数的参数:

- (void)testBlock:(NSString *(返回类型) (^)(int a))s(block名字) {
NSString *a = s(1);
}
 
 [self testBlock:^NSString *(int a) {
    
     a = 5;
    
     return @"1";
}];

然后通过底层代码分析一下block的实现

iOS中有三种block,下文会细说
NSConcreteGlobalBlock;//在全局中定义的
NSConcreteStackBlock; //在局部定义的
NSConcreteMallocBlock;//分配在堆中

先从最简单的看起

int main(int argc, char * argv[]) {
void (^block)(void) = ^{    
  NSLog(@"1");
};

(通过 在终端找到这个.m文件,然后clang -rewrite-objc 代码文件名 就可以看到文件夹有个.cpp的文件,本来想变量ViewController的文件,里面用了UIKit库,编译的时候总是显示找不到,于是我编译的main.m文件)

编译过来是

这里先来分析一下(便于理解):

static void _main_block_func_0(struct _main_block_impl_0 *__cself) {
 NSLog((NSString *)&__NSConstantStringImpl__var_
folders_yq_s_hjnhd12x79wq1ldg1jdr_w0000gn_T_main_50d1d6_mi_0);
}

可以看到,这里对应我们代码中的block中的实现,所以可以知道,block使用的匿名函数,实际上被当作一个函数来处理。不过传入的是:一个_main_block_impl_0类型的结构体,里面有一个block_impl的结构体,和一个_main_block_desc_0的结构体。跟着是他们的构造函数。
来简单看一下这个_main_block_impl_0结构体吧:

isa指向这个block的类型。这里说明这个block是NSConcreteStackBlock类型的。
flag是标志,可以看到,默认构造为0;
还有一个FuncPtr,也就是指向函数地址的指针。
还有一个__main_block_desc_0的结构体,
在下面可以看到这个结构体的初始化,
一个是reserverd默认为0,
一个是block_size。是这个impl的size。
所以,这个_main_block_impl_0,我们可以理解为就是一个block实例,里面的成员变量有要执行的函数的指针,和isa(和所有的oc对象一样),还有一个size。

现在看一下main函数里面的内容

   void (*name)(void) = ((void (*)())&__main_block_impl_0((void 
*)__main_block_func_0, &__main_block_desc_0_DATA));

这里执行的操作就是:初始化一个block实例,交给我们这么name名字变量,也就是用name这个指针指向这个block实例,执行的时候,直接找到这个block中的指向函数地址的指针。

通过以上可以了解:block的实质,就是一个对象,包含了一个指向函数首地址的指针,和一些与自己相关的成员变量。

接着看一下block访问外部变量是怎么回事,这也是我们最关心的问题。

先来看一下局部变量:

int a = 10;
int b = 20;
void (^block)() = ^ {
   NSLog(@"%d--%d",a,b);
};
block ();

 

783200-9edb7cb3dee845ed.png

block访问局部变量

首先在_main_block_impl_0的定义中看到,block中用到的变量被作为成员变量追加到了结构体中,

_main_block_impl_0(void *fp, struct _main_block_desc_0 *desc, 
int _a, int _b, int flags=0) : a(_a), b(_b) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}

在初始化的时候,也需要把a和b的值传入。

void (**block)() = ((void (*)())&_main_block_impl_0((void *)
_main_block_func_0, &_main_block_desc_0_DATA, a, b));

这里看到,在初始化的时候,把a,b值传入来初始化一个_main_block_impl_0结构体。这里需要注意,传入的是a和b的值,所以我们要在结构体中改变a和b是无效的。并且编译会报错,如果要在block中改变里面的值。有以下几种方法

1,静态变量,全局变量

直接上代码吧,嘻嘻

int global_val  = 1;
static int static_global_val = 2;
int main(int argc, char * argv[]) {
static int static_val = 3;
void (^block)() = ^ {
    global_val = 10;
    static_global_val = 20;
    static_val = 30;
};
NSLog(@"%d-%d-%d",global_val,static_global_val,static_val);
block ();
NSLog(@"%d-%d-%d",global_val,static_global_val,static_val);
}

然后rewrite一下

783200-03b0e3032f905b77.png

访问全局变量

因为这个_main_block_func_0能直接访问静态变量,所以可以直接访问这个变量的值,也可以改变,不用担心在调用这个函数的时候,全局变量访问不到,导致错误。所以这里面在调用全局变量的时候,就是很普通的调用全局变量,没有什么不同。

局部静态变量则传的是一个指针进来。因为不用担心它在函数结束时或者其他什么地方被释放,所以可以放心的访问这个值。

global_val = 10;
   static_global_val = 20;
   (*static_val) = 30;

改变的是这个指针指向的值

void (*block)() = ((void (*)())&__main_block_impl_0((void *)
_main_block_func_0, &__main_block_desc_0_DATA, &static_val));

可以看到,这里传的是指针。
_main_block_func_0的作用域在main函数之外,要访问这个变量,就只能传指针。

第二种方法是给参数加__block属性

int main(int argc, char * argv[]) {
__block int block_val = 3;
void (^block)() = ^ {        
 block_val = 30;
};
NSLog(@"%d",block_val);
block ();
NSLog(@"%d",block_val);
NSLog(@"%@",block);
}

69.png

__block参数

可以看到里面比其他多了一个这样的结构体_Block_byref_block_val_0
里面有:
_isa初始化为0,
__forwarding;//持有该实例自身的的指针
int flags;为0
int s__Block_byref_block_val_0ize;size
int block_val;//存放这个变量的值
原来是把一个局部变量,封装成了一个结构体
赋值的时候直接给这个结构体中的这个值赋值
(block_val->__forwarding->block_val) = 30;

所以,在访问这个变量的时候,其实在访问这个结构体的这个变量。

关于_forwarding的作用请不要着急。

Block有三种类型:

{
NSConcreteGlobalBlock;//在全局中定义的
NSConcreteStackBlock; //在局部定义的
NSConcreteMallocBlock;//分配在堆中
}

设置在栈上的block,当“name这个名字变量”作用域结束时,block变量也会废弃。
所以,iOS提供了将block结构体和_block变量,复制到堆上的方法。即使block的name变量结束,那么堆上的block还可以继续访问。
而此时,_block变量结构体中的_forwarding变量可以实现,无论在堆上还是在栈上。都可以正确访问_block变量。可以理解,当把_block变量复制到堆上的时候,_forwarding就指向堆里中的自己。所以无论是访问栈中自己,还是堆中的自己,最终访问都是堆中的这个值。

一个Block对_block的内存管理方式与 ARC机制完全相同。
而_main_block_desc 中的copy和dispose就是这个 __block的retain和release操作。

那什么block在时候会复制到堆呢?

  1. 掉用block的copy方法。

  2. block作为函数返回值返回时。

  3. block调用外面的_strong的id的类时,或用_block时。

  4. 方法中,用usingblock或者GCD中的API时。

这里想讲一下,在局部函数里,定义block时,打印出来还是NSConcreteGlobalBlock类型的,而且只要用了外部变量,不管是assign还是week还是strong类型的,打印出来都是NSConcreteMallocBlock类型的。所以我猜测这会不会是苹果新版的改进,为了block在访问无效的变量,直接把block拷贝到堆上,从而也拷贝一份变量。或许是我忽略了中间的某个步骤

其实到了这里,不用再描述,也知道为什么会发送死循环,又怎么解决了。当在block中用self的时候,block拷贝到堆上,首先,在栈上的这个block有一个持有者,是name这个变量。当name这个变量作用域之外,栈上这个block就release了。,那么当block拷贝到堆上的时候,block有一个持有者是self,那么block在拷贝时,它的变量一个self指针,也会拷贝,而self又指向这个block,block持有self,self持有block,两者都不会释放。要打破这个循环,需要将self置为__week,就算拷贝一个week指针,那也不影响self的引用计数。

 

© 著作权归作者所有

共有 人打赏支持
JlongTian
粉丝 3
博文 259
码字总数 125253
作品 0
深圳
程序员
Q&A about Linux

不好意思,个人逻辑思维不太好,以下尽量采用形象的类比方式来解释,通俗但不一定确切。精确的描述还是要翻文档,仅以此抛砖引玉。 Q1:交叉编译器的用途是什么? A1:就像操两种不同语言的人需...

pikylearnlinux ⋅ 01/08 ⋅ 0

(译)窥探Blocks (1)

本文翻译自Matt Galloway的博客,借此机会学习一下Block的内部原理。 今天我们从编译器的视角来研究一下Block的内部是怎么工作的。这里说的Blocks指的是Apple为C语言添加的闭包,而且现在从c...

foolishBoy ⋅ 2017/11/01 ⋅ 0

轻量级TableViewController(MVC深究)

原文出处: TouAllCra(@我是镇明是我) 从前了解到MVC,学习到这个架构,以为已经可以了,直到这段时间看到这些优秀的文章,才发现自己是如此看小它,是多么误解它,甚至这么不了解它,所以...

刘星石 ⋅ 2016/03/14 ⋅ 0

Objective-C中的Block

技术是需要沉淀的。接触iOS开发也有大半年时间了,从一开始的纯白到现在自我感觉略懂一点,其实进步是明显的。无数牛人表示技术博是完成菜鸟到高手蜕变的途径之一,虽然这个博客并非是为技术...

Karlon ⋅ 2014/07/12 ⋅ 5

为什么用ls和du显示出来的文件大小有差别?

曾经有几次,我用ls和du查看一个文件的大小,发现二者显示出来的大小并不一致,例如: bl@d3:~/test/sparse_file$ ls -l fs.img-rw-r--r-- 1 bl bl 1073741824 2012-02-17 05:09 fs.imgbl@d3...

扁豆焖面先生 ⋅ 2012/12/31 ⋅ 0

IHttpHandler中使用Session实现原理[ASP.NET | IHttpHandler |IRequiresSessionState]

在Handler中使用Session的时候是从HttpContext中去取的,那么用Reflector直接去找到HttpContext,看他是如何做到的,把整个类用Reflector Disassembler出来,直接搜索关键字IRequiresSessio...

walb呀 ⋅ 2017/12/05 ⋅ 0

获取Tomcat是否有保持连接数

获取Tomcat是否有保持连接数 当我们摘掉一台tomcat应用流量的时候,可以马上重启tomcat么?我的理解是不能,我们只能保证当前没有新的请求链接进来。而正在处理的请求链接结束没有?这个是我...

年少爱追梦 ⋅ 04/21 ⋅ 0

Java并发学习(四)-sun.misc.Unsafe

Unsafe Unsafe类是什么呢?java不能直接访问操作系统底层,而是通过本地方法来访问。Unsafe类提供了硬件级别的原子操作。或许在读源码时候会发现,LockSupport里面会调用到unsafe.park,und...

anLA_ ⋅ 2017/11/26 ⋅ 0

表单提交不跳转处理

最初用ajax,普通的内容都是可以的,但是会遇到文件上传的问题。ajax应该也是可以处理的,我也没去深究。 考虑换种方式处理,即页面提交 target到 隐藏的iframe 中 ,此时页面是不会跳转的也...

just_wkj ⋅ 2016/01/06 ⋅ 0

Android倒计时工具类

原文地址:http://my.oschina.net/reone/blog/710003 多谢touchping 的回应. 原来api有这个类 android.os.CountDownTimer , 具体实现很下面的差不多. 这段程序可能存在问题(例如handler生命周...

小卒搬砖 ⋅ 2016/07/11 ⋅ 2

没有更多内容

加载失败,请刷新页面

加载更多

下一页

十五周二次课

十五周二次课 17.1mysql主从介绍 17.2准备工作 17.3配置主 17.4配置从 17.5测试主从同步 17.1mysql主从介绍 MySQL主从介绍 MySQL主从又叫做Replication、AB复制。简单讲就是A和B两台机器做主...

河图再现 ⋅ 59分钟前 ⋅ 0

docker安装snmp rrdtool环境

以Ubuntu16:04作为基础版本 docker pull ubuntu:16.04 启动一个容器 docker run -d -i -t --name flow_mete ubuntu:16.04 bash 进入容器 docker exec -it flow_mete bash cd ~ 安装基本软件 ......

messud4312 ⋅ 今天 ⋅ 0

OSChina 周一乱弹 —— 快别开心了,你还没有女友呢。

Osc乱弹歌单(2018)请戳(这里) 【今日歌曲】 @莱布妮子 :分享吴彤的单曲《好春光》 《好春光》- 吴彤 手机党少年们想听歌,请使劲儿戳(这里) @clouddyy :小萝莉街上乱跑,误把我认错成...

小小编辑 ⋅ 今天 ⋅ 7

mysql in action / alter table

change character set ALTER SCHEMA `employees` DEFAULT CHARACTER SET utf8mb4 DEFAULT COLLATE utf8mb4_general_ci ;ALTER TABLE `employees`.`t2` CHARACTER SET = utf8mb4 , COLLAT......

qwfys ⋅ 今天 ⋅ 0

Java 开发者不容错过的 12 种高效工具

Java 开发者常常都会想办法如何更快地编写 Java 代码,让编程变得更加轻松。目前,市面上涌现出越来越多的高效编程工具。所以,以下总结了一系列工具列表,其中包含了大多数开发人员已经使用...

jason_kiss ⋅ 昨天 ⋅ 0

Linux下php访问远程ms sqlserver

1、安装freetds(略,安装在/opt/local/freetds 下) 2、cd /path/to/php-5.6.36/ 进入PHP源码目录 3、cd ext/mssql进入MSSQL模块源码目录 4、/opt/php/bin/phpize生成编译配置文件 5、 . ./...

wangxuwei ⋅ 昨天 ⋅ 0

如何成为技术专家

文章来源于 -- 时间的朋友 拥有良好的心态。首先要有空杯心态,用欣赏的眼光发现并学习别人的长处,包括但不限于工具的使用,工作方法,解决问题以及规划未来的能力等。向别人学习的同时要注...

长安一梦 ⋅ 昨天 ⋅ 0

Linux vmstat命令实战详解

vmstat命令是最常见的Linux/Unix监控工具,可以展现给定时间间隔的服务器的状态值,包括服务器的CPU使用率,内存使用,虚拟内存交换情况,IO读写情况。这个命令是我查看Linux/Unix最喜爱的命令...

刘祖鹏 ⋅ 昨天 ⋅ 0

MySQL

查看表相关命令 - 查看表结构    desc 表名- 查看生成表的SQL    show create table 表名- 查看索引    show index from  表名 使用索引和不使用索引 由于索引是专门用于加...

stars永恒 ⋅ 昨天 ⋅ 0

easyui学习笔记

EasyUI常用控件禁用方法 combobox $("#id").combobox({ disabled: true }); ----- $("#id").combobox({ disabled: false}); validatebox $("#id").attr("readonly", true); ----- $("#id").r......

miaojiangmin ⋅ 昨天 ⋅ 0

没有更多内容

加载失败,请刷新页面

加载更多

下一页

返回顶部
顶部