C#编译器空值检查警告输出疑似异常问题咨询

以下是测试代码：

Type type = typeof(Program);
type = type.BaseType; // [CS8600] Converting null literal or possible null value to non-nullable type.
    
do
{
    type = type.BaseType; // [CS8602] Dereference of a possibly null reference. + [CS8600] Converting null literal or possible null value to non-nullable type.
}
while(true);

我原本预期编译器会输出相同的警告（由于BaseType可能为null，无法赋值给非可空的type变量），但实际在循环内的赋值语句中，额外出现了CS8602警告，而按定义type变量不应为null。请问这是编译器的错误，还是编译器的“额外智能”检测到可能的null赋值，因此同时显示两个警告？即使注释掉第一次赋值，结果依然相同。

这不是编译器错误，而是C#可空引用类型分析的预期行为，原因如下：

• CS8600警告：只要将可能为null的值（BaseType返回Type?）赋值给非可空的Type变量，就会触发这个警告，这是类型不匹配的直接提示，和上下文无关。
• CS8602警告：编译器的流分析在处理无限循环时，无法完全保证变量的非null状态。虽然初始给type赋值了非null值，但进入循环后，编译器会考虑到第一次迭代后type可能被赋值为null（因为BaseType可能返回null），后续迭代中再访问type.BaseType时，就会触发“解引用可能为null的引用”警告。

即使注释掉第一次赋值，编译器会默认未初始化的type是可能为null的，所以循环内访问type.BaseType时同样会触发CS8602，再加上赋值给非可空变量的CS8600，两个警告同时出现。

本质上，编译器的流分析不会假设无限循环中的变量始终保持非null状态，它会考虑循环内赋值可能导致null的场景，因此同时触发两个不同维度的警告。

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