关于iOS与OS X多线程和内存管理这本书

前言

因为自己开始iOS开发的时候已经是RAC时代，所以对MRC了解仅仅是一些表面，具体的一些retain、autorelease字段的应用则是少之又少，也没想着做一些补充。知道前阵子去面试，被一个面试官一直问MRC以及内存管理的一些问题，把我问的头皮发麻。终于，下定决心，透彻的学习一下iOS的内存管理，以及Block，深思熟虑之后，选择了这本《Objective-C高级编程（iOS与OS X多线程和内存管理）》。

自动引用计数

首先来说明一下内存管理的思考方式：

• 自己生成的对象，自己持有。
• 非自己生成的对象，自己也能持有。
• 不再需要自己持有的对象时释放。
• 非自己持有的对象无法释放。

标题	标题
生成并持有对象	alloc/new/copy/mutableCopy
持有对象	retain
释放对象	release
放弃对象	dealloc

autorelease

自动释放，类似于C语言中的自动变量。
作用：

• 生成并持有NSAutoreleasePool对象
• 调用已分配的对象autorelease实例方法
• 飞起NSAutoreleasePool对象

NSAutoreleasePool *pool = [NSAutoreleasePool new];

id obj = [NSObject new];

[obj autorelease];    //obj加入到指定的缓存释放池中

[pool drain];     //相当于调了release

retain

引用计数+1，并且持有当前对象。

id obj = [NSMutableArray array];    //声明但并没有持有

[obj retain];   //持有对象

声明不持有对象的优化

+ (id)array
{
   return [[NSMutableArray alloc] init];
}

+ (id)array
{
  id obj = objc_msgSend(NSMutableArray,@selector(alloc));
  obj_msgSend(obj,@selector(init));
  return objc_autoreleaseReturenValue(obj);
}

通过objc_autoreleaseReturnValue和objc_retainAutoreleaseValue两个方法避免对象注册到autoreleasepool中而直接传递，这一过程达到优化.

Blocks

Blocks实质是一个结构体，里面有对应的isa指针，以及函数指针。

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteStackBlock;   //对应的类型
    impl.Flags = flags;
    impl.FuncPtr = fp;  //代码块地址
    Desc = desc;
  }
};

由上述代码可知，block其实也是有自己的类型的，共有三种：

• _NSConcreteGlobalBlock
• _NSConcreteStackBlock
• _NSConcreteMallocBlock

_NSConcreteGlobalBlock全局block没什么可说的，就是在全局声明的block，存在数据段。
_NSConcreteStackBlock栈区block，在局部声明，声明周期与当前{}相同，一般可做一次copy拷贝到堆中。
_NSConcreteMallocBlock堆区block，可供持有者任意调动。

__block说明符

先看段代码

id obj = [NSMutableArray new];
void(^block)(id obj) 
{
  [obj addObject:obj];
  NSLog("%ld",obj.count);
}
block([NSObject new]);

id obj = [NSMutableArray new];
void(^block)(void) 
{
  obj = [NSMutableArray new];
}

第一段代码执行没有问题，new的对象存储在堆区，addObject:方法是对obj指向的堆区做操作，缩一没问题。

第二段代码会报错，obj是存在栈区的自动变量，如果想在block内改变栈区变量的值，需要通过一个__block修饰符。

__block内部的实现

struct __Block_byref_b_0 {
  void *__isa;
__Block_byref_b_0 *__forwarding;
 int __flags;
 int __size;
 int b;
};

__block修饰的变量对应的有一个结构体，当栈区的block访问__block变量时，__forwarding扔指向自己，当栈区的block被拷贝到了堆区，那么__block变量会跟着一起拷贝到堆区一份，这是__forwarding指针指向堆区的自己，并且这个变量被block持有.__block变量既能被堆区的block截获，也能被栈区的block截获就是通过__forwarding实现的。

GCD

本书GCD只是简介的介绍了一下一些API的作用，没有太多的用法，以及深度解析。