c# - 为什么我会在此代码中的 out 参数上获得代码分析 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 所有规则。

看起来这是一个错误（请参阅此处的底部：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;
    }