iOS进阶 - Block底层原理

Block简介

Block的使用

1.Block属性

@property (nonatomic, copy) void(^block)(void);

通常我们用copy来修饰Block属性,其实在ARC下系统已经自动将Block拷贝到堆中,所以用strong和copy效果相同。但便于统一,所以copy修饰Block的习惯就保留下来了。
2.方法中Block参数

- (void)action:(void(^)(void)) {
}

Block是能够自动捕获外界变量的匿名函数,也是一个对象

在iOS中,对象和类对象都是结构体,首地址是isa指针,而Block本身也是结构体,所以首地址是isa指针的Block就是一个对象类型,原因在下方“__block原理”。

Block循环引用的经典例子

Block循环引用的经典例子

解决循环引用问题

循环引用的主要原因是 self -> block -> self 的持有方式,导致self无法释放,破解的办法就是打破这个持有方式,增加中间量。

// 循环引用的解决办法

@property (nonatomic, strong) NSString *name;
@property (nonatomic, copy) void(^block)(void);

// 1. weak strong dance
self.name = @"test";
__weak typeof(self) weakSelf = self;
self.block = ^{
    // 使用__strong的原因是如果self被释放了,那么打印的是null
    // 持有链是self -> block -> strongSelf -> self,strongSelf是局部变量,会被释放,所以可以打破循环
    __strong typeof(self) strongSelf = weakSelf;
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        NSLog(@"%@", strongSelf.name);
    });
};

// 2. 使用中间变量
__block ViewController *vc = self;
self.block = ^{
    // 持有链是self -> block -> vc -> self,vc是外部变量,手动释放后也可打破循环
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        NSLog(@"%@", strongSelf.name);
        vc = nil;
    });
};

// 3.将需要引用的数据当做Block参数,传入到代码块中
@property (nonatomic, copy) void(^block)(ViewController *vc);
self.block = ^(ViewController *vc) {
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        NSLog(@"%@", vc.name);
    });
};

Block在内存中的位置常用的有3种

Block在内存中的位置

Block普遍根据操作数据的分区来决定自己的位置,防止跨区操作消耗性能。

如果外部变量不用__block修饰,为什么在Block内部不可以修改该变量

1.我们先看下面的代码

__block int a = 10;
NSLog(@"操作前:%p", &a);
void(^block)(void) = ^{
    a ++;
    NSLog(@"操作中:%p", &a);
};
block();
NSLog(@"操作后:%p", &a);

打印结果如下


__block修饰变量的内存变化

由此我们可以得到一个暂时的结论:数据从栈拷贝到了堆区。
但这个结论是否正确,我们还要进一步验证。

为了验证我们刚刚的结论,我们进行底层编译。
在Terminal中创建一个.c文件,写入如下代码:

#include "stdio.h"
int main() {
    void(^block)(void) = ^{
        printf("block\n");
    };
    block();
    return 0;
}

使用gcc进行编译得到的a.out,再执行a.out,打印出block,
再使用clang -rewrite-objc blockTest.c -o blockCPP.cpp,得到并打开C++文件:

// 其中有个__main_block_impl_0,我们搜索一下,找到对应的结构体
// 其中__block_impl就是Block的结构体
struct __main_block_impl_0 {
    struct __block_impl impl;
    struct __main_block_desc_0* Desc;
    // fp就是Block代码块的实现指针
    __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
        // 根据impl.isa,可以得出Block是一个对象(源码中的NSObject协议里面有一个isa)。
        impl.isa = &_NSConcreteStackBlock;
        impl.Flags = flags;
        impl.FuncPtr = fp;    // 将fp赋值给属性函数进行保存
        Desc = desc;
    }
};

// Block代码块的底层函数
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
    printf("block - %d", a);
}

int main() {
    void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
    ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    return 0;

    // 简化为下方
    // 为什么要调用Block的原因也清楚了,第一步只是定义了Block,将fp赋值给funcPtr,但并没有调用方法
    id block = __main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA);
    block->FuncPtr(block);
}

由此我们可以得到一些结论:Block中自定义的代码块本质也是一个函数,创建Block时将该函数指针保存在Block结构体中。

2.接着我们重新编译blockTest.c,将代码改为下方:

#include "stdio.h"
int main() {
    int a = 10;
    void(^block)(void) = ^{
        printf("block - %d\n", a);
    };
    block();
    return 0;
}

clang之后的C++代码如下:

struct __main_block_impl_0 {
    struct __block_impl impl;
    struct __main_block_desc_0* Desc;
    // 多了一个变量a
    int a;
    /// 构造函数也多了一个参数
    __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _a, int flags=0) : a(_a) {
        impl.isa = &_NSConcreteStackBlock;
        impl.Flags = flags;
        impl.FuncPtr = fp;
        Desc = desc;
    }
};

// Block的内部代码,其实就是将结构体中的变量a赋值给一个局部变量a
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
    int a = __cself->a; // bound by copy
    printf("block - %d", a);
}

int main() {
    int a = 10;
    // 创建Block时,将a赋值到Block结构体中
    void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, a));
    ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    return 0;
}

我们可以看到,Block结构体中多了一个int类型的变量a,并且构造函数也多了一个参数,这其实就是Block自动捕获了外部变量a,将a赋值到结构体中进行保存。
我们无法修改变量的原因也了解到了:Block代码块中我们使用的是局部变量,所以无法修改原变量的值。

3.接下来我们将.c文件中的代码修改为:

#include "stdio.h"
int main() {
    __block int a = 10;
    void(^block)(void) = ^{
        a ++;
        printf("block - %d\n", a);
    };
    block();
    return 0;
}

clang之后获得的C++代码为:

// 多了一个结构体a,里面保存的是a的值和地址
struct __Block_byref_a_0 {
    void *__isa;
    __Block_byref_a_0 *__forwarding;
    int __flags;
    int __size;
    int a;
};

struct __main_block_impl_0 {
    struct __block_impl impl;
    struct __main_block_desc_0* Desc;
    // 变量a变成了结构体a
    __Block_byref_a_0 *a; // by ref
    __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_a_0 *_a, int flags=0) : a(_a->__forwarding) {
        impl.isa = &_NSConcreteStackBlock;
        impl.Flags = flags;
        impl.FuncPtr = fp;
        Desc = desc;
    }
};

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
    // 修改的是结构体中的a的值
    __Block_byref_a_0 *a = __cself->a; // bound by ref
    (a->__forwarding->a) ++;
    printf("block - %d", (a->__forwarding->a));
}

int main() {
    // __block的本质就是创建一个结构体,将变量a的值和原来的地址保存到结构体中
    __attribute__((__blocks__(byref))) __Block_byref_a_0 a = {(void*)0,(__Block_byref_a_0 *)&a, 0, sizeof(__Block_byref_a_0), 10};
    void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_a_0 *)&a, 570425344));
    ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    return 0;

    // 简化如下
    __Block_byref_a_0 a = {
        (void*)0,
        (__Block_byref_a_0 *)&a, 
        0, 
        sizeof(__Block_byref_a_0), 
        10};
    void(*block)(void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_a_0 *)&a, 570425344);
    block->FuncPtr(block);
}

所以我们得到的暂时结论:“数据从栈拷贝到堆上”是不准确的。

总结:

1.Block是一个对象,底层是一个结构体,保存自定义代码的函数指针
2.未使用__block情况下捕获到外部变量a时,将外部变量a赋值到Block结构体中的变量进行保存,自定义代码中调用时使用的是新创建局部变量a1,所以无法修改外部变量a的值。
3.__block的本质是创建一个结构体也是对象as,所以我们之前打印的地址是堆的地址。as中保存了变量a的地址和值,自定义代码中修改的就是结构体as中a的值。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,509评论 6 504
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,806评论 3 394
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 163,875评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,441评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,488评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,365评论 1 302
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,190评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,062评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,500评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,706评论 3 335
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,834评论 1 347
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,559评论 5 345
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,167评论 3 328
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,779评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,912评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,958评论 2 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,779评论 2 354

推荐阅读更多精彩内容