为何ILSpy中'return x switch'会生成'if (1 == 0)'代码？

在Debug模式下编译C#的return switch表达式代码时，用ILSpy反编译会发现代码前后被插入了空的if (1 == 0)块，而传统switch case语句则不会出现这种情况。

原始C#代码 #

public static string TestReturnSwitch(string name)
{
    return name switch
    {
        "General Kenobi" => "Hello there!",
        "Inigo Montoya" => "My name is Inigo Montoya [...]",
        "T800" => "Sarah Connor?",
        _ => "???"
    };
}

ILSpy反编译后的代码 #

public static string TestReturnSwitch(string name)
{
    if (1 == 0)
    {
    }
    string result = name switch
    {
        "General Kenobi" => "Hello there!", 
        "Inigo Montoya" => "My name is Inigo Montoya [...]", 
        "T800" => "Sarah Connor?", 
        _ => "???", 
    };
    if (1 == 0)
    {
    }
    return result;
}

对应第一个空if的IL代码片段 #

// if (1 == 0)
IL_0001: ldc.i4.1
IL_0002: brtrue.s IL_0005

原因解析 #

这是Debug编译模式下，C#编译器为了维护调试体验插入的特殊标记代码，并非无用的冗余逻辑，具体原因如下：

• 表达式与语句的调试差异：return switch是表达式级的结构，Debug模式下编译器会将表达式结果先赋值给临时变量（而非直接返回），这一步需要明确的代码边界来支持断点和步进调试。插入的空if (1 == 0)对应的IL是一个永远不会执行的分支，本质是给调试器提供一个"锚点"，让调试器能正确识别表达式计算的起始和结束位置，避免调试时跳过表达式或者无法在表达式行上设置断点。
• 传统switch的处理逻辑：传统switch case是语句级结构，编译器对其调试信息的生成逻辑不同，本身就有明确的语句块边界，不需要额外插入锚点来维护调试流的正确性。
• Release模式的优化：Release编译时，编译器会执行死代码消除（Dead Code Elimination），这类永远不会执行的分支会被直接移除，同时会优化临时变量赋值，直接返回表达式结果，因此不会出现这种现象。

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