为何Visual Studio悬浮弹窗有时将非可空引用类型显示为可空？

异常现象 #

• 调用clipData.GetFormats()时，该方法实际返回非可空的string[]（元素为非空字符串），但悬停接收返回值的formats变量时，悬浮弹窗显示带问号的可空类型，同时下方标注“不为null”，并未直接显示正确的非可空string[]类型。
• 遍历formats数组时，悬停循环变量format，弹窗显示类型为string?，但同样标注“此处不为null”，而非直接显示非可空的string类型。

对比正常情况 #

当显式声明非可空string变量时，Visual Studio的悬浮弹窗能正确显示非可空类型，无上述矛盾。

可能的原因 #

• 类型推断与元数据的冲突：如果GetFormats()所在的程序集未启用nullable上下文，或者方法返回值未通过[NotNull]等属性标记为非可空，编译器会默认将推断类型视为可空引用类型，再通过流分析判断变量实际不会为null，导致显示的类型和标注信息不一致。
• 流分析与类型显示的逻辑分离：悬浮提示的类型展示基于初始的类型推断结果，而“不为null”的标注来自后续的代码流分析，两者没有联动调整显示的类型，从而出现视觉上的矛盾。
• 老API的兼容性处理：对于一些.NET框架中的老方法，即使实际运行时不会返回null，但由于历史原因元数据未更新nullable标记，Visual Studio会保守地将其推断为可空类型，再补充流分析后的非空标注。

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