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：In 外部可见的方法'Foo.Bar（out int []）'，验证局部变量 '（* x）'，已被重新分配参数'x'，在使用之前。

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

更新

我决定开放a bug report on 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;
    }

为什么我在此代码中的out参数上获得代码分析CA1062？

2 个答案: