NSError 和 __autoreleasing

Question

有人可以向我解释在以下示例代码块中使用__autoreleasing 的目的吗？

- (void)execute:(NSError * __autoreleasing *)error {
    // do stuff, possibly assigning error if something went wrong
}

我删除了__autoreleasing，一切似乎仍然可以正常编译/运行。我开始使用 obj-c post ARC，所以我从来没有真正学习/理解所有那些双下划线的东西。我已经阅读了ARC transition guide，但我并不完全理解他们的 NSError 示例。

Answer 1

考虑 ARC 如何与 变量 一起工作 - 每个引用变量都有一个模式（隐式或显式）：strong、weak 等。这模式让 ARC 知道如何处理对该变量的读取和写入；例如对于 strong 变量，读取不需要额外的操作，而写入需要在变量被新引用替换之前释放变量中的现有引用。 ARC 需要知道任何变量的模式才能发挥作用。

现在考虑由 reference 传递的变量，例如对于您的execute，您将收到如下电话：

NSError *myError = nil;
...
[someObject execute:&myError]; // pass the variable itself by reference, not the variables value

execute 的主体将包含如下的赋值：

- (void)execute:(NSError * __autoreleasing *)error
{
   ...
   if (error != NULL)
      *error = [NSError ...]; // assign indirectly via the reference to a variable
   ...
}

现在，对于间接赋值，ARC 需要知道被引用变量的模式，以便它知道如何读取和写入。这就是 __autoreleasing 在声明中的内容，它告诉 ARC 它已经传递了对模式为 autoreleasing 的变量的引用，并告诉 ARC 如何读取和写入多变的。删除__autoreleasing 并假定默认模式，在这种情况下，我建议显式肯定是好的。

autoreleasing 模式意味着变量包含一个不拥有的引用，如果需要读取应该retain，写入可以只写入。主要用于通过引用传递的变量。

您可能会注意到，在上面的示例中，变量 myError 具有模式 strong（隐式），但它通过引用传递为 autoreleasing - 编译器会处理这个自动通过引入一个临时自动释放变量，复制不保留myError 中的当前引用，并将临时引用作为参数传递给execute:。调用返回后，编译器会从临时对象到myError 进行正常赋值，这会导致释放任何旧引用并保留返回的引用。

更多详情见Apple's Transitioning to ARC Release Notes

评论跟进

问：__autoreleasing 是隐式设置的吗？

A：Apple's 文档并不具体，但 Clang documentation 表示它对于间接参数是隐含的。如上所述，我建议明确，清晰是一件好事™。

问：位置重要吗？

A：是的，也不是……这是一个 C 声明，是问答题的内容（“以下声明什么……”）。限定符应该在两个星号之间，因为它是一个 指向对象的（类型变量）自动释放指针的指针，但 Apple 声明编译器是“宽恕的”，但并未具体说明它所宽恕的内容。安全起见，把它放在正确的地方。

问：在进行间接赋值之前，您是否应该测试error 是否为NULL？

A：当然你应该在做间接处理之前的某个地方。显示的代码只是一个大纲，... 省略并覆盖了这些细节。不过这些年来已经提过几次了，可能是我省略了太多，所以添加了一个合适的if。