C#中返回非空值的方法赋值给局部变量为何被判定可空？

这既不是Visual Studio的功能bug，也不是C#的设计问题，是VS2022 17.1.x版本自带的C# 10 Roslyn编译器中，可空引用类型静态分析器的已知回归误报：

• 先明确基础事实：.NET 6类库中Expression.Parameter()的所有重载都已经标注了非空返回值，方法签名明确返回ParameterExpression（不带?），运行时永远不会返回null。
• 误报触发逻辑：当你用var声明局部变量接收该方法返回值，并且后续把这个变量作为参数传入其他Expression系列方法（比如Expression.Lambda、Expression.Call、Expression.Property等）组装表达式树时，分析器会错误执行空状态回溯，错误判定该变量可能在表达式树构造流程中被修改为null，因此把变量类型推断为ParameterExpression?，给出可能为null的警告。
• 可以自行验证：如果只是单独声明变量接收返回值，不传入后续表达式构造逻辑，比如写var param = Expression.Parameter(typeof(int), "x"); Console.WriteLine(param.ToString());，分析器不会给出任何null相关警告；只要把param传入其他Expression构造方法，误报就会出现。

这个问题只是静态分析的误判，完全不影响实际编译和运行，可以任选以下方式处理：

• 显式指定变量的非空类型，不使用var推断：

  ParameterExpression param = Expression.Parameter(typeof(int), "x");
  

  显式声明非空类型后，分析器不会再错误标记变量为可空。
• 在Expression.Parameter()调用后加空原谅运算符!，明确告诉分析器返回值非空：

  var param = Expression.Parameter(typeof(int), "x")!;
  

• 直接把Visual Studio 2022升级到17.2及以上版本，这个回归问题在17.2版本的Roslyn编译器中已经正式修复。

注意：不要因为这个误报额外加null判断逻辑，Expression.Parameter()不存在返回null的场景，多余的null判断永远不会被触发，属于无效代码。

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