CA2000の仕組みとその回避策

Question

私はこの警告を抑制せずに対処しようとしています。それを個人的な挑戦と呼んでください。それへのすべての参照がスコープ外になる前に

方法で

CA2000「CreateAndUseは」、「新しいプロジェクト（）」オブジェクトにSystem.IDisposable.Disposeを呼び出します。

IDisposableとすると、任意のProjectクラスのインターフェイス。

public static TR Using<T, TR>(this T instance, Func<T, TR> expression) 
    where T : IDisposable 
{ 
    using (instance) 
     return expression(instance); 
} 

確かにスマートコンパイラはこれを正しく分析することができる必要があります：拡張メソッドを考える

public void CreateAndUse() 
{ 
    var instances = new Project().Using(_ => _.LoadItems()); 
} 

？ CA2000が発生
私は何かが足りないと思う...

Answer 1

あなたが実際に聞いて一つの質問は次のとおりです。

確かにスマートコンパイラはこれを正しく解析することができるはずですか？

これは基本的な誤解を示しています。 CA2000はコンパイラの問題ではありません。これはコード解析の問題であり、コンパイラとは完全に別です。そして、それは「かなり」スマートではありません。コンパイラはこれに関与していないので、ここでは何もできません。

このCAを処理する適切な方法は、それを見て、それが関連しているかどうかを判断し、可能であればその方法で抑止することです。

理由は？

作成されたオブジェクトを処理したり処理したりすることはしばしば誤りですが、目的の機能であることがあります。返されたオブジェクトがすでに破棄されている場合、ファクトリメソッド（GetDatabaseConnection（））はまったく役に立たないでしょう。

しかし、これらは「エッジ」のケースです。プログラマは、警告が表示されると決定できます。これはメソッドレベルの抑制のためのものです。

この場合、同様の（しかし同じではありませんが）例については、How to get rid of CA2000 warning when ownership is transferred?を参照してください。

Answer 2

理由は無地でシンプルです：あなたは、あなたのCreateAndUse()方法に配置されていないIDisposableへの参照を持っています。

あなたの拡張メソッドがあなたのオブジェクトを処分するという事実は無関係です。コードアナライザーは、拡張メソッドが実行されるまでにインスタンスが破棄されることは保証されません。 usingブロックの外にある拡張メソッド内のオブジェクトで他のものをやってしまうとどうなりますか？他のものが例外を引き起こす場合（usingブロックを到達不能にする）そして、突然、不在のオブジェクトが周囲に横たわっています。それがCA2000があなたを守ろうとしていることです。他に何もない場合、コードアナライザーは、コードがおそらく失敗する可能性がある他のすべての方法を予測するのに十分なほどスマートです。

You can choose to suppress this warningブロックがIDisposableブロックであることを保証できない場合は、このような警告が表示されなくても問題がないことを示しています。一方、CA2000を抑止することなくCA2000を処理する最良の方法は、最初にCA2000が起きるのを防ぐことです。あなたが見ることができるように、Projectの範囲はちょうど1 usingブロックに絞られ

public void CreateAndUse() 
{ 
    List<Item> instances; 

    using (var p = new Project()) 
     instances = p.LoadItems(); 
} 

：そしてことを行うための最善の方法は、ただ直接それが使用されることを意図された方法をusingを使用することです。かなり明確です。 jgauffinは言ったように、間接的な層を追加する必要はありません。