Objective-C 中的递归块在 ARC 中泄漏

Question

所以我使用递归块。我知道要使块递归，它需要在前面加上 __block 关键字，并且必须将其复制以便可以放在堆上。但是，当我这样做时，它在 Instruments 中显示为泄漏。有人知道我为什么或如何解决它吗？

请注意，在下面的代码中，我引用了许多其他块，但它们都不是递归的。

__block NSDecimalNumber *(^ProcessElementStack)(LinkedList *, NSString *) = [^NSDecimalNumber *(LinkedList *cformula, NSString *function){
        LinkedList *list = [[LinkedList alloc] init];
        NSDictionary *dict;
        FormulaType type;
        while (cformula.count > 0) {
            dict = cformula.pop;
            type = [[dict objectForKey:@"type"] intValue];
            if (type == formulaOperandOpenParen || type == formulaListOperand || type == formulaOpenParen) [list add:ProcessElementStack(cformula, [dict objectForKey:@"name"])];
            else if (type == formulaField || type == formulaConstant) [list add:NumberForDict(dict)];
            else if (type == formulaOperand) [list add:[dict objectForKey:@"name"]];
            else if (type == formulaCloseParen) {
                if (function){
                    if ([function isEqualToString:@"AVG("]) return Average(list);
                    if ([function isEqualToString:@"MIN("]) return Minimum(list);
                    if ([function isEqualToString:@"MAX("]) return Maximum(list);
                    if ([function isEqualToString:@"SQRT("]) return SquareRoot(list);
                    if ([function isEqualToString:@"ABS("]) return EvaluateStack(list).absoluteValue;
                    return EvaluateStack(list);
                } else break;
            }
        }
        return EvaluateStack(list);
    } copy];
    NSDecimalNumber *number = ProcessElementStack([formula copy], nil); 

更新 因此，在我自己的研究中，我发现问题显然与对该块使用的其他块的引用有关。如果我做这样简单的事情，它就不会泄漏：

 __block void (^LeakingBlock)(int) = [^(int i){
        i++;
        if (i < 100) LeakingBlock(i);
    } copy];
    LeakingBlock(1);

但是，如果我在其中添加另一个块，它确实会泄漏：

void (^Log)(int) = ^(int i){
   NSLog(@"log sub %i", i);
};

__block void (^LeakingBlock)(int) = [^(int i){
    Log(i);
    i++;
    if (i < 100) LeakingBlock(i);
} copy];
LeakingBlock(1);

我已经尝试对 Log() 使用 __block 关键字并尝试复制它，但它仍然泄漏。有什么想法吗？

更新 2 我找到了一种防止泄漏的方法，但这有点繁琐。如果我将传入的块转换为弱 id，然后将弱 id 转换回块类型，我可以防止泄漏。

void (^Log)(int) = ^(int i){
    NSLog(@"log sub %i", i);
};

__weak id WeakLogID = Log;

__block void (^LeakingBlock)(int) = [^(int i){
    void (^WeakLog)(int) = WeakLogID;
    WeakLog(i);
    if (i < 100) LeakingBlock(++i);
} copy];
LeakingBlock(1);

肯定有更好的方法吗？

Answer 1

如果没有更多上下文信息，我可以这样说：

您正在泄漏该块，因为您正在复制它而不是在其他地方发布它。您需要将其复制以将其移动到堆中，没关系。但是你选择的方式并不完全ok。

正确的做法是将它存储为某个对象实例变量，复制它，然后在 dealloc 中释放它。至少，这是一种不泄漏的方法。

Answer 2

亚伦，

由于您的代码似乎是单线程的，您为什么要复制该块？如果你不复制块，你就没有泄漏。

安德鲁

Answer 3

好的，我自己找到了答案……但感谢那些试图提供帮助的人。

如果您在递归块中引用/使用其他块，则必须将它们作为弱变量传递。当然，__weak 只适用于块指针类型，所以你必须先对它们进行 typedef。这是最终的解决方案：

    typedef void (^IntBlock)(int);

    IntBlock __weak Log = ^(int i){
        NSLog(@"log sub %i", i);
    };

    __block void (^LeakingBlock)(int) = ^(int i){
        Log(i);
        if (i < 100) LeakingBlock(++i);
    };
    LeakingBlock(1);

上面的代码没有泄露。