このXcode Clangスタティックアナライザの警告をどのように抑制できますか？

Question

"に割り当てられたオブジェクトの潜在的なリークnに格納され、 '変数'に格納されている可能性があります。

通常、これは非常に有用なアナライザーの警告ですが、アナライザーの結果をきれいに保つために抑制したいと思っている偽陽性の厄介なものがいくつかあります。アナライザの防御では、別の実行パス（それが目に見えない）でのリリースではないことに気づいたことは間違いなくメモリリークになります。

私の状況を詳しく説明します。さまざまな味がありますが、一般的なパターンは次のとおりです。

1. オブジェクトが割り当てられ、その代理人が設定されています。
2. 何かがオブジェクトで行われます。 （開始されたタスク、表示されたビューなど）。
3. 現在のメソッドの実行が終了します。 （Clang警告を入力してください）。
4. オブジェクトはタスクが完了したことを判断し、代理人にメッセージを送信します。
5. 委任者オブジェクトを解放します。

これはまったく難解なデザインパターンではないので、私は抑制が可能であると考えています。私はそれが後でリリースされるivarに違反オブジェクトを格納することによって避けることができることを知っていますが、私はivar汚染を追加しないことを大いに好んでいます。

Answer 1

Clangにはいくつか新しいSource Annotationsがあります。具体的には、ns_consumedという属性に興味があります。

Answer 2

この場合、静的アナライザーのメッセージに注意する必要があります。あなたのパターンには潜在的な問題があります。

具体的には、手順5を実行するために呼び出されたメソッドから戻ると、すでに割り当てが解除されている可能性のあるオブジェクトのメソッドに含まれています。

// steps 1, 2, 3 
-(void) methodThatCreatesObject 
{ 
    id theObj = [[TheObj alloc] init]; 
    [theObj setDelegate: delegateObj]; 
    // other stuff 
} 

注上記の違反memory management rules

// step 4 - a method of theObj 
-(void) someMethod 
{ 
    [delegate notifyTaskCompleteFromObj: self]; 
    // self points to an invalid object here. Doing anything with self results in EXC_BAD_ACCESS 
} 

メモリ管理ルールに記載された仮定上の違反：

Aがオブジェクトを受け取ったが、私はこのようなあなたのパターンに何かを解釈します受け取ったメソッド内で有効であることが通常保証される

selfが受信されたオブジェクトであるとすると、これは技術的にはスタック上のパラメータとして渡されるためです。

// step 5 the delegate method defined in the delegate object 

-(void) notifyTaskCompleteFromObj: (TheObj*) anObj 
{ 
    // do stuff 
    [anObj release]; 
} 

上記はまた、メモリ管理ルールに違反します。

通常のパターンは、デリゲートとデリゲートを持つオブジェクトの両方を所有するコントローラを持つことです（多くの場合、コントローラ自体はデリゲートです）。私はあなたがそのパターンに移行すべきだと思います。

Answer 3

もう1つの興味深いオプションが私に発生しました。オペレーションは次のシナリオを示しました：

1. オブジェクトが割り当てられ、その代理人が設定されています。
2. 何かがオブジェクトで行われます。 （開始されたタスク、表示されたビューなど）。
3. 現在のメソッドの実行が終了します。 （Clang警告を入力してください）。
4. オブジェクトはタスクが完了したことを判断し、代理人にメッセージを送信します。
5. 委任者オブジェクトを解放します。 FOOを設定することにより

   TheObject* foo = [[TheObject alloc] init] autorelease]; 
   foo.delegate = self; 
   [foo doSomething]; 
   objc_setAssociatedObject(self, foo, foo, OBJC_ASSOCIATION_RETAIN_NONATOMIC); 
   return; 
   

   ：

の場合は、代わりに明示的なリリースの、あなたは単にこれに割り当て/ delegeateオブジェクト、あなたは可能性のそれに割り当てられたオブジェクトの生存期間を延長したいです保持ポリシーを持つ関連オブジェクトであれば、デリゲート（self）はデリゲート（self）が解放されるたびに後で解放されるオブジェクトを保持します（後で）。

OPが尋ねたことはまったく正確ではありませんが、有用なパターンですが、OPが提示した状況ではおそらく十分であるように感じます。