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如何处理变量-每个引用变量都有一种模式(隐式或显式)：强、弱等。这种模式让ARC知道如何处理对该变量的读取和写入；例如，对于强变量，读取不需要额外的操作，而写入需要在新引用被新引用替换之前释放变量中的现有引用。ARC需要知道任何变量的模式才能运行。

现在考虑变量本身是通过引用传递的，例如，对于您的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已经传递了一个对一个变量的引用，该变量的模式是自动释放，并告诉ARC如何读取和写入变量的内容。删除__autoreleasing，将假定为默认模式，在这种情况下，我建议显式肯定是好的。

自动释放模式意味着变量包含一个没有所有权的引用，如果需要，读操作应该保留，写操作可以只写操作。它主要用于通过引用传递的变量。

您可能会注意到，在上面的示例中，变量myError具有模式强(隐式)，但它是通过引用作为自动释放传递的-编译器通过引入临时自动释放变量、复制而不保留myError中的当前引用并将临时引用作为参数传递给execute:来自动处理此问题。调用返回后，编译器执行从临时到myError的正常赋值，这会释放所有旧引用，并保留返回的引用。

有关更多详细信息，请参阅Apple's Transitioning to ARC Release Notes

评论的后续

问：__autoreleasing是隐式设置的吗？

答：Apple's文档不是特定的，但是Clang documentation说它对间接参数是隐含的。如上所述，我建议明确，清晰是一件好事™。

问:位置重要吗？

答:是的，也不是……这是一个C声明，测验问题的东西(“下面声明了什么？”)。限定符应该在两个星号之间，因为它是指向对象的(类型的变量)自动释放指针的指针，但Apple声明编译器是“宽恕的”，但没有具体说明它宽恕了什么。安全起见，把它放在正确的地方。

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

答:你当然应该，在你做间接操作之前的某个地方。显示的代码只是一个大纲，这些细节已经被...省略和覆盖了。但是，由于它在过去几年中被提出了几次，可能我省略了太多，所以添加了一个合适的if。