Objective-C中的自动引用计数ARC背后做了什么处理及使用注意点

使用ARC后应该注意什么？

1、由于ARC会自动执行retain、release、autorelease等操作，所以在ARC下不能直接调用这些内存管理方法。

• retain
• release
• autorelease
• dealloc

因为ARC要分析何处应该自动调用内存管理方法，所以如果手工调用的话，就会干扰其工作。

2、ARC硬性规定内存管理语义需要在方法名中表示出来。若方法名以下列词语开头，则其返回的对象归调用者所有：

• alloc
• new
• copy
• mutableCopy

调用了这四种方法的代码需要将其中一次保留操作抵消掉。若方法名不以上述四个词语开头，则表示其返回的对象并不归调用者所有，在这种情况下，返回的对象会自动释放，所以其值在跨越方法调用边界后依然有效（不理解的可以看下我主页的《Objective-C中的引用计数》这篇文章中介绍的autorelease）。

ARC管理内存会带来什么优化？

1、Clang编译器项目带有一个”静态分析器“，引用计数的规则很容易表达，计算机可以很简单地分析出有内存泄漏问题的对象。然后自动地加入适当地保留和释放操作。

2、ARC在调用内存管理方法的时候，并不通过普通的Objective-C消息派发机制，而是直接调用底层C语言版本。这样做的性能会更好，因为保留及释放操作需要频繁执行，所以直接调用底层函数能节省很多CPU周期。比方说，ARC会调用与retain等价的底层函数objc_retain。所以不要去复写内存管理的方法。

3、ARC可以执行一些手工操作很难甚至无法完成的优化，例如，在编译期，ARC会把互相抵消的retain、release、autorelease操作约简。

4、ARC包含有运行期组件，可以在运行期检测到autorelease和retain这一对多余的操作。为了优化代码，在方法中返回自动释放的对象时，要执行一个特殊函数。

此时不是直接调用autorelease，而是改为调用objc_autoreleaseReturnValue。此函数会检视当前方法返回后即将要执行的代码。如果发现那段代码要在返回的对象上执行retain操作，则设置全局数据结构中的一个标志位。

与之相似，如果方法返回了一个自动释放的对象，而调用方法的代码要保留此对象，那么此时不直接执行retain，而是改为执行objc_retainAutoreleasedReturnValue函数。此函数要检测刚才提到的那个标志位，若已经置位，则不执行retain操作。

设置并检测标志位，要比autorelease和retain更快。

+ (EOCPerson *)personWithName:(NSString *)name
{
   EOCPerson *person = [[EOCPerson alloc] init];
   person.name = name;
  objc_autoreleaseReturnValue(person);
}

EOCPerson *tmp = [EOCPerson personWithName:@"Matt Galloway"];
_myPerson = objc_retainAutoreleasedReturnValue(tmp);

id objc_autoreleaseReturnValue(id object)
{
   if (/* 后续的代码将会有retain操作 */)
   {
      set_flag(object);
      return object;
   }
   else
   {
      return [object autorelease];
   }
}

id objc_retainAutoreleasedReturnValue(id object)
{
   if (get_flag(object))
   {
      clear_flag(object);
      return object;
   }
   else
   {
      return [object retain];
   }
}

变量设置不同的内存管理语义控制引用计数

ARC下会处理局部变量和实例变量的内存管理，尤其要注意实例变量的语义，因为对于某些代码来说，其语义和手动管理引用计数时不同。

在应用程序中，可用下面修饰符来改变局部变量和实例变量的语义：

• __strong：默认语义，保留此值。
• __unsafe_unretained：不保留此值，这么做可能不安全，因为等到再次使用变量时，其对象可能已经回收了。
• __weak：不保留此值，但是变量可以安全使用，因为如果系统把这个对象回收了，那么变量也会自动清空。
• __autoreleasing：把对象”按引用传递“给方法时，使用这个特殊的修饰符。此值在方法返回时自动释放。

ARC是如何清理实例变量的？

非ARC情况下，你可能会像下面这样来编写dealloc方法：

-(void)dealloc
{
   [_foo release];
   [_bar release];
   [super dealloc];
}

用了ARC之后，就不需要再编写这种dealloc方法了，因为ARC会借用Objective-C++的一项特性来清理例程。

回收Objective-C++对象时，待回收的对象会调用所有C++对象的析构函数。编译器如果发现某个对象里包含有C++对象，就会生成名为.cxx_destruct的方法。而ARC则借助此特性，在该方法中生成清理内存所需的代码，在生成的代码中会自动调用超累的dealloc方法。

不过，如果有非Objective-C的对象，比如CoreFoundation中的对象或是有malloc()分配在堆中的内存，那么仍需要清理。

- (void)dealloc
{
   CFRelease(_coreFoundationObject);
   free(_heapAllocatedMemoryBlob);
}