¿Por qué obtengo Code Analysis CA1062 en un parámetro out en este código?

Question

Tengo un código muy simple (simplificado del código original, así que sé que no es un código muy inteligente) que cuando compilo en Visual Studio 2010 con Code Analysis me da una advertencia CA1062: Valida los argumentos de los métodos públicos.

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

La advertencia me sale:

CA1062: Microsoft.Design: En método visible externamente 'Foo.Bar (fuera int [])', validar variable local '(x *) ', que fue reasignado del parámetro' x ', antes de usarlo.

No entiendo por qué aparece esta advertencia y cómo puedo resolverla sin suprimirla? ¿Puede new devolver null? ¿Es esto un error de Visual Studio 2010?

ACTUALIZACIÓN

he decidido abrir a bug report on Microsoft Connect.

Answer 1

He reproducido esto en Visual Studio 2010 Premium con el código exactamente como se indica y con Microsoft All Rules habilitado en la configuración de análisis.

Parece que se trata de un error (ver abajo de aquí: http://msdn.microsoft.com/en-us/library/ms182182.aspx). Se queja de que no está comprobando que x no es nulo antes de usarlo, pero está en el parámetro out, por lo que no hay ningún valor de entrada para verificar.

Answer 2

Es fácil mostrar que describir:

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; 
     } 
    } 
} 

Y la manera correcta es:

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; 
    }