Block本质:
block是封装函数及其上下文的OC对象,它内部也有个isa指针
block作为属性:@property (nonatomic, copy) void(^blockName)(NSString *);
block作为方法参数:
// 定义方法
- (void)testBlock:(void(^)(NSString * blockParam))callBack{
callBack(@"在方法中 调用了block");
}
// 调用方法
[self testBlock:^(NSString *blockParam) {
NSLog(@"block回调 到这里了 -- %@",blockParam);
}];
先从一个简单的需求来说:传入两个数,并且计算这两个数的和,为此创建了这样一个block:
int (^sumOfNumbers)(int a, int b) = ^(int a, int b) {
return a + b;
};
利用typedef简化Block的声明:typedef return_type (^BlockTypeName)(var_type);
Block捕获变量:
int age=10;
void (^Block)(void) = ^{
NSLog(@"age:%d",age);
};
age = 20;
Block();
输出值为 age:10
原因:创建block的时候,已经把age的值存储在里面了。
auto int age = 10;
static int num = 25;
void (^Block)(void) = ^{
NSLog(@"age:%d,num:%d",age,num);
};
age = 20;
num = 11;
Block();
输出结果为:age:10,num:11
$\color{red}{变量截获:}$
对于基本类型的局部变量截获其值
对于对象类型的局部变量连同所有权修饰符一起截获
以指针形式截获局部静态变量
不截获全局变量 全局静态变量
\auto变量block访问方式是值传递,static变量block访问方式是指针传递
在不加上__block修饰符的情况下,给在block内部的可变数组添加对象的操作是可以的
不需要__block修饰符:静态局部变量 全局变量 静态全局变量
Block类型:
全局Block(_NSConcreteGlobalBlock):不使用外部变量的block是全局block 在全局区/数据区
copy操作后什么都不改变
栈Block(_NSConcreteStackBlock):使用外部变量并且未进行copy操作的block是栈block 在栈区
copy操作后栈block变成堆block
堆Block(_NSConcreteMallocBlock):对栈block进行copy操作,就是堆block,而对全局block进行copy,仍是全局block 在堆区
copy操作后引用计数加一
__block
作用:
__block可以用于解决block内部无法修改auto变量值的问题
不需要__block来修改可以改变全局变量、静态变量、全局静态变量。其实这两个特点不难理解:
不能修改自动变量的值是因为:block捕获的是自动变量的const值,名字一样,不能修改
可以修改静态变量的值:静态变量属于类的,不是某一个变量。由于block内部不用调用self指针。所以block可以调用。
解决block不能修改自动变量的值,这一问题的另外一个办法是使用__block修饰符。
编译器会将__block变量包装成一个对象
__block修改变量:age->__forwarding->age
__Block_byref_age_0结构体内部地址和外部变量age是同一地址
val:保存了最初的val变量,也就是说原来单纯的int类型的val变量被__block修饰后生成了一个结构体。这个结构体其中一个成员变量持有原来的val变量。
__forwarding:通过__forwarding,可以实现无论__block变量配置在栈上还是堆上都能正确地访问__block变量,也就是说__forwarding是指向自身的。
block循环引用
一般来说我们总会在设置Block之后,在合适的时间回调Block,而不希望回调Block的时候Block已经被释放了,所以我们需要对Block进行copy,copy到堆中,以便后用。
Block可能会导致循环引用问题,因为block在拷贝到堆上的时候,会retain其引用的外部变量,那么如果block中如果引用了他的宿主对象,那很有可能引起循环引用
ARC下如何解决block循环引用的问题:
三种方式:__weak、__unsafe_unretained、__block
__weaktypeof(person)weakPerson=person;
__unsafe_unretained Person *person = [[Person alloc] init];
person.block = ^{
NSLog(@"age is %d", weakPerson.age);
};
__block Person *person = [[Person alloc] init];
person.block = ^{
NSLog(@"age is %d", person.age);
person = nil;
};
person.block();
面试题:
1.在block内如何修改block外部变量?
2.使用block时什么情况会发生引用循环,如何解决?
__weak是为了解决循环引用 __weak typeof(self) weakSelf = self;
如果一个对象A持有了一个block,同时block内又持有了对象A,为了解决循环引用我们要在用__weak修饰完对象A后再去持有它,这样就解决了循环引用。
__strong是为了防止block持有的对象提前释放 __strongtypeof(self)strongSelf=weakSelf;
3.为什么block对auto和static变量捕获有差异?
auto自动变量可能会销毁的,内存可能会消失,不采用指针访问;static变量一直保存在内存中,指针访问即可
4.lock对全局变量的捕获方式是?
block不需要对全局变量捕获,都是直接采用取值的
5. 如何判断block是哪种类型?
没有访问auto变量的block是__NSGlobalBlock __ ,放在数据段
访问了auto变量的block是__NSStackBlock __
[__NSStackBlock __ copy]操作就变成了__NSMallocBlock __
6. 对每种类型block调用copy操作后是什么结果?
__NSGlobalBlock __ 调用copy操作后,什么也不做
__NSStackBlock __ 调用copy操作后,复制效果是:从栈复制到堆;副本存储位置是堆
__NSMallocBlock __ 调用copy操作后,复制效果是:引用计数增加;副本存储位置是堆
7. 一个int变量被__block修饰与否的区别?
没有修饰,被block捕获,是值拷贝。
使用__block修饰,会生成一个结构体,复制int的引用地址。达到修改数据。
编译器会将__block变量包装成一个对象
__block修改变量:age->__forwarding->age
__Block_byref_age_0结构体内部地址和外部变量age是同一地址
之所以要放堆里,原因是栈中内存管理是由系统管理,出了作用域就会被回收,堆中才是可以由我们程序员管理。
Block可以修改外部变量的值,这里所说的外部变量的值,指的是栈中auto变量。__block作用是将auto变量封装为结构体(对象),在结构体内部新建一个同名auto变量,block内部截获该结构体的指针,在block中使用自动变量时,使用指针指向的结构体中的自动变量。于是可以达到修改外部变量的作用。
8.块为什么不允许修改外部变量的值?
苹果这样设计,应该是考虑到了块的特殊性,块本质上是一个对象,块的花括号区域是对象内部的一个函数,变量进入花括号,实际就是已经进入了另一个函数区域---改变了作用域。在几个作用域之间进行切换时,如果不加上这样的限制,变量的可维护性将大大降低。一个与外部同名的变量,此时是允许呢呢还是可以呢?只有加上了这样的限制,这样的情景才能实现
9. 为什么Block用copy关键字?
Block在没有使用外部变量时,内存存在全局区,然而,当Block在使用外部变量的时候,内存是存在于栈区,当Block copy之后,是存在堆区的。
存在于栈区的特点是对象随时有可能被销毁,一旦销毁在调用的时候,就会造成系统的崩溃。所以Block要用copy关键字。
答案和其他问题待更新!!!!!!!!!!!!!!!!!!!!!!!!!!!!!