为什么此条件（null ||！TryParse）会导致“使用未分配的局部变量”？

以下代码导致使用未分配的局部变量“ numberOfGroups”：

int numberOfGroups;
if(options.NumberOfGroups == null || !int.TryParse(options.NumberOfGroups, out numberOfGroups))
{
    numberOfGroups = 10;
}

但是，此代码可以正常工作（尽管ReSharper说的= 10是多余的）：

int numberOfGroups = 10;
if(options.NumberOfGroups == null || !int.TryParse(options.NumberOfGroups, out numberOfGroups))
{
    numberOfGroups = 10;
}

我是否缺少某些东西，或者编译器不喜欢我的东西||？

我将范围缩小到dynamic导致问题的范围（options在我上面的代码中是一个动态变量）。问题仍然存在，我为什么不能这样做？

该代码无法编译：

internal class Program
{
    #region Static Methods

    private static void Main(string[] args)
    {
        dynamic myString = args[0];

        int myInt;
        if(myString == null || !int.TryParse(myString, out myInt))
        {
            myInt = 10;
        }

        Console.WriteLine(myInt);
    }

    #endregion
}

但是，此代码可以：

internal class Program
{
    #region Static Methods

    private static void Main(string[] args)
    {
        var myString = args[0]; // var would be string

        int myInt;
        if(myString == null || !int.TryParse(myString, out myInt))
        {
            myInt = 10;
        }

        Console.WriteLine(myInt);
    }

    #endregion
}

我没有意识到dynamic这是一个因素。

我很确定这是一个编译器错误。好发现！

编辑：这不是一个漏洞，正如Quartermeister所展示的那样；动态的可能实现一个奇怪的true运算符，这可能导致y它永远不会初始化。

这是最小复制：

class Program
{
    static bool M(out int x) 
    { 
        x = 123; 
        return true; 
    }
    static int N(dynamic d)
    {
        int y;
        if(d || M(out y))
            y = 10;
        return y; 
    }
}

我认为没有理由将其视为非法；如果您将动态替换为bool，则可以正常编译。

我实际上明天要与C＃团队见面；我会向他们提及。抱歉的错误！

如果动态表达式的值是带有重载运算符的类型，则可能未分配变量true。

该||运营商将调用true操作来决定是否评估右侧，然后if语句将调用true操作来决定是否评估其身。对于normal bool，这些将始终返回相同的结果，因此将对一个结果进行精确评估，但是对于用户定义的运算符，没有这样的保证！

以下是一个简短而完整的程序，它是基于Eric Lippert的repro构建的，它演示了既不执行路径也不执行变量且变量具有初始值的情况：

using System;

class Program
{
    static bool M(out int x)
    {
        x = 123;
        return true;
    }

    static int N(dynamic d)
    {
        int y = 3;
        if (d || M(out y))
            y = 10;
        return y;
    }

    static void Main(string[] args)
    {
        var result = N(new EvilBool());
        // Prints 3!
        Console.WriteLine(result);
    }
}

class EvilBool
{
    private bool value;

    public static bool operator true(EvilBool b)
    {
        // Return true the first time this is called
        // and false the second time
        b.value = !b.value;
        return b.value;
    }

    public static bool operator false(EvilBool b)
    {
        throw new NotImplementedException();
    }
}

从MSDN（重点是我的）：

动态类型使它发生的操作能够绕过编译时类型检查。而是，这些操作在运行时解决。动态类型简化了对COM API（例如Office Automation API）以及动态API（例如IronPython库）和HTML文档对象模型（DOM）的访问。

在大多数情况下，动态类型的行为类似于类型对象。但是，编译器无法解析或检查包含动态类型的表达式的操作。

由于编译器不进行类型检查或解析包含动态类型的表达式的任何操作，因此它不能确保通过使用来分配变量TryParse()。