在什么情况下，我们需要在 ARC 下编写 __autoreleasing 所有权限定符？

你是对的。正如官方文档解释的那样：

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

所有这些都在 ARC transition guide 中得到了很好的解释。

在您的 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 来避免这种情况。

---

在评论中跟进 Macmade 的回答和 Proud Member 的后续问题，（也会将此作为评论发布，但它超过了最大字符数）：

这就是为什么 __autoreleasing 的变量限定符放在两颗星之间的原因。

作为序言，使用限定符声明对象指针的正确语法是：

NSError * __qualifier someError;

编译器会原谅这一点：

__qualifier NSError *someError;

但这是不正确的。请参阅 the Apple ARC transition guide（阅读以“您应该正确地装饰变量...”开头的部分）。

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

SomeClass * __qualifier *someVariable;

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

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

用英文表示“指向 __autoreleasing NSError 对象指针的指针”。

---

definitive ARC specification 表示

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

例如，代码

NSError* __autoreleasing error = someError;

实际上被转换为

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

...这就是为什么当您有参数 NSError* __autoreleasing * errorPointer 时它起作用的原因，然后被调用的方法会将错误分配给 *errorPointer 并且上述语义将起作用。

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

---

简而言之：这只是为了与 MRC 兼容。

Apple 已同意在自己的库中 ** 返回的对象始终是自动释放的。因此，ARC 代码适用于旧的二进制文件（例如，如果您的部署目标是 iOS 4），反之亦然，MRC 代码适用于 ARC 二进制文件。

所以总而言之：

你永远不应该使用 __autoreleasing：编译器会在需要的地方自动添加它

如果你不打算支持 MRC 代码，那么你应该在任何地方使用 * __strong *。它将从家庭崩溃中保存：@autoreleasingpool { *autorelesingOut = [@"crash maker" mutableCopy];//NSString * __autoreleasing *autorelesingOut; *strongOut = [@"没关系" mutableCopy];//NSString * __strong *strongOut; //如果 autorelesingOut 将在此 autoreleasepool 之外被引用，应用程序将崩溃 }

---