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

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 变量的值，那么编译器可以知道它是否无法更改。但这里不是这样。

Answer 2

C# specification 说，

如果 if 语句可达且布尔表达式不具有常量值 false，则 if 语句的第一个嵌入语句是可达的。

关于constant expressions，

常量表达式必须是 null 文字或具有以下类型之一的值：sbyte、byte、short、ushort、int、uint、long、ulong、char、float、double、decimal、bool、object、string ，或任何枚举类型。

在常量表达式中只允许以下结构：

• 文字（包括 null 文字）。
• 对类和结构类型的 const 成员的引用。
• 对枚举类型成员的引用。
• 对 const 参数或局部变量的引用
• 带括号的子表达式，它们本身就是常量表达式。
• 强制转换表达式，前提是目标类型是上面列出的类型之一。 检查和未检查的表达式
• 默认值表达式
• 预定义的+、–、! 和~ 一元运算符。
• 预定义的+，–，*，/，%，<<，>>，&，|，||，||，@98645 、==、!=、<、>、<= 和 >= 二元运算符，前提是每个操作数都属于上面列出的类型。
• ?: 条件运算符。

成员访问表达式不在此列表中，因此布尔表达式不是常量。因此 if 块的主体是可访问的。

Answer 3

因为在编译时无法做出这样的保证。考虑这个替代 Bar 类

class Bar
{
   Random random = new Random();
   Array Foos = Enum.GetValues(typeof(Foo));

    private Foo _type;
    public Foo type
    {
        get { return _type; }
        set
        {
            _type = (Foo)Foos.GetValue(random.Next(3));
        }
    }
}

请注意，“可达”是在功能级别定义的。即使在安全的情况下，也不允许到达正在测试的功能之外。

Answer 4

您预期的警告没有实现，因为它不是一个有用的警告。

在现实世界的应用程序中，编译器经常面临着它可以完全证明是不可访问的代码，甚至可能是像光头一样的代码

static class Program
{
    private static void Main()
    {
        if (false)
        {
            Console.WriteLine("lol");
        }
    }
}

我在这台计算机上没有 C# 编译器，但我打赌你也没有警告。这是因为，当您将 if (false) { ... } 放在代码块周围时，您是故意这样做的，也许是为了暂时禁用某些东西以进行实验。唠叨你是没有用的。

更常见的是它不是文字false，它是一个编译时常量，构建系统将根据配置将其设置为true或false；您希望编译器在一个构建中删除无法访问的代码，而不是在另一个构建中，并且您不希望以任何方式抱怨。

比这更常见的是早期优化，如内联和不断传播，以发现条件始终为假；假设你有类似的东西

static class Program
{
    private static void Fizz(int i)
    {
        if (i % 3 == 0) {
            Console.WriteLine("fizz");
        } else {
            Console.WriteLine(i);
        }
    }

    private static void Main()
    {
        Fizz(4);
    }
}

您显然不想被告知 Fizz() 中条件的一侧是无法访问的，因为它只在此程序中使用参数 4 调用过。