DebuggerNonUserCodeAttribute 异常行为？VS调试步进问题咨询

问题场景 #

在Visual Studio调试时，对Main函数里的NonUserCodeFunc调用按F11（单步进入），希望直接步进至内部的SomeFunc函数。但目前只有注释掉LogStart函数中的if (DoLog)条件判断行，才能实现这一效果，请问原因是什么？

相关代码 #

internal class Program
{
    static void Main()
    {
        NonUserCodeFunc();
    }

    [DebuggerNonUserCode]
    public static void NonUserCodeFunc()
    {
        LogStart();
        SomeFunc();
    }

    private static void SomeFunc()
    {
        Console.WriteLine(MethodBase.GetCurrentMethod().Name);
    }

    public static bool DoLog { get; set; } = true;

    [DebuggerNonUserCode()]
    private static void LogStart()
    {
        if (DoLog)
        {
            Console.WriteLine("Start");
        }
    }
}

核心原因 #

[DebuggerNonUserCode]特性的作用是告知VS调试器：标记的方法属于非用户代码，单步执行时直接跳过，无需进入。但这个跳过逻辑的生效有个前提——方法内部不能存在需要动态计算的分支或未标记非用户代码的外部依赖，具体到你的场景：

• 带条件判断的情况：
  LogStart里的if (DoLog)涉及访问DoLog公共属性，调试器无法确定这个属性的getter是否包含用户代码逻辑（哪怕这里是自动生成的getter）。同时，条件分支的存在会让JIT编译器和调试器钩子无法完全忽略整个方法的执行流程——调试器会认为这个分支可能需要断点检查，因此不会直接跳过LogStart，导致按F11时会先进入LogStart，而非直接跳到SomeFunc。

• 注释掉条件判断的情况：
  去掉if (DoLog)后，LogStart变成无分支、逻辑简单的方法，调试器能明确判定这是纯粹的非用户代码，因此会直接跳过整个方法的执行，单步进入时就会直接跳转至SomeFunc。

可选解决方案 #

如果想要保留条件判断同时实现预期的单步行为，可以给DoLog的getter也加上[DebuggerNonUserCode]特性，明确告知调试器该属性访问也属于非用户代码，这样调试器就能完整跳过LogStart的执行流程：

[DebuggerNonUserCode]
public static bool DoLog { get; set; } = true;

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