为何这段代码未被识别为不可达代码？编译器及VS均无警告

这事儿我太有共鸣了！乍一看确实让人困惑——明明bar.type被设成了Foo.A，if (bar.type == Foo.B)的条件肯定不成立，为啥编译器和VS都没提示这段代码不可达？

先看你的代码：

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");
        }
    }
}

核心原因在于编译器对引用类型成员的静态分析能力限制：

• Bar是引用类型，bar.type是它的公共字段。虽然你在初始化时把type赋值为Foo.A，但编译器无法确保这个字段的值不会在其他地方被修改。哪怕你的代码里现在没有修改的逻辑，编译器也得考虑到潜在的可能性：比如多线程环境下其他线程修改了这个字段，或者通过反射篡改了字段值，甚至如果这个bar实例被传递到其他方法里，也可能被修改。
• 换句话说，编译器没办法100%确定bar.type的值永远是Foo.A，所以它不会把if块标记为不可达代码。

如果把代码改成下面这样，编译器就会立刻识别出不可达代码并发出警告：

static class Program {
    private static void Main() {
        var type = Foo.A; // 局部变量，编译器能精准跟踪其值
        if (type == Foo.B) {
            Console.WriteLine("lol"); // 这里会被标记为不可达
        }
    }
}

或者把Bar改成值类型（struct）：

struct 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"); // 同样会被标记为不可达
        }
    }
}

这是因为局部变量和值类型的成员，编译器可以精准跟踪它们的赋值和使用，确定其值不会被外部意外修改，所以能准确判断代码是否可达。

总结一下：编译器的可达性分析是保守的，对于引用类型的公共字段，它不会假设其值是固定不变的，因此不会标记这类看似不可达的代码。

内容的提问来源于stack exchange，提问作者Michele Ippolito