iOS 内功心法 程序安全方面

 

程序安全, 你大爷的.😂

 

---

block作为类的属性时用copy

 

1. block作为类的属性时用copy

 

Block属性的声明，首先需要用copy修饰符，因为只有copy后的Block才会在堆中，栈中的Block的生命周期是和栈绑定的

<栈 :由系统维护的局部变量 是存在栈上的，其生命周期随函数的生命周期>

<堆 :由程序员申请空间地址，由程序员手动释放，生命周期受到程序员控制>

使用retain也可以，因为block的retain行为默认是用copy的行为实现的，block变量默认是声明为栈变量的，为了能够在block的声明域外使用，所以要把block拷贝（copy）到堆，所以说为了block属性声明和实际的操作一致，最好声明为copy。

 

另一个需要注意的问题是关于线程安全，在声明Block属性时需要确认“在调用Block时另一个线程有没有可能去修改Block？”这个问题，如果确定不会有这种情况发生的话，那么Block属性声明可以用nonatomic。如果不肯定的话（通常情况是这样的），那么你首先需要声明Block属性为atomic，也就是先保证变量的原子性（Objective-C并没有强制规定指针读写的原子性）。

 

但是，有了atomic来保证基本的原子性还是没有达到线程安全的，接着在调用时需要把Block先赋值给本地变量，以防止Block突然改变。因为如果不这样的话，即便是先判断了Block属性不为空，在调用之前，一旦另一个线程把Block属性设空了，程序就会crash，如下代码：

if (self.myBlock)
{
    //此时，走到这里，self.myBlock可能被另一个线程改为空，造成crash
    //注意：atomic只会确保myBlock的原子性，这种操作本身还是非线程安全的
    self.myBlock(123);
}

 

所以正确的代码是（ARC）：

MyBlockType block = self.myBlock;
//block现在是本地不可变的
if (block)
{
    block(123);
}

在非ARC下则需要手动retain一下，否则如果属性被置空，本地变量就成了野指针了，如下代码：

//非ARC
MyBlockType block = [self.myBlock retain];
if (block)
{
    block(123);
}
[block release];

 

2. 循环引用问题

循环引用是另一个使用Block时常见的问题。

在ARC下，由于__block抓取的变量一样会被Block retain，所以必须用弱引用才可以解决循环引用问题，iOS 5之后可以直接使用__weak，之前则只能使用__unsafe_unretained了，__unsafe_unretained缺点是指针释放后自己不会置空。示例代码：

//iOS 5之前可以用__unsafe_unretained
//__unsafe_unretained typeof(self) weakSelf = self;
__weak typeof(self) weakSelf = self;
self.myBlock = ^(int paramInt)
{
    //使用weakSelf访问self成员
    [weakSelf anotherFunc];
};

 

在非ARC下，显然无法使用弱引用，这里就可以直接使用__block来修饰变量，它不会被Block所retain的，参考代码：

//非ARC
__block typeof(self) weakSelf = self;
self.myBlock = ^(int paramInt)
{
    //使用weakSelf访问self成员
    [weakSelf anotherFunc];
};

---

strong和copy的区别

问题描述

在定义一个类的property时候，为property选择strong还是copy特别注意和研究明白的，如果property是NSString或者NSArray及其子类的时候，最好选择使用copy属性修饰。为什么呢？这是为了防止赋值给它的是可变的数据，如果可变的数据发生了变化，那么该property也会发生变化。

代码示例

还是结合代码来说明这个情况

@interface Person : NSObject
@property (strong, nonatomic) NSArray *bookArray1;
@property (copy, nonatomic) NSArray *bookArray2;
@end

@implementation Person
//省略setter方法
@end

//Person调用
main(){
    NSMutableArray *books = [@[@"book1"] mutableCopy];
    Person *person = [[Person alloc] init];
    person.bookArray1 = books;
    person.bookArray2 = books;
    [books addObject:@"book2"];
    NSLog(@"bookArray1:%@",person.bookArray1);
    NSLog(@"bookArray2:%@",person.bookArray2);
}

我们看到，使用strong修饰的person.bookArray1输出是[book1,book2]，而使用copy修饰的person.bookArray2输出是[book1]。这下可以看出来区别了吧。

备注：使用strong，则person.bookArray1与可变数组books指向同一块内存区域，books内容改变，导致person.bookArray1的内容改变，因为两者是同一个东西；而使用copy，person.bookArray2在赋值之前，将books内容复制，创建一个新的内存区域，所以两者不是一回事，books的改变不会导致person.bookArray2的改变。

说到底，其实就是不同的修饰符，对应不同的setter方法，
1. strong对应的setter方法，是将_property先release（_property release），然后将参数retain（property retain），最后是_property = property。
2. copy对应的setter方法，是将_property先release（_property release），然后拷贝参数内容（property copy），创建一块新的内存地址，最后_property = property。