VS2022如何开启同VS2019的未赋值局部变量编译检测规则

在macOS、Windows环境的Visual Studio 2019/2022中打开目标框架为.NET Core 3.1的控制台应用，测试代码如下：

using System;

namespace ConsoleApp1
{
    class Program
    {
        static void Main(string[] args)
        {
            var user = new User
            {
                Surname = "Doe",
                Name = "John"
            };

            var s = user?.TryGetFullName(out string userFullName) == true ? userFullName : null;

            Console.WriteLine(s);
        }

        public class User
        {
            public string Surname { get; set; }
            public string Name { get; set; }

            public string GetFullName()
            {
                return string.Join(" ", Surname.Trim(), Name.Trim());
            }

            public bool TryGetFullName(out string userFullName)
            {
                userFullName = null;

                try
                {
                    userFullName = GetFullName();
                    return true;
                }
                catch
                {
                    return false;
                }
            }
        }
    }
}

实际现象：同一份代码在两个版本VS中均可成功构建，但VS2019编译时会抛出*使用未赋值局部变量（Use of unassigned local variable）*错误，VS2022无该报错。

为什么VS2022默认不显示该编译错误？ #

这个差异来自Roslyn（C#官方编译器）的明确赋值分析规则迭代：

• VS2019搭载的3.x版本Roslyn编译器对null条件访问运算符（?.）、out参数、布尔值常量比较组合场景的分支分析存在bug：编译器没有正确识别「仅当TryGetFullName方法执行且返回true时，三元表达式才会访问userFullName变量」的逻辑，错误判定所有执行路径下userFullName可能未赋值，属于假阳性误报。
• VS2022搭载的新版Roslyn编译器修复了这个分析缺陷：编译器可以准确识别分支逻辑：
  • 当user为null时，user?.TryGetFullName(...)的返回值是bool?类型的null，和true做相等比较结果一定为false，三元表达式只会走返回null的分支，完全不会访问userFullName
  • 当user不为null时，TryGetFullName方法会执行，方法内部第一行就对out参数userFullName做了赋值，不存在未赋值的情况；且只有方法返回true时才会读取userFullName的值，逻辑完全合法
    因此新版编译器不会抛出该错误。

如何在VS2022中启用与VS2019一致的错误检测规则？ #

如果需要复现旧版编译器的检测行为，可通过以下两种方式配置：

• 降级项目C#语言版本
  右键项目进入【属性】→【生成】→【高级】设置页，将语言版本选择为C# 8.0（.NET Core 3.1配套、VS2019默认的语言版本），保存后重新生成项目即可触发旧版分析逻辑。
• 强制项目使用旧版编译器
  通过NuGet为项目安装3.x系列版本的Microsoft.Net.Compilers包（对应VS2019使用的编译器版本），安装后项目构建会强制调用指定版本的编译器，检测行为和VS2019完全一致。

注意：上述配置仅用于兼容旧逻辑，实际开发不建议刻意降级编译器。新版编译器的明确赋值分析准确率更高，可减少无意义的误报干扰。

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