ios - EXC_BAD_ACCESS 和泄漏可能是由于在 block 内捕获 block

Question

我的应用最近在执行应用本身的核心功能之一时随机报告 EXC_BAD_ACCESS 崩溃，该错误一直存在，但在引入iOS 9.3.1。

我一直在使用 XCode 提供的工具(代码分析、NSZombies、Address Sanitizer 等)对代码进行大量分析和静态检查。在继续进行进一步调查之前，我想确保警告和潜在内存错误的计数降至 0。

现在我一直坚持这个警告“在此 block 中强烈捕获'endblock'可能会导致保留周期”。我真的认为解决这个警告也可以解决 EXC_BAD_ACCESS 问题，因为使用 Leaks 工具标有该警告的代码片段会导致大量泄漏。

这是导致泄漏的函数的代码片段:

- (void)arrayDayPlan:(void (^)()) block dateArray:(NSArray *)dateArray {

    [MyPlanner sharedInstance].multipleDaycounter = 1;
    NSInteger dayNumber = dateArray.count;

    void (^__block endBlock)() = ^void() {

        if([MyPlanner sharedInstance].multipleDaycounter == dayNumber) {
            block();
        } else {
            NSDate *newDate = [dateArray objectAtIndex:[MyPlanner sharedInstance].multipleDaycounter];
            [MyPlanner sharedInstance].multipleDaycounter = [MyPlanner sharedInstance].multipleDaycounter + 1;
            [[MyPlanner sharedInstance] plan:endBlock FromDay:[newDate dateAtStartOfDay] toDay:[[newDate dateByAddingDays:1] dateAtStartOfDay]];
        }
    };

    NSDate *firstDate = (NSDate *)[dateArray firstObject];
    [[MyPlanner sharedInstance] plan:endBlock FromDay:[firstDate dateAtStartOfDay] toDay:[[firstDate dateByAddingDays:1] dateAtStartOfDay]];
}

我收到警告的行是 block 内的这一行:

[[MyPlanner sharedInstance] plan:endBlock FromDay:[newDate dateAtStartOfDay] toDay:[[newDate dateByAddingDays:1] dateAtStartOfDay]];

虽然报告了此行的泄漏:

void (^__block endBlock)() = ^void() {

这个函数在项目的四个地方被调用，每个调用都或多或少具有以下结构:

- (void)planWithArray {

    [self showLoadingView];
    __block MyAssignedViewController *blockSafeSelf = self;

    [[MyPlanner sharedInstance] arrayDayPlan:^{

        [[MyPlanningData sharedInstance] resetDateToPlan];
        [blockSafeSelf refreshView];
        [blockSafeSelf dismissLoadingView];
    } dateArray:[[MyPlanningData sharedInstance] generateDateArray:[[NSDate now] dateAtStartOfDay]]];
}

我在 SO(here、here 和许多其他线程)上读到其他人也有类似的问题，但使用了自变量。它甚至适用于我的情况吗？

我还读到过使用 __weak 引用可以避免我遇到这个问题。我是否应该将 blockSafeSelf 定义从 __block 更改为 __weak？

提前致谢!

Answer 1

错误:

Capturing 'endblock' strongly in this block is likely to lead to a retain cycle

与错误无关:

EXC_BAD_ACCESS

你确实有一个循环:

• endblock 持有对 block 的引用；
• 该 block 又持有对 endblock 的引用 - 由于 __block 限定符，它实际上是按引用捕获而不是按值捕获；和
• __block 限定符是必需的，否则自引用将不起作用 - 如果 endblock 是按值捕获的，那么它的值将为 null，因为它的值为在分配给自身之前捕获。

因此，每次创建此 block 时，您都会可能泄漏一个 block 值，您可以通过创建阴影 __weak 变量并将其用于自引用来解决该问题，例如类似的东西:

typedef void (^EndBlock)(void);

EndBlock endBlock;
__block __weak _endBlock = endBlock = ^{
   ...
   // only reference _endBlock inside the block
   ...
};

// use endBlock outside the block itself

请注意，您仍然需要 __block 否则自引用将看到 nil(如果您不清楚自引用 block 发生了什么，请尝试 this answer from a few years ago ) .您还可以使用 __unsafe_unretained 而不是 __weak 如果您正在努力提高性能，它应该是安全的(如果有疑问，不要)。

但是，这样的泄漏不会导致您EXC_BAD_ACCESS - 相反，您往往会遇到此错误，因为某些东西在您期望的时候不存在，而不是在某些东西存在的时候当您不期望它时(泄漏)。

所以您需要到别处寻找您的EXC_BAD_ACCESS。

HTH