Block捕获autoreleasing输出参数警告：问题原因及修复方法

Objective-C 中，NSError ** 类型的输出参数默认会被隐式标记为 __autoreleasing 修饰符。当你在 block 中直接捕获并使用这个 errPtr 时，会触发警告——原因在于：

• __autoreleasing 修饰的对象会绑定到当前作用域的自动释放池，当原方法的栈帧销毁、对应的自动释放池被 drain 后，该对象会被释放。
• 如果 block 是异步执行的（比如被 dispatch 到后台队列），当 block 内部尝试给 errPtr 赋值时，原自动释放池可能已经不存在，导致后续访问 *errPtr 时出现野指针/use-after-free风险；即使是同步执行，这种写法也打破了内存管理的安全约定。

你的代码里直接在 block 中传入 errPtr，相当于让 block 捕获了这个 autoreleasing 的输出参数，这就是警告的来源。

核心思路是：不让 block 直接捕获外部的 errPtr，而是用一个 __block 修饰的局部 NSError 变量作为中转，在 block 内部完成错误赋值后，再将这个局部变量的值同步到外部的 errPtr 中。

修改后的代码如下：

- (BOOL)register:(NSString *)param error:(NSError **)errPtr
{   
    __block BOOL result = YES;
    __block NSError *blockErr = nil; // 用__block局部变量中转
    
    dispatch_block_t block = ^{ @autoreleasepool {
         NSMutableArray *elements = [NSMutableArray array];

        // 传入blockErr的地址，避免捕获外部的autoreleasing参数
        result = [self registerWithElements:elements error:&blockErr];
        
    }};
    
    // 注意：如果block是异步执行的，这里需要等待block执行完成后再赋值
    // 比如如果是dispatch_async，要改用dispatch_sync或者用信号量等方式确保执行完成
    dispatch_sync(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), block);
    
    // 最后将局部变量的错误赋值给外部输出参数
    if (errPtr) {
        *errPtr = blockErr;
    }
    
    return result;
}

额外说明：

• 如果你的 block 是异步执行的，一定要确保在 block 执行完成后再给 errPtr 赋值，否则会拿到空值或错误的对象；
• 原代码中 block 仅定义未执行，实际使用时要根据需求将其 dispatch 到对应的队列中。

内容的提问来源于stack exchange，提问作者GJain