EXC_BAD_ACCESS和泄漏可能是由于捕获块内部的块

时间:2016-04-16 17:57:20

标签: ios objective-c memory-leaks objective-c-blocks

我的应用程序最近在执行应用程序本身的核心功能之一时随机报告了 EXC_BAD_ACCESS ,该错误始终存在,但在引入后仍然发生了很多事情。 iOS 9.3.1。

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

现在我发现了这个警告"捕捉' 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]];
}

我收到警告的那一行就是这个警告:

[[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(herehere和其他许多帖子)其他人有类似的问题,但使用了自变量。它甚至适用于我的情况吗?

我还读到使用 __弱引用可以解决我的问题。我应该将 blockSafeSelf 定义从 __ block 更改为 __弱吗?

提前致谢!

1 个答案:

答案 0 :(得分:2)

错误:

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

与错误没有任何关系:

EXC_BAD_ACCESS

你有一个周期:

  • endblock包含对块的引用;
  • 该块依次保存对endblock的引用 - 因为它有效地通过引用捕获而不是由于__block限定符而按值捕获;和
  • __block限定符是必需的,或者自引用不起作用 - 如果endblock按值捕获,那么它的值将为null,因为它的值将在赋值给自己之前被捕获

因此,每次创建此块时,可能会泄漏块值,您可以通过创建阴影__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(如果您不清楚自我引用块try this answer from a few years ago会发生什么)。你也可以使用__unsafe_unretained而不是__weak,如果你正在表现,它应该是安全的(如果有疑问,)。

然而,这样的泄漏不会导致你EXC_BAD_ACCESS - 相反,你倾向于得到这个错误,因为当你期望的时候不存在某些东西,而不是当你有什么东西存在时不期望它(泄漏)。

因此,您需要在其他地方查找EXC_BAD_ACCESS

HTH