Objective C 中的块编程的内存管理

Question

我正在阅读以下有关调度队列中的完成块的 Apple 文档，但我无法理解其中的部分内容。该文档提到“为了防止队列过早释放，最初保留该队列并在分派完成块后释放它是至关重要的。”这与我的理解相矛盾，即块在其闭包中保留所有变量，这在块编程指南中提到。

我在这里缺少什么？该文档的片段粘贴如下：

完成块只是您在原始任务结束时分派到队列的另一段代码。调用代码通常在启动任务时提供完成块作为参数。任务代码所要做的就是在完成工作时将指定的块或函数提交到指定的队列。

清单 3-4 显示了使用块实现的平均函数。平均函数的最后两个参数允许调用者指定报告结果时要使用的队列和块。平均函数计算出其值后，会将结果传递到指定的块并将其分派到队列。为了防止队列过早释放，最初保留该队列并在分派完成块后释放它至关重要。 清单 3-4 在任务后执行完成回调

void average_async(int *data, size_t len, dispatch_queue_t queue, void (^block)(int))
{
   // Retain the queue provided by the user to make
   // sure it does not disappear before the completion
   // block can be called.
   dispatch_retain(queue);

   // Do the work on the default concurrent queue and then
   // call the user-provided block with the results.
   dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
   int avg = average(data, len);
   dispatch_async(queue, ^{ block(avg);});

   // Release the user-provided queue when done
   dispatch_release(queue);
   });
}

Answer 1

这与我的理解相矛盾，即该块保留其闭包中的所有变量

这不是矛盾，而是误解。块保留它引用的所有objective-c 对象。其他对象类型使用自己的保留函数而不是标准函数。因此，运行时不可能知道如何保留块可能包含的每个变量。这就是为什么需要手动保留和释放队列的原因。