c# - 为什么这段代码无法访问？

Question

我发现我有一些我认为无法访问且未被检测到的代码。 编译器和 Visual Studio 都不会发出警告。

考虑这段代码:

enum Foo { A, B, C }
class Bar { public Foo type; }

static class Program
{
    private static void Main()
    {
        var bar = new Bar { type = Foo.A };

        if (bar.type == Foo.B)
        {
            Console.WriteLine("lol");
        }
    }
}

很明显，程序不会打印出“lol”，因为 if 语句中的条件为假。 我不明白为什么没有针对无法访问的代码发出警告。 我唯一的假设是，如果您在多线程程序中存在竞争条件，那么这可能是可行的。这是正确的吗？

Answer 1

静态分析只能做这么多，如果它能证明一个值不能改变，它只会将代码标记为不可访问。在您的代码中， Bar 内部发生的事情超出了方法流程的范围，无法进行静态推理。如果 Bar 的构造函数启动一个线程将 type 的值设置回 B 会怎样？编译器无法知道它，因为 Bar 的内部结构不在方法范围内。

如果您的代码正在检查 local 变量的值，那么编译器可以知道它是否无法更改。但这里不是这种情况。