Références circulaires en Objective-C et clang

Question

Pourquoi l'analyseur statique ne détecte-t-il pas les références circulaires avec des blocs? Je me souviens que cela avait l'habitude de le faire quand j'avais retenu mes délégués au lieu de les assigner, avant l'introduction des blocs. Je me souviens des jolies petites lignes qu'il dessinait sur mon code (je pense ...)

Si je fais cela, sans utiliser weakSelf, je sais que je vais obtenir une référence circulaire.

// Note 1: myObject is 'retained' by self. 
// Note 2: myObject retains the block for the future 

[self.myObject registerBlockOfCodeForFutureExectution:^{ 
    [self doSomething]; 
}]; 

Sample Project Exploiting Issue

Maintenant, si je sais, et je suis un homme stupide, alors pourquoi ne sait pas mon ordinateur intelligente ce qui est mauvais et me prévenir que je suis stupide?

Il doit y avoir une raison logique pour laquelle il ne peut pas le détecter, et je veux savoir quelle est cette raison.

Cette question concerne l'analyse statique et statique, ne suggérez pas comment je répare les références circulaires - je sais comment faire.

Answer 1

Si vous utilisez self à l'intérieur du bloc, cela ne signifie pas automatiquement que vous obtenez un cycle de rétention. Vous obtenez le cycle de conservation seulement si la durée de vie du bloc dépend de la durée de vie de l'objet self. Cela peut être le cas si self a une forte référence à myObject ou des dépendances plus complexes sont également possibles (je suppose qu'il «sauve» en effet le bloc passé à une méthode, donc vous y avez déjà une forte référence). Donc, pour avoir un cycle de conservation dans votre exemple, vous devez avoir deux conditions suivantes rencontrées (aucune d'elles ne vient du code que vous avez publié), et le compilateur doit en être conscient: 1. La durée de vie de myObject est lié à l'auto - laisse supposer que l'auto a une forte référence à elle 2. saveThisBlockInMyObject: conserve le bloc qui lui sont transmises

J'ai fait un petit échantillon qui donne compilateur avertissement sur la capture auto - pour aborder le 1er point, je déclare myObject comme une propriété forte d'une classe:

@property (strong) MyTestClass* myObj; 
... 
self.myObj = [MyTestClass new]; 

Pour le second point, je n'ai pas trouvé de moyen de spécifier que la méthode conserve son argument (il y a source annotations pour les valeurs retournées, mais il n'y a pas d'annotations pertinentes pour les paramètres de la méthode). Mais vous déclarez bloc comme une propriété forte de votre classe de test, puis compilateur est heureux de vous mettre en garde le cycle possible de retenir:

typedef void (^MyVoidBlock)(); 
// MyTestClass 
@property (nonatomic, copy) MyVoidBlock voidBlock; 

self.voidBlock = ^{ 
    [self doSomething]; // Warning! 
}; 

espoir qui fait sens :)

Answer 2

Le code affiché à github ne provoque une conserver le cycle.

actuel Code github:

@interface MyObject() 
@property (nonatomic, copy) dispatch_block_t codeToRunInFuture; 
@end 

@implementation MyObject 

- (void) registerBlockForFuture:(dispatch_block_t)block { 
    self.codeToRunInFuture = block; 
} 

// Call in ViewController 
self.myObject = [MyObject.alloc init]; 
[self.myObject registerBlockForFuture:^{ 
    [self runThisInFuture]; 
}]; 

je peux voir où cela serait difficile à attraper car l'analyseur ne peut pas savoir ce que block peut être et ne peut donc pas dire s'il y a une référence auto forte ou faible . Il devrait examiner tous les cas où registerBlockForFuture: est appelé et le block dans chaque cas.

La réponse pourrait être de soumettre un bugreport à Apple.