block变量

上一篇 讲的是block静态变量的特性,这里我们来看一下_block变量。引用官方:

You can specify that an imported variable be mutable—that is, read-write— by applying the __block storage type modifier. __blockstorage is similar to, but mutually exclusive of, the registerauto, and static storage types for local variables.
通过指定__block存储类型修饰符,可以读写。__block存储是类似的,但相互排斥的,寄存器,自动变量,和局部变量和静态变量类型(后面这句不太理解)。 
我们来写个例子,用__block修饰局部变量(对于全局变量是无效的,没有任何作用,全局变量成员变量本身就可以在block内部修改,详细看这一篇 ):
void main1()
{
__block char *_para1="a";
printf("init _para1:%s,%p,%p\n",_para1,_para1,&_para1);
void(^testBlock)(void)=^{
printf("exute _para1:%s,%p,%p\n",_para1,_para1,&_para1);
};
_para1="b";
printf("before _para1:%s,%p,%p\n",_para1,_para1,&_para1);
testBlock();
printf("after _para1:%s,%p,%p\n",_para1,_para1,&_para1);
}
执行后输出如下:
init _para1:a,0x47f4,0xbfffc9c0
before _para1:b,0x4829,0x8da4580
exute _para1:b,0x4829,0x8da4580
after _para1:b,0x4829,0x8da4580 这里加了__block修饰符。通过日志可以看出,block内部_para1的地址、值和执行前的_para1一样,在block初始化后,对变量_para1的修改,可以同步到block内,block内并不是截获了变量的值。我们可以看下通过clang 转换后的后的cpp代码: //block 的实现函数的对象
struct __block_impl {
void *isa;
int Flags;
int Reserved;
void *FuncPtr;
};
//block 引用的参数对象(每一个参数生成一个结构体)
struct __Block_byref__para1_0 {
void *__isa;
__Block_byref__para1_0 *__forwarding;
int __flags;
int __size;
char *_para1;
};
//block对象
struct __main1_block_impl_0 {
struct __block_impl impl;
struct __main1_block_desc_0* Desc;
__Block_byref__para1_0 *_para1; // by ref
__main1_block_impl_0(void *fp, struct __main1_block_desc_0 *desc, __Block_byref__para1_0 *__para1, int flags=) : _para1(__para1->__forwarding) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
//block 的实现
static void __main1_block_func_0(struct __main1_block_impl_0 *__cself) {
__Block_byref__para1_0 *_para1 = __cself->_para1; // bound by ref printf("exute _para1:%s,%p,%p\n",(_para1->__forwarding->_para1),(_para1->__forwarding->_para1),&(_para1->__forwarding->_para1));
}
//其他函数(copy、dispose:为了管理_Block_byref__para1_0 结构体变量的内存)
static void __main1_block_copy_0(struct __main1_block_impl_0*dst, struct __main1_block_impl_0*src) {_Block_object_assign((void*)&dst->_para1, (void*)src->_para1, /*BLOCK_FIELD_IS_BYREF*/);}

static void __main1_block_dispose_0(struct __main1_block_impl_0*src) {_Block_object_dispose((void*)src->_para1, /*BLOCK_FIELD_IS_BYREF*/);}

static struct __main1_block_desc_0 {
size_t reserved;
size_t Block_size;
void (*copy)(struct __main1_block_impl_0*, struct __main1_block_impl_0*);
void (*dispose)(struct __main1_block_impl_0*);
} __main1_block_desc_0_DATA = { , sizeof(struct __main1_block_impl_0), __main1_block_copy_0, __main1_block_dispose_0};
//这是我们的测试函数
void main1()
{
__attribute__((__blocks__(byref))) __Block_byref__para1_0 _para1 = {(void*),(__Block_byref__para1_0 *)&_para1, , sizeof(__Block_byref__para1_0), "a"};
printf("init _para1:%s,%p,%p\n",(_para1.__forwarding->_para1),(_para1.__forwarding->_para1),&(_para1.__forwarding->_para1));
void(*testBlock)(void)=(void (*)())&__main1_block_impl_0((void *)__main1_block_func_0, &__main1_block_desc_0_DATA, (__Block_byref__para1_0 *)&_para1, );
(_para1.__forwarding->_para1)="b";
printf("before _para1:%s,%p,%p\n",(_para1.__forwarding->_para1),(_para1.__forwarding->_para1),&(_para1.__forwarding->_para1));
((void (*)(__block_impl *))((__block_impl *)testBlock)->FuncPtr)((__block_impl *)testBlock);
printf("after _para1:%s,%p,%p\n",(_para1.__forwarding->_para1),(_para1.__forwarding->_para1),&(_para1.__forwarding->_para1));
}

发现和不加__block不太一样,多了一个结构体(_Block_byref__para1_0)


struct __Block_byref__para1_0 {
void *__isa;
__Block_byref__para1_0 *__forwarding;
int __flags;
int __size;
char *_para1;
};

这个结构体就是用__block 声明的变量,声明__block变量_para1 转换后的代码如下:

__attribute__((__blocks__(byref))) __Block_byref__para1_0 _para1 = {(void*),(__Block_byref__para1_0 *)&_para1, , sizeof(__Block_byref__para1_0), "a"};

其实就是生成一个_Block_byref__para1_0对象,__forwarding 指针指向变量结构体自己

void(*testBlock)(void)=(void (*)())&__main1_block_impl_0((void *)__main1_block_func_0, &__main1_block_desc_0_DATA, (__Block_byref__para1_0 *)&_para1, );

初始化block,传递结构体变量_para1、函数地址、描述信息等参数,block对象的成员 _para1 引用了_para1结构体的地址,这样就可以修改_para1,而且外界对_para1结构体的修改都可以同步到block对象的成员_para1中,修改代码如下:

(_para1.__forwarding->_para1)="b";

直接通过__Block_byref__para1_0 结构体的成员__forwarding(指向自己)取得_para1成员的地址,然后就可以读写,达到了修改变量的目的。

((void (*)(__block_impl *))((__block_impl *)testBlock)->FuncPtr)((__block_impl *)testBlock);

执行block,依然是通过调用函数指针 FuncPtr 实现,并传递block自身。函数体代码如下:

static void __main1_block_func_0(struct __main1_block_impl_0 *__cself) {
__Block_byref__para1_0 *_para1 = __cself->_para1; // bound by ref printf("exute _para1:%s,%p,%p\n",(_para1->__forwarding->_para1),(_para1->__forwarding->_para1),&(_para1->__forwarding->_para1));
}

在函数体内,通过block对象的成员_para1(__Block_byref__para1_0的指针,再通过自身的成员__forwarding指针来获取_para1。

我的理解就是指针引用的关系,不知道为什么要加一个__forwarding指针 ,直接去引用自身的成员 _para1难道不行吗?希望大神赐教。

block 解析 - block变量的更多相关文章

  1. block 解析 - 成员变量

    回顾 在 上一篇 中我们讲了截获变量特性,对于局部变量,变量不加__block修饰符,在block内部是无法修改变量的值.而且 对值类型的修改,如果block初始化后,无法同步到block内部 对于指 ...

  2. block 解析 - 形参变量

    block形参 之前漏了一篇block形参的介绍,这里给补上. block形参就是定义block带的参数,和函数的参数使用一样,我们可以在block随意使用修改block形参. 我们来看个例子: 我们 ...

  3. block 解析 - 静态变量

    静态变量 上一篇 我们了解了block全局变量的使用,静态变量和全局变量一样,可以直接在block内部使用,也可以在block内部修改 引用官方文档: Global variables are acc ...

  4. 深入研究Block捕获外部变量和__block实现原理

    Blocks是C语言的扩充功能,而Apple 在OS X Snow Leopard 和 iOS 4中引入了这个新功能“Blocks”.从那开始,Block就出现在iOS和Mac系统各个API中,并被大 ...

  5. Block解析(iOS)

    1. 操作系统中的栈和堆 我们先来看看一个由C/C++/OBJC编译的程序占用内存分布的结构: 栈区(stack):由系统自动分配,一般存放函数参数值.局部变量的值等.由编译器自动创建与释放.其操作方 ...

  6. block捕获自动变量和对象

    一.捕获自动变量值 首先看一个经典block面试题: int val = 10; void (^blk)(void) = ^{printf("val=%d\n",val);}; v ...

  7. block 解析 - 内存

    block结构体相应的也有一个成员引用,这样会增加对局部变量的 _para1引用,在Block销毁的时候引用就释放掉了 我们了解到了用__block修饰的变量,可以在block内部修改,__block ...

  8. block 解析 - 局部变量

    局部变量 block内使用局部变量,一般都是截获变量(只读),截获离block初始化最近的一次的值. 引用官方文档: Stack (non-static) variables local to the ...

  9. block 解析 - 简介

    简介 block 类似标准的c函数,除了一些函数体一些可执行的代码,还可以把变量绑定到自动栈或者托管堆上.....和js里的闭包.c# lambda表达式有些类似,实质是一个函数指针.与函数指针的区别 ...

随机推荐

  1. fedora 安装pylab 并简单绘制三角函数

    pylab 由 三个部分组成:scipy, matplotlab, numpy三部分组成,安装时需要分别安装这三部分,在fedora中,可以使用命令: sudo dnf install python- ...

  2. 使用jodconverter和swftools实现文件在线预览

    参考:仿百度文库解决方案(四)——利用JODConverter调用OpenOffice.org服务转换文档为PDF 文档在线预览主要用到如下两个工具 1,安装openoffice(同时下载jodcon ...

  3. HDU - 5009 Paint Pearls(dp+优化双向链表)

    Problem Description Lee has a string of n pearls. In the beginning, all the pearls have no color. He ...

  4. MVC3 验证码

    public ActionResult GetValidateCode()        {                         string code = CreateValidateC ...

  5. if语句之猜拳

    用计算机来生成随机数: Random rand = new Random();//做一个随机生成器,Random();后面的括号里面可以放一个随机生成器种子,这个种子只能为整数(int)int n = ...

  6. [爬虫]通过url获取连接地址中的数据

    1. 要想获取指定连接的数据,那么就得使用HtmlDocument对象,要想使用HtmlDocument对象就必需引用using HtmlAgilityPack; 2. 详细步骤如下:     步骤一 ...

  7. SQL 注入与防御实例

    注入 1. 创建存储 USE TSQL2012; GO IF OBJECT_ID('Sales.ListCustomersByAddress') IS NOT NULL DROP PROCEDURE ...

  8. How Many Answers Are Wrong(并查集)

    Description TT and FF are ... friends. Uh... very very good friends -________-b FF is a bad boy, he ...

  9. 「C」 函数、运算、流程控制

    一.函数 (一)什么是函数 任何一个C语言程序都是由一个或者多个程序段(小程序)构成的,每个程序段都有自己的功能,我们一般称这些程序段为“函数”. (二)函数的定义 目的:将一个常用的功能封装起来,方 ...

  10. 菜鸟初识UML

    首当其冲的就是:什么是UML呢? 首先,UML 是一种可视化的面向对象的建模语言.它是一个支持模型化和软件系统开发的图形化语言,为软件开发的所有阶段提供模型化和可视化支持,包括由需求分析到规格,到构造 ...