C#编译器的可空性检查警告输出中可能存在错误

在这种情况下,编译器确实“非常聪明”。

对于线路 type = type.BaseType; 在循环中,它看到您正在分配 BaseType (可能为null)到变量 type 这不应该是空的。这将生成CS8600,原因与CS8600的第一个实例相同。

它 也 看到表达式 类型 在里面 type.BaseType 可能为空。这是因为编译器可以看到你刚刚给它分配了一个可能为空的东西 类型 因此, 类型。基础类型 正在取消引用一个可能为空的东西,并可能抛出一个 NullReferenceException 。这会导致CS8602。

在整个方法中跟踪每个变量的“空状态”。有关编译器如何进行空跟踪的更多信息,请参阅 the documentation here 在这里,我注释了null状态 类型 在程序的每一行:

Type type = typeof(Program);

// not null, because typeof(Program) never produces null

type = type.BaseType;

// maybe null, because BaseType is of type 'Type?'
    
do
{
    // still maybe null here

    type = type.BaseType;

    // still maybe null here
}
while(true);

// not null, because this line is unreachable :)

即使删除线条,结果也是一样的 type=类型。基础类型; 这是在循环之外,因为 这是一个循环 .即使 类型 在第一次迭代中不会为null,在第二次迭代中仍然可能为null。