为什么我在此代码中的输出参数上得到代码分析 CA1062？

Question

我有一个非常简单的代码（从原始代码简化 - 所以我知道这不是一个非常聪明的代码），当我在 Visual Studio 2010 中使用代码分析进行编译时，会发出警告 CA1062：验证公共方法的参数。

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

我收到的警告：

CA1062：Microsoft.Design：在 外部可见方法 'Foo.Bar(out int[])'，验证局部变量 '(*x)'，从重新分配 参数“x”，在使用之前。

我不明白为什么会收到此警告以及如何在不抑制它的情况下解决它？ new 可以返回 null 吗？这是 Visual Studio 2010 的错误吗？

更新

我决定打开Microsoft Connect 上的错误报告。

Answer 1

我已在 Visual Studio 2010 Premium 中重现了此内容，代码与给定的代码完全相同，并且在分析设置中启用了Microsoft All Rules。

看起来这是一个错误（请参见此处的底部：http://msdn. microsoft.com/en-us/library/ms182182.aspx）。抱怨您在使用它之前没有检查 x 是否不为空，但它位于 out 参数上，因此没有输入值可供检查！

Answer 2

展示比描述更容易：

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

正确的方法是：

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