Effective Objective-C 2.0 学习笔记第六章

下载地址：Effective Objective-C 2.0 编写高质量iOS与OS X代码的52个有效方法

Block与GCD

37. 理解"块"这一概念

块本身可以视为对象,块中的变量会被块所引用而自动保留.当块被释放则将其引用对象释放.

块对象的内存布局

在内存布局中,最重要的是invoke指针变量,这是一个函数指针,指向块的实现代码.块其实就是一种代替函数指针的语法结构.使用了块以后,就可以吧标准C语言特性所编写的代码封装成简明且易用的接口.invoke函数会传入block块对象的指针,这样方便获取对象所捕获到的变量,以及调用对象保存的辅助函数.
descriptor变量是指向结构体的指针,每个快都包含此结构体,其中声明了块对象的总体大小,还声明了copy与dispose这两个辅助函数所对应的函数指针.这些函数在拷贝和丢弃块时会执行一些操作.
捕获到的变量保存的是block所拷贝的变量的指针.
全局块/栈块及堆块
定义block的时候,block是分配在栈中的,block只在定义他的那个范围内有效.

void (^block)();
if (/*some condition*/) {
    block = ^{
        NSLog();
    }
} else {
    block = ^{
        NSLog();
    }
}
block();

这样做是不安全的,block所占用的内存很可能被系统覆盖了,调用时就会造成崩溃.我们可以将block执行一次copy,使其被拷贝进堆中,这样block就不会被释放,在ARC下可以通过自动内存管理来处理其引用计数器的操作.
除此之外还有一种称之为全局block
全局块声明在全局内存中,相当于一个单例,不需要每次在栈中创建,而是在编译期就完全确定了.全局块的拷贝是空操作,因为全局块是不能被系统回收的.

38. 为常用的块类型创建typedef

以typedef重新定义块类型,可令块变量用起来更加简单.
定义新类型时应遵从现有的命名习惯,勿使其名称与别的类型相冲突.
不妨为同一个块签名定义多个类型别名.如果要重构的代码使用了块类型的某个别名,那么只需要修改相应typedef中的块签名即可,无需改动其他typedef.

39. 用handler块降低代码分散程度

在创建对象时,可以使用内联的handler块将相关业务逻辑一并声明.
在有多个实例需要监控时,如果采用委托模式,那么经常需要根据传入的对象来切换,而若改用handler块来实现,则可直接将块与相关对象放在一起.
设计API时如果用到了handler块,那么可以增加一个参数,使调用者可通过此参数来决定应该把块安排在哪个队列上执行.

40. 用块引用其所属对象时不要出现保留环

避免循环引用

41. 多用派发队列,少用同步锁

- (void)synchronizedMethod {
    @synchronized(self) {
        //safe
    }
}

上面这种写法会自动创建一个锁,等待块中代码执行完毕后,锁才会释放.这样可能会降低代码的执行效率,另一种写法:

_lock = [ [NSLock alloc] init];

- (void)synchronizedMethod {

    [_lock lock];
    // Safe
    [_lock unlock];
}

但是这种写法一旦遇到死锁将会非常的难以解决.
最终的代替方案就是使用GCD
我们可以使用"串行同步队列"的方法,保证数据同步:

_syncQueue =  dispatch_queue_create("queue", Null);
- (NSString *)someString {
    __block NSString *localSomeString;
    dispatch_sync(_syncQueue, ^{
        localSomeString = _someString;
    });
    return localSomeString;
}

- (void)setSomeString:(NSString *)someString {
    dispatch_sync(_syncQueue, ^{
        _someString = someString;
    })
}

在全局队列中使用栅栏,使其串行:

_syncQueue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
- (void)setSomeString:(NSString *)someString {
    dispatch_barrier_async(_synQueue, ^ {
        _someString = someString;
    });
}

这样,写入操作就会单独执行,在全局队列中不会与其他操作并行执行.

42. 多用GCD,少用performSelector系列方法

使用performSelector方法可能会导致内存泄漏, 由于该方法是在运行期决定执行什么样的方法, 编译器并不知道这个方法是否有返回值, 故而无法进行自动内存管理, 系统在这里便不会进行释放操作.
我们使用performSelector方法时,返回值是id类型,也意味着我们要使用基本数据类型时会有一些麻烦.
同时,入参也不能是基本数据类型.

performSelector系列方法在内存管理方面容易有疏失. 他无法确定将要执行的选择子具体是什么, 因而ARC编译器也就无法插入适当的内存管理方法.
performSelector系列方法所能处理的选择子太过局限, 选择子的返回值类型及发送给方法的参数个数都受到限制
如果想把任务放在另一个线程上执行,最好不用performSelector系列方法,而是应该把任务封装在块里,然后调用GCD的相关方法来实现.

43. 掌握GCD及操作队列的使用时机

在解决多线程与任务管理问题时, 派发队列并非唯一方案
操作队列提供了一套高层的Objective-C API, 能实现纯GCD所具备的绝大部分功能, 而且还能完成一些更为复杂的操作, 那些操作若改用GCD来实现, 则需另外编写代码.

44. 通过Dispatch Group机制, 根据系统资源状况来执行任务

dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
dispatch_group_t dispatchGroup = dispatch_group_create();
for (id object in collection) {
    dispatch_group_async(dispatchGroup, queue, ^{
        [object performTask];
    }
}
dispatch_group_wait(dispatchGroup, DISPATCH_TIME_FOREVER);

这种情况下, dispatch_group_wait会阻塞线程, 直到队列中所有任务执行完毕才会继续.
若当前线程不应阻塞, 则可用notify来代替wait:

dispatch_queue_t notifyQueue = dispatch_get_main_queue();
dispatch_group_notify(dispatchGroup, notifyQueue, ^{
    // 所有任务完成后做的事
});

回调时使用的队列可以视情况而定.
遍历某个collection也可以使用GCD:

void dispatch_apply(size_t iterations, dispatch_queue_t queue, void(^block)(size_t));

GCD会反复执行blcok, 执行次数为iterations参数给的值, 并把当前执行index传给执行block作为参数. 可以使用并发队列, 使循环并发操作.

45. 使用dispatch_once来执行只需要运行一次的线程安全代码

经常需要编写"只需要执行一次的线程安全代码". 通过GCD所提供的dispatch_once函数时, 很容易实现这种功能.
标记应该声明在static或global作用域中, 这样的话, 在把只需执行一次的块传给dispatch_once函数时, 传进去的标记也是相同的.

46. 不要使用dispatch_get_current_queue

dispatch_get_current_queue函数的行为常常与开发者所预期的不同. 此函数已废弃, 只应做调试之用.
由于派发队列是按层级来组织的, 所以无法单用某个队列对象来描述"当前队列"这一概念.
dispatch_get_current_queue函数用于解决由不可重入的代码所引发的死锁, 然而能用此函数解决的问题, 通常也能改用"队列特定数据"来解决.

其他章节：

Effective Objective-C 2.0 学习笔记第五章
Effective Objective-C 2.0 学习笔记第七章

Effective Objective-C 2.0 学习笔记 第六章