iOS——Block two

最新推荐文章于 2024-10-31 19:41:47 发布
最新推荐文章于 2024-10-31 19:41:47 发布
阅读量1.4k 收藏
点赞数
文章标签： ios cocoa macos
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/cyberjack/article/details/132057714
版权

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的深入研究]]
漓江塔塔主
关注
IOS学习——SDWebImage配置及使用
blue_jjw的专栏
06-17 9380
1.SDWebImage安装配置一 下载SDWebImage：https://github.com/rs/SDWebImage Installation There are two ways to use this in your project: copy all the files into your project, or import the project as a
iOS——Block笔记
weixin_34205076的博客
01-13 119
2019独角兽企业重金招聘Python工程师标准>>> ...
ios开发 循环引用 检测_iOS开发——Block引起循环引用的解决方案
weixin_39861955的博客
12-19 188
[目前总结了一下，在iOS平台容易引起循环引用的几个场景：一、parent-child模式二、block(编译器会提示警告)三、NSTimer]up vote 0down votefavoritehello, i need to crawl some websites say some 1000 websites i need an open source web crawler in java ...
IOS开发系列——Block专题【整理，部分原创】
junbaozi的专栏
01-09 600
Block专题 前面基本概念部分从网上文章整理，后面使用经验为原创。 1    概念简介 Block具有将临时函数体创建为表达式的优势。Apple文档中指出：  Block是符合如下要求的匿名内联的代码集： 1 、和函数一样具有一个指定类型的参数列表； 2 、有一个可以推导或声明的返回值类型； 3 、可以从它被定义的词义范围中捕捉状态； 4 、可以在需要的时候改变词义范围的状态；
【iOS】—— JSONModel
qq_72437394的博客
08-16 797
JSONModel是一个在iOS应用程序中使用的开源库，主要功能是JSON数据映射到Objective-C对象上。使用JSONModel可以方便地处理服务器返回的JSON格式的数据，将其转化为Objective-C对象，使得数据访问变的更加简单。JSONModel提供了一种间接的方式来定义数据模型，开发者只需要创建一个继承自JSONModel的类，并在其中定义属性，将可以将JSON数据映射到对象上。JSONModel之间的嵌套关系可以通过嵌套JSONModel子类来实现。
iOS开发——SDWebImage源码
weixin_51638861的博客
05-22 698
SDWebImage的具体功能 SDWebImage是一个开源的第三方库，它提供了UIImageView的一个分类，以支持从远程服务器下载并缓存图片的功能。它具有以下功能： 一个异步的图片加载器。 一个异步的内存+磁盘图片缓存 支持GIF、WebP图片 后台图片解压缩处理 确保同一个URL的图片不被多次下载 确保非法的URL不会被反复加载 确保下载及缓存时，主线程不被阻塞。 在最开始先简单介绍这个框架： 这个框架的核心类是SDWebImageManger，在外部有UIImageView+WebCache
【iOS】—— SDWebImage源码学习
m0_62386635的博客
03-22 505
这里先将任务加入到正在执行的列表里面，然后再对context进行预处理，源代码是没有对options进行说明处理的，然后将context跟options放入result里面。在下载任务开始的时候，SDWebImageManager首先访问SDImageCache来查询是否存在缓存，如果有缓存，直接返回缓存的图片。实际上，所有的操作都是由一个实际上，所有的操作都是由一个operationDictionary字典维护的，执行新的操作之前，cancel所有的operation。
IOS block编程指南 5 Block和变量
B9班的真高兴
03-18 1349
Blocks and Variables（Block和变量） This article describes the interaction between blocks and variables, including memory management. 本文讲述了block和变量之间的内在关系，包括内存管理。 Types of Variable（变量类型） With
【iOS】—— Foundation框架（五）- 字典（NSDictionary与NSMutableDictionary）
m0_55124878的博客
06-05 1100
7.8 字典（NSDictionary与NSMutableDictionary） NSDictionary用于保存具有映射关系的数据，因此，NSDictionary集合里保存着两组值，一组值用于保存NSDictionary里的key，另一组值用于保存NSDictionary里的value。 注意：key和value都可以是任何引用类型的数据，Map的key不允许重复。 key和value之间存在单向一对一关系，即通过指定的key，总能找到唯一的、确定的value。 从NSDictionary中取出数据时，只
解题报告——Block Game（思维题）（Benelux Algorithm Programming Contest 2016 Preliminary）（计蒜客）
weixin_43899069的博客
09-05 1625
Description You are attending the International Construction by Preschoolers Contest. Unfortunately,you are too old to participate, but you still enjoy watching the competition.In between rounds, you are walking around the contest area when you see a todd.
button渐变色 ios_iOS 技术篇:渐变色的简单实现方式
weixin_39716921的博客
12-19 284
实现效果//渐变设置UIView *view = [[UIView alloc] initWithFrame:CGRectMake(,, [UIScreen mainScreen].bounds.size.width, )];UIColor *colorOne = [UIColor colorWithRed:255.0/255.0 green:255.0/255.0 blue:255.0/255....
板凳——————————————————c++(104)
fengye207161的博客
03-13 1586
c++ Primer Plus (第六版) #if 0 #include int main(){ unsigned int yards {}, feet{}, inches {}; std::cout << "Enter a distance as yards, feet, and inches " << “with the three values separated by spaces:” << std::endl; std::cin >> yards
【iOS 开发学习总结-OC-31】★★OC之foundation 框架——字典（NSDictionary 与 NSMutableDictionary）
teropk的博客
06-06 277
NSDictionary用于保存具有映射关系的数据。NSDictionary集合保存了2组值——一组存 key, 一组存 value。value与 key 都可以是任何引用类型的数据。Map 的 key 不允许重复。value与 key存在但相向一对一的关系。一个 key 对应唯一的一个 value.NSDictionary的功能与用法NSDictionary的创建同样有类方法和实例方法。以 di...
【IOS 开发学习总结-OC-31】★★OC之foundation 框架——字典（NSDictionary 与 NSMutableDictionary）
teropk的博客
06-06 165
NSDictionary用于保存具有映射关系的数据。NSDictionary集合保存了2组值——一组存 key, 一组存 value。value与 key 都可以是任何引用类型的数据。Map 的 key 不允许重复。value与 key存在但相向一对一的关系。一个 key 对应唯一的一个 value.NSDictionary的功能与用法NSDictionary的创建同样有类方法和实例方法。以 di...
苹果开发 IOS 证书生成步骤
一直在路上
10-28 470
PS：网上说的那些一大堆，都是乱弹琴的。核心步骤就是证书签名过程。
使用libimobiledevice+ifuse访问iOS沙盒目录
0.85度的博客
10-28 984
使用libimobiledevice+ifuse访问iOS沙盒目录，查看iOS app业务数据或日志
UE 引入 IOS framework库的坑
最新发布
qq_59398646的博客
10-31 224
多出了这个文件 就影响了 上传到开发者后台 就报错 90034 将其删除就好 （这个是mac文件系统自己创建的 史 ） 如何查出来的？在xcode中 xcode生成的头文件 name-Swift.h 不可以 在 .h 文件中 所以需要前向声明 @class Name;一、我明明已经把framework库进行签名的却在 上传到开发者后台时一直报错 90034 签章遗失 或者 未签。这是我的framework库的目录 关键就在这了。这个问题我最近遇到 极其坑爹。
iOS静态库（.a）及资源文件的生成与使用详解（OC版本）
weixin_39339407的博客
10-27 949
通过本篇博客的介绍，我们了解了如何在OC项目中生成并集成包含资源文件的静态库.a。相对于Swift的静态库，OC中需要自行设置对外开放文件，这一点需要注意。静态库的使用不仅能让代码复用更高效，同时也有助于项目结构的清晰和模块化的实现。在实际开发中，掌握这种方式可以帮助我们更灵活地管理资源，提高代码的可维护性和移植性。希望本篇内容能够为大家提供一个实用的开发思路，在后续的项目中更好地应用静态库的特性。
axios 如何取消请求
forgiveForever的博客
10-26 291
可以看到 源码中，判断是否有取消的理由（即reason）,存在 就会执行 listener （即外部传入的onCanceled），给构造函数 CancelToken 原型上设置 unsubscribe 函数，用于删除指定的监听器。给构造函数 CancelToken 原型上设置 subscribe 函数，用于添加订阅 监听器。onCanceled 中 request.abort() 即为 XHR 取消请求的方法。执行 executor 函数，传入 cancel 函数（即取消函数）
iOS OC Block编程实践与学习总结
资源摘要信息:"iOS Block学习总结demo" iOS中的Block（块）是一种C、C++、Objective-C中的词法闭包（Lexical Closure）特性，允许在代码块内捕获和封装状态。在Objective-C编程语言中，Block被广泛应用于多线程编程...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值