Các khối đệ quy trong rò rỉ mục tiêu-C trong ARC

Question

Vì vậy, tôi đang sử dụng các khối đệ quy. Tôi hiểu rằng đối với một khối được đệ quy nó cần phải được bắt đầu bằng từ khóa __block, và nó phải được sao chép để nó có thể được đặt trên heap. Tuy nhiên, khi tôi làm điều này, nó được hiển thị như là một rò rỉ trong dụng cụ. Có ai biết tại sao hay làm thế nào tôi có thể vượt qua nó?

Vui lòng lưu ý trong mã bên dưới tôi đã tham chiếu đến nhiều khối khác, nhưng không có mục nào trong số đó là đệ quy.

__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); 

CẬP NHẬT Vì vậy, trong nghiên cứu của riêng tôi, tôi đã phát hiện ra rằng vấn đề dường như không phải làm gì với các tham chiếu đến các khối khác khối này sử dụng. Nếu tôi làm điều gì đó đơn giản như thế này, nó không bị rò rỉ:

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

Tuy nhiên, nếu tôi thêm một khối khác trong này, nó bị rò rỉ:

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); 

Tôi đã thử bằng cách sử dụng __block từ khóa cho Log() và cũng đã thử sao chép nó, nhưng nó vẫn bị rò rỉ. Bất kỳ ý tưởng?

CẬP NHẬT 2 Tôi đã tìm ra cách ngăn chặn sự rò rỉ, nhưng hơi khó chịu. Nếu tôi chuyển đổi thông qua trong khối để một id yếu, và sau đó đúc id yếu trở lại vào một loại khối, tôi có thể ngăn chặn rò rỉ.

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); 

Chắc chắn có cách nào tốt hơn?

Answer 1

Ok, tôi tự tìm được câu trả lời ... nhưng nhờ những người đã cố giúp đỡ.

Nếu bạn đang tham khảo/sử dụng các khối khác trong khối đệ quy, bạn phải chuyển chúng thành các biến yếu. Tất nhiên, __weak chỉ áp dụng cho các kiểu con trỏ chặn, vì vậy bạn phải gõ chúng trước. Đây là giải pháp cuối cùng:

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); 

Mã trên không bị rò rỉ.

Answer 2

Không có thông tin bối cảnh hơn nữa, tôi có thể nói điều này:

Bạn đang bị rò rỉ khối đó bởi vì bạn đang sao chép nó và không phát hành nó ở nơi khác. Bạn cần phải sao chép nó để di chuyển nó vào heap, đó là ok. Nhưng cách bạn chọn không hoàn toàn ổn.

Cách chính xác để thực hiện việc này là lưu trữ nó dưới dạng một biến đối tượng, sao chép và sau đó giải phóng nó bên trong dealloc. Ít nhất, đó là một cách để làm điều đó mà không bị rò rỉ.

Answer 3

Aaron,

Vì mã của bạn có vẻ là một luồng, tại sao bạn sao chép khối? Nếu bạn không sao chép khối, bạn không bị rò rỉ.

Andrew