双指针作为 Objective-C 块参数

Question

是否可以（如果可以，安全）创建/使用将双指针作为参数的块？

例如：

- (void)methodWithBlock:(void (^)(NSError **error))block;

---

其他背景、研究和问题：

• 我正在使用 ARC。
• 当我声明上面的方法并尝试调用它时，XCode 自动完成我的方法调用如下：[self methodWithBlock:^(NSError *__autoreleasing *error) {}]; __autoreleasing 在这里是什么意思，为什么要添加它？我认为这与 ARC 有关。
• 如果这个是可能且安全的，指针是否仍然可以像在其他任何地方一样在块中被取消引用？
• 一般而言，执行我所描述的操作与简单地将双指针作为方法参数（例如- (void)methodWithDoublePointer:(NSError **)error;）传递之间的重要区别是什么？应该考虑哪些特殊因素（如果有的话）（再次假设这是可能的）？

Answer 1

是的，指针始终只是指针。您只需要确保在发送消息之前取消引用它（假设为 objc 对象）。

还要注意指针可能为零。在尝试取消引用它或你有什么之前，请务必检查它。

正如@verec 提到的，如果您使用 ARC，您应该将参数声明为 __autoreleasing

根据the docs

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

记住 id 是一个指向对象的指针，所以说的是对象**

将指针传递给指向方法或块的指针没有区别。

Answer 2

答案是“是”和“否”……

在基本级别上，将指针传递给块的指针与将它们传递给方法没有什么不同；而且，通常的条件是你的指针必须是有效的，这是完全可以的。

然而__autoreleasing 在这里非常意义重大，并且与 ARC 和 pass-by-writeback 相关。使用该块是否会按预期工作将取决于上下文，因为编译器在传递 NSError * __autoreleasing * 类型的参数时经常使用隐藏变量作为 pass-by-writeback 实现的一部分。

如果 pass-by-writeback 不是您需要的，或者不适合，您可能希望声明您的块采用不同的类型，例如 NSError * __strong *。阅读this answer，它解释了幕后发生的事情，这应该可以帮助您确定在您的上下文中块声明是否是好的。

总而言之，(a) 声明块是可以的，但是 (b) 你需要了解它是如何被调用的，并且可能需要更改签名。

Answer 3

警告：未经测试

为了论证起见，让我们开始：

typedef NSError * NSErrorPtr ;

- (void) foo: (NSErrorPtr *) errPtr {
    *errorPtr = [NSError new] ;
}

errPtr 既没有被声明为 __weak 也没有被声明为 __strong。

因此，根据 ARC，即使其内容分配在 foo 内，释放它的责任也必须驻留在某个地方。

在哪里？

请注意，这不是双指针的属性本身。但是你的分配模式。

考虑：

int ** arrayOfarrayOfInts = {
    {1, 2, 3, 4}    
,   {5, 6, 7, 8}
} ;

- (void) incrementElement: (int **) elem {
    ++(**elem) ;
}

- (void) bumpFirstColByOne {
    for (int i = 0 ; i < 2 ; ++ i) {
       int * arrayOfInt = arrayOfarrayOfInts[i] ;
       int ** second = &arrayOfInt[0] ;
       [self incrementElement: second] ;
    }
}

这里不需要 __autoreleasing，因为没有进行分配...