在哪些情况下我们需要在ARC下编写__autoreleasing所有权限定符？

Question

我正在努力完成这个难题.

__strong是所有Objective-C可保留对象指针的默认值,如NSObject,NSString等.这是一个强大的参考.ARC -release在范围的末尾与a平衡.

__unsafe_unretained等于旧的方式.它用于弱指针而不保留可保留对象.

__weak就像__unsafe_unretained不同之处在于它是一个自动归零弱引用这意味着该指针将零一旦引用的对象被释放被设置为.这消除了悬空指针和EXC_BAD_ACCESS错误的危险.

但到底有什么__autoreleasing好处呢？我很难找到关于何时需要使用此限定符的实际示例.我相信它只适用于期望指针指针的函数和方法,例如:

- (BOOL)save:(NSError**);

要么

NSError *error = nil;
[database save:&error];

在ARC下必须以这种方式声明:

- (BOOL)save:(NSError* __autoreleasing *);

但这太模糊了,我想完全理解为什么.我找到的代码片段将__autoreleasing放在两颗星之间,这对我来说很奇怪.类型是NSError**(一个指针指向NSError),那么为什么要放在__autoreleasing星星之间而不是简单地放在前面NSError**呢？

此外,可能还有其他必须依赖的情况__autoreleasing.

Answer 1

你是对的.正如官方文件所述:

__autoreleasing表示通过引用(id*)传递的参数,并在返回时自动释放.

所有这些都在ARC过渡指南中得到了很好的解释.

在NSError示例中,声明意味着__strong:

NSError * e = nil;

将转变为:

NSError * __strong error = nil;

当你打电话给你的save方法:

- ( BOOL )save: ( NSError * __autoreleasing * );

然后编译器必须创建一个临时变量,设置为__autoreleasing.所以:

NSError * error = nil;
[ database save: &error ];

将转变为:

NSError * __strong error = nil;
NSError * __autoreleasing tmpError = error;
[ database save: &tmpError ];
error = tmpError;

您可以通过__autoreleasing直接声明错误对象来避免这种情况.

Answer 2

在评论中跟进Macmade的回答和Proud Member的后续问题,(也会将其作为评论发布,但它超出了最大字符数):

这就是__autoreleasing的变量限定符放在两颗星之间的原因.

作为前言,使用限定符声明对象指针的正确语法是:

NSError * __qualifier someError;

编译器会原谅这个:

__qualifier NSError *someError;

但这不正确.请参阅Apple ARC过渡指南(请阅读"您应该正确装饰变量......"一节).

解决手头的问题:双指针不能有ARC内存管理限定符,因为指向内存地址的指针是指向基本类型的指针,而不是指向对象的指针.但是,当您声明双指针时,ARC确实想知道第二个指针的内存管理规则是什么.这就是为什么双指针变量被指定为:

SomeClass * __qualifier *someVariable;

因此,在方法参数为双NSError指针的情况下,数据类型声明为:

- (BOOL)save:(NSError* __autoreleasing *)errorPointer;

英文中的"指向__autoreleasing NSError对象指针的指针".

Answer 3

在明确的ARC规范说

对于__autoreleasing对象,新指针被保留,自动释放,并使用原始语义存储到左值.

例如,代码

NSError* __autoreleasing error = someError;

实际上转换为

NSError* error = [[someError retain] autorelease];

...这就是为什么当你有一个参数时它会工作NSError* __autoreleasing * errorPointer,然后被调用的方法会将错误分配给*errorPointer上面的语义.

您可以__autoreleasing在不同的上下文中使用强制ARC对象进入自动释放池,但这并不是非常有用,因为ARC似乎只在方法返回时使用自动释放池并且已经自动处理.