なぜBitmapはCA2000のルールを引き起こしますが、Imageはしませんか？

Question

コード解析ルールCA2000がVS2010によって厳密に厳しく適用されているということを嘆いているので、たくさんの質問がありますが、私はそれを適用すべきケースに入り込んだようですが、そうではありません。

次のコードを考えてみましょう：

Image srcImage = Image.FromFile(source); 
Bitmap newImage = new Bitmap(newWidth, newHeight); 

using (Graphics gr = Graphics.FromImage(newImage)) 
{ 
    gr.DrawImage(srcImage, new Rectangle(0, 0, newWidth, newHeight)); 
} 
newImage.Save(destination, ImageFormat.Jpeg); 

私はこの上のVisual Studio 2010でコード分析を実行する場合さて、それはおよそNEWIMAGEが配置されていない文句を言うだろう（簡単な修正、他の使用してブロックに入れて）しかし、それは約srcImage（私は決して呼び出していないDispose（）メソッドもあります）については不平を言っていません。誰もがなぜコード分析がここで文句を言わないのか知っていますか？

Answer 1

まあ、それはあまりにも「srcImage文句を言う」、しかし私は「gr.DrawImage(srcImage, new Rectangle(0, 0, newWidth, newHeight));」あなたはDrawImageメソッドにそれを渡しているので、それはそれについて文句を言わないことを推測なければならない、だから、あることを知っているのに十分にスマートではありませんどちらかメソッドが返された後でさらに多くのアクションに使用されることはありません。または、それが廃棄されるインスタンスgrでそれを使用したと仮定したかもしれません。とにかくnewImageと同じようにsrcImageにusingを使用し、そのコード解析に従わないでください。

Answer 2

CA2000と同様の/関連するCA2213（DisposableFieldsShouldBeDisposed）とCA1001（TypesThatOwnDisposableFieldsShouldBeDisposable）ルールは、ディスポーザブルの「所有権」をどのように認識するかについてかなり厳密です。インスタンスのコンストラクタを使用してコード内にインスタンスを直接作成する場合、コードは使い捨てインスタンスの所有者であるとみなします。 Image.FromFileを使用してsrcImageのインスタンスを作成するため、ルールはコードを所有者として認識しません。

このルールの動作に同意しない場合は、https://connect.microsoft.com/visualstudio/feedbackにバグレポートを作成することをお勧めします。 （あなたが使い捨てのフィールドルールを気にしているなら、あなたがそれをしている間に既存のhttps://connect.microsoft.com/VisualStudio/feedback/details/485291/typesthatowndisposablefieldsshouldbedisposable-rule-ca1001-is-too-permissive提案に投票したいかもしれません。）