OC Block底层原理

  1. block的原理是怎样的？本质是什么？
    答: block本质是封装了函数调用和调用环境的OC对象,本质是结构体，block结构体内部有需要执行的代码块funcPtr和自己的大小size.

  2. __block的作用是什么？有什么使用注意点？
    答:__block 修饰的变量可以在block 内部修改. 注意循环引用

  3. block的属性修饰词为什么是copy？使用block有哪些使用注意?
    答: 如果block在栈空间上，那么block可能会被释放，使用copy是为了把block copy到堆上。注意循环引用的问题.

  4. block在修改NSMutableArray，需不需要添加__block？
    答: 如果是调用NSMutablearray的addObject方法，则不需要添加__block，如果直接修改NSMutablearray则需要。

int main(int argc, const char * argv[]) {
    int age = 10;
    void(^block)(int, int) = ^(int a, int b) {
        printf("this is block,a = %d,b = %d\n",a,b);
        printf("this is block,age = %d\n",age);
    };
    block(3, 5);
    return 0;
}
// 打印:
// this is block,a = 3,b = 5
// this is block,age = 10

问题: 为什么我们在定义block之后修改局部变量age的值,在block调用的时候无法生效?
答: 1.因为在定义block的时候,就把age值存在了__main_block_impl_0的结构体中.

  1. 当调用block的时候,就直接将age 从block中取出来.
  2. 因此在block定义以后,对局部变量进行修改无法被block捕获.
定义block变量

// 定义block变量
void(block)(int ,int) = ( (void ()(int, int))&__main_block_impl_0( (void *) __main_block_func_0, &__main_block_desc_0_DATA, age) );

__mian_block_impl_0 结构体定义
struct  __main_block_impl_0 {
struct __block_impl  impl;
struct __main_block_desc_0* Desc;
int age;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _age, int flags = 0) : age(_age) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;  // block内代码块地址
Desc = desc; // 存储block对象占用内存大小
  }
};

struct __main_block_impl_0 内部有一个同名构造函数, __main_block_impl_0(), 构造函数中对一些变量进行赋值最终返回一个结构体.
那么也就是说最终将一个__main_block_impl_0的结构体的地址赋值给了变量block.

(void*)__main_block_func_0

__main_block_func_0函数中储存着block下面的代码.
__main_block_impl_0()函数中传入的是 (void*)__main_block_func_0.

总结: 我们写在block中的代码被封装成__main_block_func_0函数, 并将__main_block_func_0的地址传入 __main_block_impl_0()的构造函数中,并保存在结构体中.

__main_block_desc_0 结构体定义
static struct __main_block_desc_0 {
size_t reserved;
size_t Block_size; // 存储着__main_block_impl_0的占用空间大小

} _main_block_desc_0_DATA = {0, sizeof(struct __main_block_impl_0)};

size_t Block_size, 存储着__main_block_impl_0 的占用空间大小
最终将__main_block_desc_0 的结构体地址传入到, __mian_block_func_0中赋值给Desc.

__block_impl 结构体定义
struct __block_impl {
  void *isa;
   int Flags;
   int Reserved;
    void *FuncPtr;
}

__block_impl 的内部有一个isa指针, 说明block的本质就是一个struct, 而构造函数中__main_block_impl_0()将传入的值存储在了 __main_block_impl_0结构体中,最终将结构体的值赋值给block.

总结:
  1. __block_impl的结构体中isa 指针存储着&_NSConcreteStackBlock地址.
  2. block代码块的代码被封装成 __main_block_func_0函数,
    FuncPrt则储存着__mian_block_func_0函数的地址.
  3. Desc指向 __main_block_desc_0结构体对象,其中存储__main_block_impl_0所占用的内存.
所以结构体之间的关系:
block的内部调用
block变量的捕获
auto变量

auto只存在于局部变量中,属于值传递.

static变量

static 修饰的变量为指针传递(引用),同样会被block 捕获;

void add() {
    auto int c = 30; // 传入值
    static int d = 40; // 传入地址
    void(^block)(void) = ^ {
        printf("c = %d, d = %d\n", c, d);
    };
    c = 5;
    d = 6;
    block();
}

差异性:

  1. 自动变量有可能被销毁,那如果去访问被销毁的地址会发生坏内存的情况,所以自动变量一定要值传递的.
  2. static静态变量不会被销毁,所以可以传递地址,因而传递的是值的地址, 所以在block调用之前修改了地址中的值,所以值会改变.
全局变量
int a = 10;
static int b = 11;
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        void(^block)(void) = ^{
            NSLog(@"hello, a = %d, b = %d", a,b);
        };
        a = 1;
        b = 2;
        block();
    }
    return 0;
}
// log hello, a = 1, b = 2

发现__main_block_impl_0 并没有添加任何变量, 因此block 不需要捕获全局变量.

总结: 局部变量都会被block捕获,自动变量是值类型捕获,静态变量为地址捕获,全局变量则不会被捕获.

修改block 内部值的优先级:
auto > static > 全局变量

block类型

上面了解到 block的isa 指针指向 _NSConCreteStrackBlock类对象地址.
向上继承关系:

__NSGlobalBlock__  ->  __NSGlobalBlock  -> NSBlock -   >NSObject
block 的继承关系
block 的三种类型
__NSGlobalBlock__ ( _NSConCreteGlobalBlock)
__NSStackBlock ( _NSConCreteStackBlock)
__NSMallocBlock ( _NSConcreteMallocBlock)

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        // 无访问auto变量, 类型为: __NSGlobalBlock__,数据段存放
        void(^block1)(void) = ^{
             NSLog(@"block 1");
        };
        // 访问了auto, 类型为__NSStackBlock__,存放在栈中
        int a = 10;
        void(^block2)(void) = ^{
            NSLog(@"block2 = %d", a);
        };
        
        NSLog(@"block1类型:%@\n, block2类型:%@\n, block3:%@\n",
              [block1 class],
              [block2 class],
// __NSStackBlock__类型block调用copy 成为__NSMallocBlock__
// 并复制在堆中
              [^{ NSLog(@"%d", a);
            
        } class]);
  
    }
    return 0;
}
// 打印值:
 block1类型:__NSGlobalBlock__
block2类型:__NSMallocBlock__
block3:__NSStackBlock__
block在内存中的存储
block在内存中的分配

上图中可以发现，根据block的类型不同，block存放在不同的区域中。
数据段中的NSGlobalBlock直到程序结束才会被回收，不过我们很少使用到NSGlobalBlock类型的block，因为这样使用block并没有什么意义。
NSStackBlock类型的block存放在栈中，我们知道栈中的内存由系统自动分配和释放，作用域执行完毕之后就会被立即释放，而在相同的作用域中定义block并且调用block似乎也多此一举。
NSMallocBlock是在平时编码过程中最常使用到的。存放在堆中需要我们自己进行内存管理。

block是如何定义其类型
block分配空间

// 注意: 栈中的代码在作用域结束之后内存就会被销毁

void (^block)(void);
void test() {
    // __NSStackBlock__,栈中
    int a = 10;
    block = ^{
        NSLog(@"block---------%d", a);
    };
}
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        test();
        block();
    }
    return 0;
}
// 因此可能会出现乱数据.

为了避免这种情况发生，可以通过copy将NSStackBlock类型的block转化为NSMallocBlock类型的block，将block存储在堆中，以下是修改后的代码。

void (^block)(void);
void test() {
    // __NSStackBlock__ 调用copy 转化为__NSMallocBlock__
    int age = 10;
    block = [^{
        NSLog(@"block---------%d", age);
    } copy];
    [block release];
}
其他类型的block调用copy改变block类型情况
  1. 所以在平时开发过程中MRC环境下经常需要使用copy来保存block，将栈上的block拷贝到堆中，即使栈上的block被销毁，堆上的block也不会被销毁，需要我们自己调用release操作来销毁。
  2. 而在ARC环境下系统会自动调用copy操作，使block不会被销毁。
所以在ARC 上:
1. block作为函数返回值时:
typedef void (^Block)(void);
Block myblock() {
    int a = 10;
    // 上文提到过，block中访问了auto变量，此时block类型应为__NSStackBlock__
    Block block = ^{
        NSLog(@"---------%d", a);
    };
    return block;
}
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        Block block = myblock();
        block();
       // 打印block类型为 __NSMallocBlock__
        NSLog(@"%@",[block class]);
    }
    return 0;
}
2. 将block赋值给__strong指针时:
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        // block内没有访问auto变量
        Block block = ^{
            NSLog(@"block---------");
        };
        NSLog(@"%@",[block class]); // __NSGlobalBlock__
        int a = 10;
        // block内访问了auto变量，但没有赋值给__strong指针
        NSLog(@"%@",[^{
            NSLog(@"block1---------%d", a);
        } class]); // __NSStackBlock__
        // block赋值给__strong指针
        Block block2 = ^{
          NSLog(@"block2---------%d", a);
        };
        NSLog(@"%@",[block1 class]);// __NSMallocBloak__
    }
    return 0;
3. block作为Cocoa API中方法名含有usingBlock的方法参数时:

例如：遍历数组的block方法，将block作为参数的时候。
NSArray *array = @[];
[array enumerateObjectsUsingBlock:^(id _Nonnull obj, NSUInteger idx, BOOL * _Nonnull stop) {

}];

4. block作为GCD API的方法参数时:

例如：GDC的一次性函数或延迟执行的函数，执行完block操作之后系统才会对block进行release操作。
static dispatch_once_t onceToken;
dispatch_once(&onceToken, ^{

});
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(1.0 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{

});

声明写法

通过上面对MRC及ARC环境下block的不同类型的分析，总结出不同环境下block属性建议写法。

MRC下block属性的建议写法
@property (copy, nonatomic) void (^block)(void);

ARC下block属性的建议写法
@property (strong, nonatomic) void (^block)(void);
@property (copy, nonatomic) void (^block)(void);

©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 206,839评论 6赞 482
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 88,543评论 2赞 382
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 153,116评论 0赞 344
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 55,371评论 1赞 279
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 64,384评论 5赞 374
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 49,111评论 1赞 285
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 38,416评论 3赞 400
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 37,053评论 0赞 259
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 43,558评论 1赞 300
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,007评论 2赞 325
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,117评论 1赞 334
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 33,756评论 4赞 324
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 39,324评论 3赞 307
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,315评论 0赞 19
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,539评论 1赞 262
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 45,578评论 2赞 355
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 42,877评论 2赞 345