iOS——Block two

news2024/12/28 5:10:48

Block  的实质究竟是什么呢？类型？变量？还是什么黑科技？
 Blocks 是 带有局部变量的匿名函数

Blocks 由 OC 转 C++ 源码方法

  1. 在项目中添加 blocks.m 文件，并写好 block 的相关代码。
  2. 打开「终端」，执行 cd XXX/XXX 命令，其中 XXX/XXX 为 block.m 所在的目录。
  3. 继续执行clang -rewrite-objc block.m
  4. 执行完命令之后，block.m 所在目录下就会生成一个 block.cpp 文件，这就是我们需要的 block 相关的 C++ 源码。
1. `/* 包含 Block 实际函数指针的结构体 */`
2. `struct __block_impl {`
3. `void *isa;`
4. `int Flags;`               
5. `int Reserved;        // 今后版本升级所需的区域大小`
6. `void *FuncPtr;      // 函数指针`
7. `};`
9. `/* Block 结构体 */`
10. `struct __main_block_impl_0 {`
11. `// impl：Block 的实际函数指针，指向包含 Block 主体部分的 __main_block_func_0 结构体`
12.     `struct __block_impl impl;`
13.     `// Desc：Desc 指针，指向包含 Block 附加信息的 __main_block_desc_0（） 结构体`
14.     `struct __main_block_desc_0* Desc;`
15.     `// __main_block_impl_0：Block 构造函数`
16.     `__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {`
17. `impl.isa = &_NSConcreteStackBlock;`
18.         `impl.Flags = flags;`
19.         `impl.FuncPtr = fp;`
20.         `Desc = desc;`
21.     `}`
22. `};`

23. `/* Block 主体部分结构体 */`
24. `static void __main_block_func_0(struct __main_block_impl_0 *__cself) {`
25. `printf("myBlock\n");`
26. `}`

27. `/* Block 附加信息结构体：包含今后版本升级所需区域大小，Block 的大小*/`
28. `static struct __main_block_desc_0 {`
29. `size_t reserved;        // 今后版本升级所需区域大小`
30. `size_t Block_size;    // Block 大小`
31. `} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};`

32. `/* main 函数 */`
33. `int main () {`
34.     `void (*myBlock)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));`
35.     `((void (*)(__block_impl *))((__block_impl *)myBlock)->FuncPtr)((__block_impl *)myBlock);`

36.     `return 0;`
37. `}`

Block 结构体

我们先来看看 __main_block_impl_0 结构体（ Block 结构体）

1. `/* Block 结构体 */`
2. `struct __main_block_impl_0 {`
3.     `// impl：Block 的实际函数指针，指向包含 Block 主体部分的 __main_block_func_0 结构体`
4.     `struct __block_impl impl;`
5.     `// Desc：Desc 指针，指向包含 Block 附加信息的 __main_block_desc_0（） 结构体`
6.     `struct __main_block_desc_0* Desc;`
7.     `// __main_block_impl_0：Block 构造函数`
8. `__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {`
9.         `impl.isa = &_NSConcreteStackBlock;`
10.         `impl.Flags = flags;`
11.         `impl.FuncPtr = fp;`
12.         `Desc = desc;`
13.     `}`
14. `};`

从上边我们可以看出，__main_block_impl_0 结构体（Block 结构体）包含了三个部分：

从上述代码可以看出block的本质是个 __main_block_impl_0 的结构体对象，这就是为什么能用 %@ 打印出block的原因了

  1. 成员变量 impl;
  2. 成员变量 Desc 指针;
  3. __main_block_impl_0 构造函数。
  4. 析构函数中所需要的函数：fp传递了具体的block实现__main_block_func_0，然后保存在block结构体的impl中

block捕获变量

这就说明了block声明只是将block实现保存起来，具体的函数实现需要自行调用
值得注意的是，当block为堆block时，block的构造函数会多出来一个参数a，并且在block结构体中多出一个属性a
Pasted image 20230725160455.png

接着把目光转向__main_block_func_0实现

  • __cself是__main_block_impl_0的指针，即block本身
  • int a = __cself->a即int a = block->a
  • 由于a只是个属性，所以是堆block只是值拷贝（值相同，内存地址不同）
  • 这也是为什么捕获的外界变量不能直接进行操作的原因，如a++会报错

当__block修饰外界变量的时候


[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Q6SlRlhS-1690945388106)(https://raw.githubusercontent.com/ArnoVD97/PhotoBed/master/photo202307281627162.png)]
__block修饰的属性在底层会生成响应的结构体，保存原始变量的指针，并传递一个指针地址给block——因此是指针拷贝
Pasted image 20230726093723.png
源码中增加了一个名为_Block_byref_a_0的结构体，用来保存我们要capture并且修改的变量i
__main_block_impl_0引用的是_Block_byref_a_0结构体指针，起到修改外部变量的作用
_ Block_byref_a_0里面有isa，也是一个对象
我们需要负责_Block_byref_a_0结构体相关的内存管理，所以_main_block_desc_0中增加了copy和dispose的函数指针，用于在抵用前后修改相应变量的引用计数

struct __block_impl impl 说明

第一部分 impl 是 __block_impl 结构体类型的成员变量。__block_impl 包含了 Block 实际函数指针 FuncPtr，FuncPtr 指针指向 Block 的主体部分，也就是 Block 对应 OC 代码中的 ^{ printf("myBlock\n"); }; 部分。还包含了标志位 Flags，今后版本升级所需的区域大小  Reserved，__block_impl 结构体的实例指针 isa。

1. `/* 包含 Block 实际函数指针的结构体 */`
2. `struct __block_impl {`
3. `void *isa;               // 用于保存 Block 结构体的实例指针`
4.   `int Flags;               // 标志位`
5.   `int Reserved;        // 今后版本升级所需的区域大小`
6.   `void *FuncPtr;      // 函数指针`
7. `};`

struct __main_block_desc_0* Desc 说明

第二部分 Desc 是指向的是 __main_block_desc_0 类型的结构体的指针型成员变量，__main_block_desc_0 结构体用来描述该 Block 的相关附加信息：

  1. 今后版本升级所需区域大小： reserved 变量。
  2. Block 大小：Block_size 变量。
1. `/* Block 附加信息结构体：包含今后版本升级所需区域大小，Block 的大小*/`
2. `static struct __main_block_desc_0 {`
3. `size_t reserved;      // 今后版本升级所需区域大小`
4. `size_t Block_size;  // Block 大小`
5. `} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};`

__main_block_impl_0 构造函数说明

第三部分是 __main_block_impl_0 结构体（Block 结构体） 的构造函数，负责初始化 __main_block_impl_0 结构体（Block 结构体） 的成员变量。

1. `__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {`
2. `impl.isa = &_NSConcreteStackBlock;`
3.     `impl.Flags = flags;`
4.     `impl.FuncPtr = fp;`
5.     `Desc = desc;`
6. `}`

关于结构体构造函数中对各个成员变量的赋值，我们需要先来看看 main() 函数中，对该构造函数的调用。

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

我们可以把上面的代码稍微转换一下，去掉不同类型之间的转换，使之简洁一点：

1. `struct __main_block_impl_0 temp = __main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA);`
2. `struct __main_block_impl_0 myBlock = &temp;`

这样，就容易看懂了。该代码将通过 __main_block_impl_0 构造函数，生成的 __main_block_impl_0 结构体（Block 结构体）类型实例的指针，赋值给 __main_block_impl_0 结构体（Block 结构体）类型的指针变量 myBlock。

可以看到， 调用 __main_block_impl_0 构造函数的时候，传入了两个参数。

  1. 第一个参数：__main_block_func_0。
        - 其实就是 Block 对应的主体部分，可以看到下面关于 __main_block_func_0 结构体的定义 ，和 OC 代码中 ^{ printf("myBlock\n"); }; 部分具有相同的表达式。
        - 这里参数中的 __cself 是指向 Block 的值的指针变量，相当于 OC 中的 self。

c++ /* Block 主体部分结构体 */ static void __main_block_func_0(struct __main_block_impl_0 *__cself) {      printf("myBlock\n"); }

  1. 第二个参数：__main_block_desc_0_DATA：__main_block_desc_0_DATA 包含该 Block 的相关信息。
    我们再来结合之前的 __main_block_impl_0 结构体定义。
    - __main_block_impl_0 结构体（Block 结构体）可以表述为：
1. `struct __main_block_impl_0 {`
2.      `void *isa;               // 用于保存 Block 结构体的实例指针`
3.     `int Flags;               // 标志位`
4.     `int Reserved;        // 今后版本升级所需的区域大小`
5.     `void *FuncPtr;      // 函数指针`
6.     `struct __main_block_desc_0* Desc;      // Desc：Desc 指针`
7. `};`

- __main_block_impl_0 构造函数可以表述为：

1. `impl.isa = &_NSConcreteStackBlock;    // isa 保存 Block 结构体实例`
2. `impl.Flags = 0;        // 标志位赋值`
3. `impl.FuncPtr = __main_block_func_0;    // FuncPtr 保存 Block 结构体的主体部分`
4. `Desc = &__main_block_desc_0_DATA;    // Desc 保存 Block 结构体的附加信息`

[[Block签名]]
__main_block_impl_0 结构体（Block 结构体）相当于 Objective-C 类对象的结构体，isa 指针保存的是所属类的结构体的实例的指针。_NSConcreteStackBlock 相当于 Block 的结构体实例。对象 impl.isa = &_NSConcreteStackBlock; 语句中，将 Block 结构体的指针赋值给其成员变量 isa，相当于 Block 结构体的成员变量 保存了 Block 结构体的指针，这里和 Objective-C 中的对象处理方式是一致的。

也就是说明： Block 的实质就是对象。

block的copy分析

接下来就来研究下栈block转换成到堆block的过程——_Block_copy

void *_Block_copy(const void *arg) {
    struct Block_layout *aBlock;

    if (!arg) return NULL;
    
    // The following would be better done as a switch statement
    aBlock = (struct Block_layout *)arg;
    if (aBlock->flags & BLOCK_NEEDS_FREE) {
        // latches on high
        latching_incr_int(&aBlock->flags);
        return aBlock;
    }
    else if (aBlock->flags & BLOCK_IS_GLOBAL) {
        return aBlock;
    }
    else {
        // Its a stack block.  Make a copy.
        struct Block_layout *result =
            (struct Block_layout *)malloc(aBlock->descriptor->size);
        if (!result) return NULL;
        memmove(result, aBlock, aBlock->descriptor->size); // bitcopy first
#if __has_feature(ptrauth_calls)
        // Resign the invoke pointer as it uses address authentication.
        result->invoke = aBlock->invoke;
#endif
        // reset refcount
        result->flags &= ~(BLOCK_REFCOUNT_MASK|BLOCK_DEALLOCATING);    // XXX not needed
        result->flags |= BLOCK_NEEDS_FREE | 2;  // logical refcount 1
        _Block_call_copy_helper(result, aBlock);
        // Set isa last so memory analysis tools see a fully-initialized object.
        result->isa = _NSConcreteMallocBlock;
        return result;
    }
}

整段代码主要分成三个逻辑分支

  1. 通过flags标识位——存储引用计数的值是否有效

block的引用计数不受runtime处理的，是由自己管理的

static int32_t latching_incr_int(volatile int32_t *where) {
    while (1) {
        int32_t old_value = *where;
        if ((old_value & BLOCK_REFCOUNT_MASK) == BLOCK_REFCOUNT_MASK) {
            return BLOCK_REFCOUNT_MASK;
        }
        if (OSAtomicCompareAndSwapInt(old_value, old_value+2, where)) {
            return old_value+2;
        }
    }
}

这里可能有个疑问
为什么引用计数是 +2 而不是 +1 ？
因为flags的第一号位置已经存储着释放标记

else if (aBlock->flags & BLOCK_IS_GLOBAL) {
    return aBlock;
}
  1. 是否是全局block——
else {
    // Its a stack block.  Make a copy.
    size_t size = Block_size(aBlock);
    struct Block_layout *result = (struct Block_layout *)malloc(size);
    // 开辟堆空间
    if (!result) return NULL;
    memmove(result, aBlock, size); // bitcopy first
#if __has_feature(ptrauth_calls)
    // Resign the invoke pointer as it uses address authentication.
    result->invoke = aBlock->invoke;

#if __has_feature(ptrauth_signed_block_descriptors)
    if (aBlock->flags & BLOCK_SMALL_DESCRIPTOR) {
        uintptr_t oldDesc = ptrauth_blend_discriminator(
                    &aBlock->descriptor,
                    _Block_descriptor_ptrauth_discriminator);
        uintptr_t newDesc = ptrauth_blend_discriminator(
                    &result->descriptor,
                    _Block_descriptor_ptrauth_discriminator);

        result->descriptor =
                    ptrauth_auth_and_resign(aBlock->descriptor,
                                            ptrauth_key_asda, oldDesc,
                                            ptrauth_key_asda, newDesc);
    }
#endif
#endif
    // reset refcount
    result->flags &= ~(BLOCK_REFCOUNT_MASK|BLOCK_DEALLOCATING);    // XXX not needed
    result->flags |= BLOCK_NEEDS_FREE | 2;  // logical refcount 1
    _Block_call_copy_helper(result, aBlock);
    // Set isa last so memory analysis tools see a fully-initialized object.
    result->isa = _NSConcreteMallocBlock;
    return result;
}
  1. 栈block -> 堆block的过程
  • 先通过malloc在堆区开辟一片空间
  • 再通过memmove将数据从栈区拷贝到堆区
  • invoke、flags同时进行修改
  • block的isa标记成_NSConcreteMallocBlock
    [[__block的深入研究]]

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/824863.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

Windows 使用 Linux 子系统，轻轻松松安装多个linux

Windows 使用 Linux 子系统，轻轻松松安装多个linux

Windows Subsystem for Linux WSL 简称WSL,是一个在Windows 10\11上能够运行原生Linux二进制可执行文件（ELF格式）的兼容层。它是由微软与Canonical公司合作开发，其目标是使纯正的Ubuntu、Debian等映像能下载和解压到用户的本地计算机&#…
阅读更多...
【计算机网络】NAT及Bridge介绍

【计算机网络】NAT及Bridge介绍

OSI七层模型 七层模型介绍及举例 为通过网络将人类可读信息通过网络从一台设备传输到另一台设备，必须在发送设备沿 OSI 模型的七层结构向下传输数据，然后在接收端沿七层结构向上传输数据。 数据在 OSI 模型中如何流动 库珀先生想给帕尔梅女士发一封电…
阅读更多...
Vue + el-upload阿里云文件上传进度条功能，阿里云文件上传切片进度条功能实现，el-upload文件上传真实进度条

Vue + el-upload阿里云文件上传进度条功能，阿里云文件上传切片进度条功能实现，el-upload文件上传真实进度条

el-upload阿里云文件上传进度条功能&#xff0c;进度条切片功能&#xff0c;做一个记录&#xff0c;此功能查询过其他文档&#xff0c;最终都还是实现不了&#xff08;这是真实进度条&#xff0c;就是根据文件上传过程中文件切片实现的&#xff09; 效果&#xff1a; <t…
阅读更多...
电脑黑屏按什么键恢复？掌握这3个按键，轻松解决！

电脑黑屏按什么键恢复？掌握这3个按键，轻松解决！

“电脑怎么会突然就黑屏呢&#xff1f;我看综艺看得好好的莫名其妙电脑就黑屏了&#xff0c;怎么按都没有用。电脑黑屏应该怎么解决呢&#xff1f;大佬快帮帮我&#xff01;” 对于电脑黑屏的问题&#xff0c;很多小伙伴应该都不陌生吧。在实际使用电脑的操作中&#xff0c;或许…
阅读更多...
干货 | 三款民宿App会员评测，你都用过吗？

干货 | 三款民宿App会员评测，你都用过吗？

为了留存用户&#xff0c;许多旅游住宿类APP都开通了会员权益&#xff0c;对老用户来说&#xff0c;会员等级的提升会为他们带来更多的权益及优惠&#xff0c;那么问题来了&#xff0c;到底哪家的会员优惠更多呢&#xff1f; 根据第三方统计的下载数据来看&#xff0c;APP STO…
阅读更多...
云计算与大数据领域新指南 | 《揭秘云计算与大数据》助您驾驭数字化浪潮！

云计算与大数据领域新指南 | 《揭秘云计算与大数据》助您驾驭数字化浪潮！

日前&#xff0c;《揭秘云计算与大数据》正式上市。这本由国际知名的技术专家撰写的书籍&#xff0c;将带领读者深入了解云计算和大数据领域的技术前沿和应用趋势&#xff0c;为读者呈现一个全面而深入的视角。 随着信息技术的飞速发展&#xff0c;云计算和大数据作为两大前沿…
阅读更多...
iOS——Block回调

iOS——Block回调

先跟着我实现最简单的 Block 回调传参的使用&#xff0c;如果你能举一反三&#xff0c;基本上可以满足了 OC 中的开发需求。已经实现的同学可以跳到下一节。 首先解释一下我们例子要实现什么功能&#xff08;其实是烂大街又最形象的例子&#xff09;&#xff1a; 有两个视图控…
阅读更多...
自问自答----WEB篇

自问自答----WEB篇

目录 1、https和http协议的端口 2、http协议的版本 3、linux中查看报文的方法 3.1 curl www.baidu.com -v 3.2 wget --debug www.baidu.com 4、http有哪些请求方法 5、http的请求头 6、http响应头​编辑 7、状态码有哪些 8、uri和url 9、静态&#xff1f;动态&#x…
阅读更多...
第九章 HL7 架构和可用工具 - 查看批量消息

第九章 HL7 架构和可用工具 - 查看批量消息

文章目录 第九章 HL7 架构和可用工具 - 查看批量消息查看批量消息Class类有关 HL7 消息类别的详细信息TypeCategoryName 第九章 HL7 架构和可用工具 - 查看批量消息 查看批量消息 如果消息是一组批处理格式的 HL7 消息&#xff0c;而不是单个 HL7 消息&#xff0c;则 HL7 文档…
阅读更多...
三星书画联展：三位艺术家开启国风艺术之旅

三星书画联展：三位艺术家开启国风艺术之旅

7月22日&#xff0c;由广州白云区文联、白云区工商联主办的“三星书画联展”&#xff0c;在源美术馆正式开展。本次书画展展出的艺术种类丰富&#xff0c;油画、国画、彩墨画、书法等作品异彩纷呈。广东省政协原副主席、农工党省委书画院名誉院长马光瑜&#xff0c;意大利艺术研…
阅读更多...
小程序安全性加固：如何保护用户数据和防止恶意攻击

小程序安全性加固：如何保护用户数据和防止恶意攻击

第一章&#xff1a;引言 在当今数字化时代&#xff0c;移动应用程序的使用已经成为人们日常生活中的重要组成部分。小程序作为一种轻量级的应用程序形式&#xff0c;受到了广泛的欢迎。然而&#xff0c;随着小程序的流行&#xff0c;安全性问题也日益凸显。用户数据泄露和恶意攻…
阅读更多...
SpringBoot项目修改中静态资源，只需刷新页面无需重启项目（附赠—热加载）

SpringBoot项目修改中静态资源，只需刷新页面无需重启项目（附赠—热加载）

初衷 &#x1f4a2;初衷&#x1f4a2; 因为一遍遍修改并重启项目觉得很麻烦&#xff0c;所以刚开始就自己给项目配置了热加载&#xff0c;但奈何代码更新还是慢&#xff0c;还不如我重启一遍项目的速度&#xff0c;所以放弃了自己上网找到的热加载配置。直到我debugger前端代码…
阅读更多...
星戈瑞 | DSPE-PEG-CY5荧光成像技术在生物医学研究中的重要性

星戈瑞 | DSPE-PEG-CY5荧光成像技术在生物医学研究中的重要性

DSPE-PEG-CY5荧光成像技术在生物医学研究中具有重要性&#xff0c;其在成像和标记方面的优势为生物学和医学领域提供了强大的工具。以下是DSPE-PEG-CY5荧光成像技术在生物医学研究中的重要性&#xff1a; 1. 非侵入性成像&#xff1a;DSPE-PEG-CY5荧光成像技术是一种非侵入性的…
阅读更多...
面试必考精华版Leetcode2095. 删除链表的中间节点

面试必考精华版Leetcode2095. 删除链表的中间节点

题目&#xff1a; 代码&#xff08;首刷看解析 day22&#xff09;&#xff1a; class Solution { public:ListNode* deleteMiddle(ListNode* head) {if(head->nextnullptr) return nullptr;ListNode *righthead;ListNode *lefthead;ListNode *NodeBeforeLeft;while(right!n…
阅读更多...
【NLP】训练chatglm2的评价指标BLEU，ROUGE

【NLP】训练chatglm2的评价指标BLEU，ROUGE

衡量模型输出的描述语句的准确性&#xff0c;因为衡量的对象是一个个的自然语言文本&#xff0c;所以通常会选择自然语言处理领域的相关评价指标。这些指标原先都是用来度量机器翻译结果质量的&#xff0c;并且被证明可以很好的反映待评测语句的准确性&#xff0c;主要包含4种&…
阅读更多...
IDEA中maven项目失效，pom.xml文件橙色/橘色

IDEA中maven项目失效，pom.xml文件橙色/橘色

IDEA中maven项目失效&#xff0c;pom.xml文件橙色/橘色 IDEA中Maven项目失效 IDEA中创建的maven项目中的文件夹都变成普通格式&#xff0c;pom.xml变成橙色 右键点击橙色的pom.xml文件&#xff0c;选择add as maven project maven项目开始重新导入相应依赖&#xff0c;恢复…
阅读更多...
智驾「完整数据闭环」受困，谁能蹚出一条最佳路线？

智驾「完整数据闭环」受困，谁能蹚出一条最佳路线？

城市NOA&#xff0c;标志着自动驾驶商业化的一座里程碑&#xff0c;也意味着智能汽车下半场的开端。 自2023年上海车展以来&#xff0c;有关城市NOA的路线之争逐渐明晰&#xff0c;“重感知&#xff0b;轻地图”、借助纯感知和融合感知路线、以及BEVTransformer模型的智能驾驶…
阅读更多...
为什么有的时候Socks5比HTTP爬虫IP更快？

为什么有的时候Socks5比HTTP爬虫IP更快？

作为一名长期从事爬虫行业动态IP解决方案服务商&#xff0c;我发现经常有客户疑惑&#xff1a;为什么有的时候Socks5代理IP比HTTP代理IP更快&#xff1f;其实&#xff0c;这个是很常见的一种现象。今天&#xff0c;我就来分析一下为什么Socks5代理IP有时比HTTP代理IP更快&#…
阅读更多...
基于django社区物品转让平台-计算机毕设 附源码40507

基于django社区物品转让平台-计算机毕设 附源码40507

django社区物品转让平台 目 录 摘 要 Abstract 第1章 前 言 1.1 研究背景 1.2 研究现状 1.3 系统开发目标 第2章 技术与原理 2.1 开发技术说明 2.2 B/S体系工作原理 2.3 Django框架介绍 6 2.4 MySQL数据库 7 2.5 Ajax应用 8 第3章 需求分析 9 3.1 需…
阅读更多...
vue报错的几种情况 Duplicate keys detected: ‘1‘. This may cause an update error.

vue报错的几种情况 Duplicate keys detected: ‘1‘. This may cause an update error.

在遍历多层数组时&#xff0c; 出现以上情况是因为key值不值唯一的&#xff0c;只需要将key后面的值拼接一个简单的字段即可。如下&#xff1a; 这样就不会报错啦~
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023