非可空引用类型：为何编译器判定我的对象为可空？

嘿，这个问题其实挺有意思的——正常情况下你说得完全对，启用Nullable引用类型后，var foo = new Foo(); 推断出来的类型应该是非可空的Foo，而不是Foo?。你看到的这个情况大概率不是编译器的正常行为，而是几个常见的小问题导致的：

1. 项目Nullable配置没正确生效 #

首先得确认你的<Nullable>enable</Nullable>配置真的被项目正确读取了。有时候这个配置会被放在错误的位置，或者被其他设置覆盖：

• 打开你的.csproj文件，确保<Nullable>enable</Nullable>在<PropertyGroup>节点下，而且没有被其他条件性配置覆盖。正确的配置示例：

<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net6.0</TargetFramework>
    <Nullable>enable</Nullable>
  </PropertyGroup>
</Project>

• 检查这段代码的上方有没有局部的#nullable disable指令，这会临时禁用Nullable检查，导致编辑器显示异常。

2. Visual Studio IntelliSense缓存bug #

这是最常见的原因——有时候VS的代码提示会抽风，缓存了旧的类型推断结果。试试这些操作：

• 清理项目的bin和obj文件夹，然后重新生成项目；
• 重启Visual Studio，或者用快捷键Ctrl+Shift+P执行"Reload Window"（如果是VS Code的话）；
• 手动显式声明类型：把代码改成Foo foo = new Foo();，看看编辑器的提示是否变回非可空的Foo。如果显式声明后正常，那基本可以确定是IntelliSense的临时问题。

3. 编译器/SDK版本bug #

如果你用的是比较旧的.NET SDK或者Visual Studio版本，可能存在Nullable类型推断的bug。尝试更新到最新稳定版的.NET SDK和Visual Studio，这类小bug通常会在后续版本中被修复。

总结一下：正常逻辑下new Foo()的表达式类型是非可空的，你看到的Foo?几乎都是工具链的临时问题，按照上面的步骤排查应该就能解决啦。

内容的提问来源于stack exchange，提问作者Jérôme MEVEL