Warum bekomme ich Code-Analyse CA1062 auf einen out-Parameter in diesem Code?

Question

Ich habe einen sehr einfachen Code (vereinfacht aus dem ursprünglichen Code - damit ich weiß, es ist kein sehr cleverer Code), dass, wenn ich in Visual Studio 2010 mit Code-Analyse kompilieren gibt CA1062 Warnung: Argumente der öffentlichen Methoden zu validieren.

public class Foo 
{ 
    protected static void Bar(out int[] x) 
    { 
     x = new int[1]; 
     for (int i = 0; i != 1; ++i) 
      x[i] = 1; 
    } 
} 

Die Warnung, die ich erhalten:

CA1062: Microsoft.Design: In äußerlich sichtbare Methode 'Foo.Bar (out int [])', validieren lokale Variable ‚(* x) ', die von Parameter' x 'neu zugewiesen wurde, bevor Sie es verwenden.

Ich verstehe nicht, warum bekomme ich diese Warnung und wie kann ich es lösen, ohne es zu unterdrücken? Kann new zurückgeben null? Ist das ein Visual Studio 2010-Fehler?

UPDATE

Ich habe beschlossen, a bug report on Microsoft Connect zu öffnen.

Answer 1

Ich habe dies in Visual Studio 2010 Premium mit dem Code genau wie angegeben reproduziert und mit Microsoft All Rules in den Analyseeinstellungen aktiviert.

Es sieht so aus, als ob dies ein Fehler ist (siehe unten hier: http://msdn.microsoft.com/en-us/library/ms182182.aspx). Es ist bedenklich, dass Sie nicht überprüfen, dass x nicht Null ist, bevor Sie es verwenden, aber es ist auf out Parameter, so dass es keinen Eingabewert zu überprüfen gibt!

Answer 2

Es ist einfacher, zu zeigen, als zu beschreiben:

public class Program 
{ 
    protected static int[] testIntArray; 

    protected static void Bar(out int[] x) 
    { 
     x = new int[100]; 
     for (int i = 0; i != 100; ++i) 
     { 
      Thread.Sleep(5); 
      x[i] = 1; // NullReferenceException 
     } 
    } 

    protected static void Work() 
    { 
     Bar(out testIntArray); 
    } 

    static void Main(string[] args) 
    { 
     var t1 = new Thread(Work); 
     t1.Start(); 

     while (t1.ThreadState == ThreadState.Running) 
     { 
      testIntArray = null; 
     } 
    } 
} 

Und der richtige Weg ist:

protected static void Bar(out int[] x) 
    { 
     var y = new int[100]; 

     for (int i = 0; i != 100; ++i) 
     { 
      Thread.Sleep(5); 
      y[i] = 1; 
     } 

     x = y; 
    }