未分配的局部变量和短路评估

Question

我有两种方法，它们都编译正确：

public int A()
{
    int i;
    if(!int.TryParse("0", out i))
    {
        return -1;
    }
    // do sth
    return i;
}

public int B()
{
    int i;
    if(true)
    {
        return -1;
    }
    return i;
}

在第二种情况下（方法 B）编译器足够聪明，可以检测到变量 i 从未使用过，因此它不会抱怨未分配它。

但是，我有另一个示例（两者的组合）似乎等同于方法B：

public int C()
{
    int i;
    if (true || !int.TryParse("0", out i))
    {
        return -1;
    }
    return i;
}

在 VisualStudio 2012 (.NET Framework 4.6.01055) 下在 Windows 上编译时会引发错误：Use of unassigned local variable 'i'。解决办法是：

• 用任意值初始化i，或者
• 使用| 运算符而不是||。

为什么会这样？看起来编译器拥有所有必要的数据来检测无法访问的代码。

旁注：示例 C 在 mono 4.6.2 下的 Linux 上编译，并按预期发出有关无法访问代码的警告。

Answer 1

这不能被认为是一个错误，但它是一个可改进的功能。当您说编译器有足够的信息知道从未使用过未分配的i 并因此它应该省略编译器错误时，您是正确的。

它是可以改进的，因为事实上，它已经被改进了；在 VS 2015 中，编译器的行为是预期的：没有编译时错误。我不能对以前版本的编译器说同样的话，因为我目前无法测试它们。

有趣的是，VS 2015 或 VS 2017 RC 都没有在return i 报告无法访问的代码警告，这似乎有点奇怪。 if (true) 将给出此警告，if (true || ....) 正确指出未使用 i，但由于我不明白的原因，该警告已被省略。

要详细了解行为改变的原因，请查看此answer。我知道这个问题很重要……几年前我自己也问过类似的问题；）。

Answer 2

在 Windows 上在 Visual Studio 2012 (.NET Framework 4.6.01055) 下编译时会抛出错误：Use of unassigned local variable 'i'

应该如此。变量未赋值。您可能不会在代码中引用它。但有时，取决于编译器，它可能事先知道该行永远不会执行，并在检查变量使用之前将其完全删除。其他版本可能会切换可能导致不同结果的步骤。就个人而言，我会说你不应该依赖它：代码安全。

仅供参考。 Roslyn（最新的 .NET 编译器）在编译时不会出错。看来验证只是丢弃了所有|| 条件。

if (true || !int.TryParse("0", out i)) // // does not give an error, first return always used, other discarded

if (true && !int.TryParse("0", out i)) // does not give an error, i is known to always be assigned

if (false && !int.TryParse("0", out i)) // gives an error, if never results in true, and parse is known not to be called