发布后的控制台应用未进入简单if代码块——是编译器Bug吗？

问题描述 #

拥有5年C#开发经验，遇到违反程序执行流的异常行为：

• IDE调试运行时逻辑完全正常：调用GetConfirmation方法，输入y返回true后，会进入if代码块将returnedTrue设为true。
• 发布为单文件、依赖框架且启用裁剪后，即使GetConfirmation明确返回true，if代码块也不会执行，最终输出returnedTrue = false。
• 直接使用returnedTrue = confirmation;的赋值逻辑则能正常工作。

复现代码（Program.cs） #

bool returnedTrue = false;
bool confirmation = GetConfirmation("Should this method return true?");

// 此逻辑失效
if (confirmation)
{
    returnedTrue = true;
}

// 此逻辑正常
// returnedTrue = confirmation;

Console.WriteLine("Method returned: " + returnedTrue);
Console.ReadKey();


bool GetConfirmation(string s)
{
    Console.WriteLine(s);
    var timer = 20;

    while (timer != 0)
    {
        var keyAvailable = Console.KeyAvailable;
        if (keyAvailable)
        {
            var keyChar = Console.ReadKey().KeyChar;
            Console.WriteLine();
            Console.WriteLine("Key pressed: " + keyChar + " -> returning " + (keyChar is 'y' or 'Y'));
            return keyChar is 'y' or 'Y';
        }

        Thread.Sleep(250);
        timer--;
    }

    Console.Write(" -> No input: Defaulting to no\n");
    return false;
}

发布命令 #

dotnet publish -c Release -r win-x64 --self-contained true -o ./bin/Release/net8.0/win-x64/publish -p:PublishSingleFile=true -p:PublishTrimmed=true

异常输出 #

Should this method return true?
y
Key pressed: y -> returning True
Method returned: False

原因分析 #

这是.NET 8中PublishTrimmed=true结合单文件发布时的裁剪优化Bug：裁剪器在数据流分析过程中，错误地将confirmation变量标记为未被有效使用，进而意外移除了if判断的执行逻辑。而直接赋值的方式因为变量被直接引用，规避了这个优化错误。

另外，Console.KeyAvailable结合Thread.Sleep的延迟检查逻辑，可能干扰了裁剪器的变量使用识别，导致它无法正确判断confirmation的取值会影响后续代码分支。

解决方案 #

有以下几种可行的解决方式：

• 禁用裁剪功能
  移除发布命令中的-p:PublishTrimmed=true参数，修改后的发布命令为：

  dotnet publish -c Release -r win-x64 --self-contained true -o ./bin/Release/net8.0/win-x64/publish -p:PublishSingleFile=true
  

• 阻止变量被错误优化
  通过Volatile.Read强制读取变量，避免裁剪器误判变量使用情况：

  bool confirmation = GetConfirmation("Should this method return true?");
  // 强制读取变量，阻止裁剪优化
  confirmation = System.Threading.Volatile.Read(ref confirmation);
  
  if (confirmation)
  {
      returnedTrue = true;
  }
  

• 升级.NET版本
  该Bug已在.NET 8的后续补丁版本或.NET 9中被修复，升级至最新稳定版的.NET SDK即可解决。

• 替换为直接赋值逻辑
  保留returnedTrue = confirmation;的直接赋值方式，跳过if判断，这种写法不受裁剪优化的影响。

验证 #

按照上述方案修改后，重新发布并运行程序，输入y时会正确输出Method returned: True。

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