Есть ли указатель SELF для блоков?

Question

Я хотел бы рекурсивно вызывать блок изнутри самого себя. В объекте obj-c мы используем «self», есть ли что-то подобное, чтобы ссылаться на экземпляр блока изнутри самого себя?

Answer 1

Веселая история! Блоки фактически являются объектами Objective-C. Тем не менее, нет открытого API для получения указателя блоков self.

Однако, если вы объявите блоки перед их использованием, вы можете использовать их рекурсивно. В не сборки мусора, вы могли бы сделать что-то вроде этого:

__weak __block int (^block_self)(int); 
int (^fibonacci)(int) = [^(int n) { 
    if (n < 2) { return 1; } 
    return block_self(n - 1) + block_self(n - 2); 
} copy]; 

block_self = fibonacci; 

Это необходимо применить модификатор __block к block_self, потому что в противном случае, block_self ссылка внутри fibonacci будет ссылаться на него перед ним (сбой вашей программы при первом рекурсивном вызове). __weak должен обеспечить, чтобы блок не фиксировал значительную ссылку на себя, что могло бы вызвать утечку памяти.

Answer 2

Вы должны объявить переменную блок, как __block:

typedef void (^MyBlock)(id); 

__block MyBlock block = ^(id param) { 
    NSLog(@"%@", param); 
    block(param); 
}; 

Answer 3

Следующий рекурсивный блок кода будет скомпилировать и запустить с помощью ARC, GC, или ручное управление памятью, без сбоев, утечки или выдачи предупреждений (анализатор или регулярные):

typedef void (^CountdownBlock)(int currentValue); 

- (CountdownBlock) makeRecursiveBlock 
{ 
    CountdownBlock aBlock; 
    __block __unsafe_unretained CountdownBlock aBlock_recursive; 
    aBlock_recursive = aBlock = [^(int currentValue) 
    { 
     if(currentValue >= 0) 
     { 
      NSLog(@"Current value = %d", currentValue); 
      aBlock_recursive(currentValue-1); 
     } 
    } copy]; 
#if !__has_feature(objc_arc) 
    [aBlock autorelease]; 
#endif 

    return aBlock; 
} 

- (void) callRecursiveBlock 
{ 
    CountdownBlock aBlock = [self makeRecursiveBlock]; 

    // You don't need to dispatch; I'm doing this to demonstrate 
    // calling from beyond the current autorelease pool. 
    dispatch_async(dispatch_get_main_queue(),^
        { 
         aBlock(10); 
        }); 
} 

Важные соображения:

• You необходимо скопировать блок в кучу вручную или попытаться получить доступ к несуществующему стекю, когда вы вызываете его из другого контекста (ARC обычно делает это для вас, но не во всех случаях. Лучше играть в нее безопасно).
• Вам нужны ДВОЙНЫЕ ссылки: один, чтобы удерживать сильную ссылку на блок, и один, чтобы удерживать слабую ссылку для рекурсивного блока для вызова (технически это требуется только для ARC).
• Вы должны использовать квалификатор __block, чтобы блок не фиксировал еще неназначенное значение ссылки на блок.
• Если вы занимаетесь ручным управлением памятью, вам необходимо автоматически авторизовать скопированный блок.

Answer 4

Для блоков (пока) нет self. Вы можете построить один такой (предполагается, что ARC):

__block void (__weak ^blockSelf)(void); 
void (^block)(void) = [^{ 
     // Use blockSelf here 
} copy]; 
blockSelf = block; 
    // Use block here 

__block необходимо, чтобы мы могли установить blockSelf к блоку после создания блока. Требуется __weak, потому что в противном случае блок будет содержать сильную ссылку на себя, что вызовет сильный опорный цикл и, следовательно, утечку памяти. copy необходим, чтобы убедиться, что блок скопирован в кучу. Это может быть ненужным с новыми версиями компилятора, но это не повредит.