为何ref参数触发IDE0059编译提示？疑似Visual Studio误报

我使用Visual Studio 2022 Community x64 v17.5.4，.NET Framework版本为4.8.04084，编译目标设置为net standard。在DoWithFlagSet方法中，flag = tempValue;这一行触发了IDE0059提示“不必要的赋值”，但这是ref变量，赋值显然是必要的——我需要在执行action委托期间将flag设为tempValue，finally块中再恢复原值。尝试重构后提示仍存在，这是VS的bug吗？

简化后的代码 #

public class MyClassA
{
    public static void DoWithFlagSet(Action action, ref bool flag, bool tempValue = true)
    {
        bool oldValue = flag;

        flag = tempValue; // 此行触发IDE0059：不必要的赋值提示

        try
        {
            action();
        }
        finally
        {
            flag = oldValue;
        }
    }

    protected bool ignoreChildEvents = default;
    protected virtual bool OptionA => true;
    protected virtual bool OptionB => false;

    protected virtual bool SomeSubroutine() =>
        ignoreChildEvents
            ? OptionA
            : OptionB;

    public void MakeSomeChanges()
    {
        bool result;
        DoWithFlagSet(() => result = SomeSubroutine(), ref ignoreChildEvents);
    }
}

结论与解决方法 #

这确实是Visual Studio代码分析器的bug。IDE0059的逻辑未正确识别ref变量的赋值场景：虽然方法内部的finally块会将flag改回oldValue，但ref变量指向的是外部变量，action委托执行过程中完全可能读取这个外部变量的值，因此flag = tempValue;的赋值有实际作用，并非不必要。

临时解决方式：

• 在赋值行上方添加#pragma warning disable IDE0059，执行完赋值后用#pragma warning restore IDE0059恢复警告
• 将Visual Studio更新到更高版本（后续版本的代码分析器已修复此类ref变量的误报问题）

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