objective-c - NSError 和 __autoreleasing

Question

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

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

我删除了 __autoreleasing 并且一切似乎仍然可以正常编译/运行。我开始使用 obj-c post ARC，所以我从来没有真正学习/理解所有那些双下划线 thingamajigs。我读过 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 中保留当前引用，并将临时引用作为参数传递给 执行:。调用返回后，编译器会从临时变量中对 myError 进行正常赋值，这会导致释放任何旧引用并保留返回的引用。

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

评论跟进

问:__autoreleasing 是隐式设置的吗？

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

问:位置重要吗？

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

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

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