标签：

  ARC是一个编译器特征，它提供了对OC对象自动管理内存。ARC让开发者专注于感兴趣的代码和对象的关系，而不用考虑对象的retain和release。

原文地址

概要

ARC在编译时期添加代码，保证对象可用。概念上说，ARC遵循手动引用计数的规则，替开发者在编译时期添加合适的代码。

Xcode4.2（Mac OS 10.6、10.7和iOS4和iOS5）支持ARC，弱引用在10.6和iOS4上不支持。

Xcode提供了一个工具：自动机械得转化为ARC(比如移除retain和release的调用)，并帮助开发者解决不能自动迁移的问题。迁移工具将所有文件转化成ARC，开发者也可以对单个文件实施ARC，方便于开发者对某些文件手动引用计数。

ARC概要

[objc] view plain copy

1. @interface Person : NSObject  
2. @property NSString *firstName;  
3. @property NSString *lastName;  
4. @property NSNumber *yearOfBirth;  
5. @property Person *spouse;  
6. @end  
7.    
8. @implementation Person  
9. @end  

[objc] view plain copy

1. - (void)contrived {  
2.     Person *aPerson = [[Person alloc] init];  
3.     [aPerson setFirstName:@"William"];  
4.     [aPerson setLastName:@"Dudney"];  
5.     [aPerson setYearOfBirth:[[NSNumber alloc] initWithInteger:2011]];  
6.     NSLog(@"aPerson: %@", aPerson);  
7. }  

ARC掌管了内存管理，所以Person和NSNumber不会泄露。

[objc] view plain copy

1. - (void)takeLastNameFrom:(Person *)person {  
2.     NSString *oldLastname = [self lastName];  
3.     [self setLastName:[person lastName]];  
4.     NSLog(@"Lastname changed from %@ to %@", oldLastname, [self lastName]);  
5. }  

ARC确保oldLastName在NSLog之前不会被销毁。

ARC 强制执行了新的规则

    ARC执行了一些新的规则，是其他编译模式没有的。这个规则是：致力于提供一个安全可靠的内存管理模式。在某些情况下，他们只是执行最佳实践；某些情况，他们简化你的代码或者处理那没明显的不需要内存问题。如果你违反这些规则，立即得到一个编译错误，而不会在运行显示一个微妙的bug。

● 开发者不能显示调用dealloc；不能实现和调用retain、release、retainCount和autorelease。

禁止使用@selector(retain),@selector(release)等等。

开发者仍可以实现dealloc方法，如果你想管理资源而不是变量。开发者不能release变量，但是可以调用[systemClassInstance setDelegate:nil]在系统类上，或者其他不是用ARC编译的代码上。

ARC中自定义的dealloc方法，不需要调用[super dealloc]（其实这样做就会导致编译错误），编译器会强制自动链接到父类。

开发者仍可以对Core Foundation-style对象，使用CFRetain,CFRelease和其他相关方法。

● 不能使用NSAllocateObject或者NSDeallocateObject。开发者创建对象使用alloc，运行时环境负责销毁对象。

● 在C数据结构中，不能使用对象指针。可以使用OC类来代替C的struct

● id和void*没有自动转换.

开发者必须使用特殊的类型转化.开发者需要通过函数参数传递，在OC对象和Core Foundation之间做类型转换。

● 开发者不能使用NSAutoreleasePool对象。ARC下使用@autoreleasepool，它比NSAtuoreleasePool更有效率。

● 开发者不能使用内存zones。不用再使用NSZone了。他们已经被现代的OC运行环境给忽略了。

为了配合手动引用计数，ARC的方法命名有限制：

● 访问器方法不能已new开头，反过来就是：开发者不能声明一个已new开头的属性，除非你给你指定一个getter

[objc] view plain copy

1. // 不正确:  
2. @property NSString *newTitle;  
3.    
4. // 正确:  
5. @property (getter=theNewTitle) NSString *newTitle;  

ARC引入了新的Lifetime修饰符。

    ARC引入几个新的修饰符和弱(weak)引用。弱引用不会延伸到对象生命周期，并自动设置为nil，当该对象没有任何的强引用的时候。开发者需要使用这些修饰来管理对象图。通常ARC不对循环引用做警告。谨慎得使用弱引用可以保证不会循环引用。

Property属性

weak和strong关键字作为新的property属性被引入，例如：

[objc] view plain copy

1. // The following declaration is a synonym for: @property(retain) MyClass *myObject;  
2. @property(strong) MyClass *myObject;  
3.    
4. // The following declaration is similar to "@property(assign) MyClass *myObject;"  
5. // except that if the MyClass instance is deallocated,  
6. // the property value is set to nil instead of remaining as a dangling pointer.  
7. @property(weak) MyClass *myObject;  

ARC下，strong是默认property属性

变量的修饰符

开发者使用下面得lifetime修饰。

__strong

__weak

__unsafe_unretained

__autoreleasing

● 默认是__strong。只要对象还有强引用，该对象“活着”。

● __weak不保留对象，只是简单引用。weak对象将被设置nil，当对象没有任何强引用的时候。

● __unsafe_unretained 不保留对象，只是简单引用。但是不设置为nil，当对象没有任何强引用得时候。如果对象被销毁，__unsafe_unretained的对象将会野指针。

● __autoreleasing 用于标识id*的引用参数，或者需要自动释放的返回的对象。

开发者需要正确修饰变量。使用下面的格式来修饰变量声明。

类名*  修饰  变量名

例如：

[objc] view plain copy

1. MyClass * __weak myWeakReference;  
2. MyClass * __unsafe_unretained myUnsafeReference;  

其他的变种在技术上是不正确的，但可能可以通过编译。了解更多http://cdecl.org/

在栈上小心使用__weak。考虑下面的代码：

[objc] view plain copy

1. NSString * __weak string = [[NSString alloc] initWithFormat:@"First Name: %@", [self firstName]];  
2. NSLog(@"string: %@", string);  

尽管string在初始化后被使用了。但是，由于在赋值的时候没有强引用；因此它将立即被销毁。

● 开发者同样需要注意传递引用的地方，例如下面的代码：

[objc] view plain copy

1. NSError *error;  
2. BOOL OK = [myObject performOperationWithError:&error];  
3. if (!OK) {  
4.     // Report the error.  
5.     // ...  

然而，这种错误是隐含的。

[objc] view plain copy

1. NSError * __strong e;  

并且声明的方法可能是下面这样（参数是__autoreleasing的）：

[objc] view plain copy

1. -(BOOL)performOperationWithError:(NSError * __autoreleasing *)error;  

那么，编译器将重写代码:

[objc] view plain copy

1. NSError * __strong error;  
2. NSError * __autoreleasing tmp = error;  
3. BOOL OK = [myObject performOperationWithError:&tmp];  
4. error = tmp;  
5. if (!OK) {  
6.     // Report the error.  
7.     // ...  

本地变量声明(__strong)和参数(__autoreleasing)导致编译器创建临时变量。当开发者对__strong对象取地址，将参数声明为id __strong*，就得到原始的指针。或者开发者可以将变量声明为__autoreleasing

使用Lifetime修饰符，避免循环引用

开发者可以通过lifetime修饰符来避免循环引用。例如，如果你有一个对象图（关于父-子继承）。并且父类需要引用子类，相反子类也要用。这时候，开发者把parent-to-child写做strong并把child-to-parent关系写作weak。其他情况可能有些麻烦，特别是调用block变量的时候。

[objc] view plain copy

1. MyViewController *myController = [[MyViewController alloc] init…];  
2. // ...  
3. myController.completionHandler =  ^(NSInteger result) {  
4.    [myController dismissViewControllerAnimated:YES completion:nil];  
5. };  
6. [self presentViewController:myController animated:YES completion:^{  
7.    [myController release];  
8. }];  

正如说的那样，开发者可以使用__block修饰符并且设置myController变量为nil，在完成处理的时候。（这种方法不推荐，不是每一个程序员都会完整的将mycontroller置为nil的）

[objc] view plain copy

1. MyViewController * __block myController = [[MyViewController alloc] init…];  
2. // ...  
3. myController.completionHandler =  ^(NSInteger result) {  
4.     [myController dismissViewControllerAnimated:YES completion:nil];  
5.     myController = nil;  
6. };  

或者，你可以使用临时的__weak变量。下面是一个简单的实现（推荐）

[objc] view plain copy

1. MyViewController *myController = [[MyViewController alloc] init…];  
2. // ...  
3. MyViewController * __weak weakMyViewController = myController;  
4. myController.completionHandler =  ^(NSInteger result) {  
5.     [weakMyViewController dismissViewControllerAnimated:YES completion:nil];  
6. };  

对于non-trivial循环，开发者应该使用下面代码：

[objc] view plain copy

1. MyViewController *myController = [[MyViewController alloc] init…];  
2. // ...  
3. MyViewController * __weak weakMyController = myController;  
4. myController.completionHandler =  ^(NSInteger result) {  
5.     MyViewController *strongMyController = weakMyController;  
6.     if (strongMyController) {  
7.         // ...  
8.         [strongMyController dismissViewControllerAnimated:YES completion:nil];  
9.         // ...  
10.     }  
11.     else {  
12.         // Probably nothing...  
13.     }  
14. };  

在某些情况，开发者使用__unsafe_unretained，如果类本身不是__weak修饰。然而，这样将变得不切合实际了，因为它可能很难或者不可能去验证：__unsafe_unretained的指针仍然可用并且指向某些变量。

ARC使用一个新语句管理Autorelease Pools

使用ARC，开发者不能直接使用NSAutoreleasePool来管理autorelease pools。而使用@autoreleasepool代替它。

[objc] view plain copy

1. @autoreleasepool {  
2.      // Code, such as a loop that creates a large number of temporary objects.  
3. }  

Patterns for Managing Outlets Become Consistent Across Platforms（略）

栈变量被初始化为nil

使用ARC，strong、weak和autoreleasing栈变量将隐式初始化为nil，例如：

[objc] view plain copy

1. - (void)myMethod {  
2.     NSString *name;  
3.     NSLog(@"name: %@", name);  
4. }  

使用编译器选项来开启和关闭ARC

开发者使用-fobjc-arc 编译选项开启ARC，还可以对某一个文件使用ARC，便于在使用手动引用计数的文件中使用ARC。对于已经使用ARC的工程，仍可以指定一个文件来关闭ARC通过-fno-objc-arc编译选项。

管理Toll-Free Bridging

在多数的Cocoa程序中，开发者需要使用Core Foundaton-style对象，无论是从Core Foundation框架还是从Core foundation的其他框架比如Core Graphics。

编译器不会自动管理Core foundation对象的生命周期。开发者必须根据COreFoundation的内存管理规则，使用CFRetain和CFRelease。

如果开发者在OC和Core foundation两种对象做转换，需要告诉编译器对象的所有权。

● __bridge 不改变所有权的情况下，将OC和Core foundaton对象之间转换。

● __bridge_retained 或者 CFBridgingRetain 或者对象的所有权，将OC和Corefoundaton对象之间转换。开发者仍有责任将释放对象通过CFRelease。

● __bridge_transfer 或者CFBridgingRelease将一个非OC指针，转化为OC指针，ARC负责释放对象，对象（内存）的管理权交给ARC。

例如，现有代码：

[objc] view plain copy

1. - (void)logFirstNameOfPerson:(ABRecordRef)person {  
2.     NSString *name = (NSString *)ABRecordCopyValue(person, kABPersonFirstNameProperty);  
3.     NSLog(@"Person‘s first name: %@", name);  
4.     [name release];  
5. }  

[objc] view plain copy

1. - (void)logFirstNameOfPerson:(ABRecordRef)person {  
2.     NSString *name = (NSString *)CFBridgingRelease(ABRecordCopyValue(person, kABPersonFirstNameProperty));  
3.     NSLog(@"Person‘s first name: %@", name);  
4. }  

编译器处理从Cocoa方法返回的 CF 对象

编译器知道返回Core foundaion类的OC的方法，遵循历史的规定。例如，编译器知道从CGColor方法返回的GCColor是不拥有的。开发者必须使用合适的类型去转化。例如：

[objc] view plain copy

1. NSMutableArray *colors = [NSMutableArray arrayWithObject:(id)[[UIColor darkGrayColor] CGColor]];  
2. [colors addObject:(id)[[UIColor lightGrayColor] CGColor]];  

使用所有权关键字转化函数参数

当开发者在OC和Core foundation的对象之间转化时，需要告诉编译器传递object的所有权。Core foundation对象所有权的规则在CoreFoundation的内存管理规则中。OC的所有权规则在Advanced Memory Management Programming Guide中。

下面的代码段，数组传递给CGGradientCreateWithCorlors函数需要一个合适的转化。数组是arrayWitshObjects返回的，所以，不要将所有权传递给函数，因此使用__bridge

[objc] view plain copy

1. NSArray *colors = <#An array of colors#>;  
2. CGGradientRef gradient = CGGradientCreateWithColors(colorSpace, (__bridge CFArrayRef)colors, locations);  

[objc] view plain copy

1. - (void)drawRect:(CGRect)rect {  
2.     CGContextRef ctx = UIGraphicsGetCurrentContext();  
3.     CGColorSpaceRef colorSpace = CGColorSpaceCreateDeviceGray();  
4.     CGFloat locations[2] = {0.0, 1.0};  
5.     NSMutableArray *colors = [NSMutableArray arrayWithObject:(id)[[UIColor darkGrayColor] CGColor]];  
6.     [colors addObject:(id)[[UIColor lightGrayColor] CGColor]];  
7.     CGGradientRef gradient = CGGradientCreateWithColors(colorSpace, (__bridge CFArrayRef)colors, locations);  
8.     CGColorSpaceRelease(colorSpace);  // Release owned Core Foundation object.  
9.     CGPoint startPoint = CGPointMake(0.0, 0.0);  
10.     CGPoint endPoint = CGPointMake(CGRectGetMaxX(self.bounds), CGRectGetMaxY(self.bounds));  
11.     CGContextDrawLinearGradient(ctx, gradient, startPoint, endPoint,  
12.                                 kCGGradientDrawsBeforeStartLocation | kCGGradientDrawsAfterEndLocation);  
13.     CGGradientRelease(gradient);  // Release owned Core Foundation object.  
14. }  

将工程转化为ARC，遇到的常见问题

当迁移现有的项目，你可能会遇到的各种问题。这里有一些共同的问题，共同解决方案。

● 不能调用retain，release或者autorelease，这是一种特性，甚至可以这么写：

[objc] view plain copy

1. while ([x retainCount]) { [x release]; }  

通常，开发者在单例的实现或者替换一个对象的init方法的时候调用dealloc。对于单例模式，使用共享实例模式。在init方法中，你不用调用dealloc，因为对象会被释放，当重写self的时候。

● 不能使用NSAutoreleasePool对象

是哟表格@autoreleasepool{}代替NSAutoreleasePool.这将强制一个block处于一个自动释放池中。它比NSAutoreleaePool快6倍。@autoreleasepool也在在非ARC模式下工作。

● ARC需要开发者对[super init]赋值给self在init方法中。

下面代码是不可行的

[objc] view plain copy

1. [super init];  

[objc] view plain copy

1. self = [super init];  

[objc] view plain copy

1. self = [super init];  
2. if (self) {  
3.    ...  

实现自定义的retain和release方法打破弱指针。提供了几个常用的 “实现自定义”的原因。

  1.性能

   不要这么做，NSObject的retain和release已经很快了。如果你发现仍有问题，请提出这个bug

   2.实现一个自定义的弱指针系统

   使用__weak代替

   3.实现单例

   使用shared instance pattern代替。或者使用类来代替方法，避免分配对象。

● assigned 将变成strong

 在ARC之前，变量的assigned的不会延伸到对象的生命周期。为了让property变成强引用，开发者通常实例化或者synthesized访问器方法，里面是内存管理方法。相比之下，你可以这样实现访问器方法：

[objc] view plain copy

1. @interface MyClass : Superclass {  
2.     id thing; // Weak reference.  
3. }  
4. // ...  
5. @end  
6.    
7. @implementation MyClass  
8. - (id)thing {  
9.     return thing;  
10. }  
11. - (void)setThing:(id)newThing {  
12.     thing = newThing;  
13. }  
14. // ...  
15. @end  

[objc] view plain copy

1. @interface MyClass : Superclass {  
2.     id __weak thing;  
3. }  
4. // ...  
5. @end  
6.    
7. @implementation MyClass  
8. - (id)thing {  
9.     return thing;  
10. }  
11. - (void)setThing:(id)newThing {  
12.     thing = newThing;  
13. }  
14. // ...  
15. @end  

[objc] view plain copy

1. @interface MyClass : Superclass  
2. @property (weak) id thing;  
3. // ...  
4. @end  
5.    
6. @implementation MyClass  
7. @synthesize thing;  
8. // ...  
9. @end  

例如，下面的c结构将不能编译过

[objc] view plain copy

1. struct X { id x; float y; };  

1.用OC类代替c结构。这应该是最好的解决办法。

2.如果使用OC类是次要的方法（可能你想要一个高密度的结构数组），那么考虑使用void*代替。这需要使用显示的转化。

3.把对象引用作为__unsafe_unretained。这种方法是半常见的模式，这样是有用的。

[objc] view plain copy

1. struct x { NSString *S;  int X; } StaticArray[] = {  
2.   @"foo", 42,  
3.   @"bar, 97,  
4. ...  
5. };  

[objc] view plain copy

1. struct x { NSString * __unsafe_unretained S; int X; }  

经常遇到的问题

我该怎样认识ARC？它在哪儿放置retains/releases。

不要想什么地方调用retain/release，考虑程序本身算法吧。考虑"strong and weak"关系，对象的所有权关系和可能存在的循环引用。

我还需要写dealloc方法么

在ARC种，仍存在循环引用？

在ARC种blocks是如何工作的

Block能正常工作，当你在栈上传递的时候，比如作为返回值。你无需block copy了。当你传递block在栈下面的时候，添加到arrayWithObjects等需要retain的地方，需要使用[^{ }copy]。

有一件事情需要清除：NSString *__block myString是retain在ARC模式种，不可能是野指针。为了得到以前的行为，使用__block NSString *__unsafe_unretained myString 或者使用__block NSString *__weak myString.

我可以在雪豹OS种开发中使用ARC么？

不行。雪豹版本的Xcode4.2不支持ARC。

ARC下，可以创建C语言的retain的指针数组么

可以

[objc] view plain copy

1. // Note calloc() to get zero-filled memory.  
2. __strong SomeClass **dynamicArray = (__strong SomeClass **)calloc(entries, sizeof(SomeClass *));  
3. for (int i = 0; i < entries; i++) {  
4.      dynamicArray[i] = [[SomeClass alloc] init];  
5. }  
6.    
7. // When you‘re done, set each entry to nil to tell ARC to release the object.  
8. for (int i = 0; i < entries; i++) {  
9.      dynamicArray[i] = nil;  
10. }  
11. free(dynamicArray);  

● 你要写__strong SomeClass **在某些情况，默认情况是__autoreleasing SomeClass **.

● 开辟的内存必须是零填充

● 需要设置每一项为nil在释放array的时候（memset和bzero不好使的）

ARC慢么？

取决于你怎么测量，通常是不慢。编译器消除很多无关紧要的retain/release调用。投入很大的努力在加快OC下的运行环境。尤其是返回一个retian/autoreleased对象，ARC并不是真正将它放到自动释放池。

有一件事需要清除：优化器不在debug模式下。所以想看到更多的retain/release的调用，使用-O0比-Os

ARC在ObjC++模式下工作么

是的，甚至可以将strong/weakids在类和容器中。ARC编译器合成retain/release逻辑在拷贝构造函数和析构函数钟。

那些类不支持weak引用

下面的类不能创建弱引用：

NSATSTypesetter, NSColorSpace, NSFont, NSMenuView, NSParagraphStyle, NSSimpleHorizontalTypesetter, and NSTextView.

对于声明properties时，你应该使用retain代替weak。对于变量你应该使用__unsafe_unretained代替__weak.另外，你不能创建这些类的弱引用：NSHashTable, NSMapTable, or NSPointerArray 

对NSCell和其他类使用NSCopyObject时候。

没什么特别的。ARC负责的显示retain的场景。ARC模式下，所有的copy方法应该仅仅copy实例变量。

我可以对某个文件不使用ARC么？

是的。当开发者迁移工程到ARC时，对所有OC源文件设置为-fobjc-arc编译选项。开发者可以指定一个文件设置-fno-objc-arc编译选项。

GC(Grabage Collection)在mac上过时了?

Grabage Collection在10.8上已经过时，将来会重OS X中移除。ARC将是收推荐的替代技术。为了帮助迁移现有程序，ARC迁移工具在Xcode >=4.3 支持将GC迁移到ARC。

点击打开原文

转向ARC的说明——翻译Apple官方文档

标签：

原文地址：http://blog.csdn.net/langzi7758521/article/details/51810171