为何GetType方法的返回值被推断为可空引用类型Type?

代码示例 #

var t1 = new object().GetType();

问题说明 #

我发现上述代码里变量t1的类型被识别为Type?（可空Type类型），但根据GetType方法的定义，它明明应该返回非可空的Type类型。想搞清楚这一现象的原因，以及可空Type和非空Type的区别。

相关截图 #

• 变量类型识别截图：
  

• GetType方法定义截图：
  

解答 #

首先明确：Object.GetType()的返回值永远不可能为null——只有非null的对象才能调用这个方法，要是用null调用会直接抛出NullReferenceException，根本不会返回任何值。所以理论上t1的类型应该被推断为非可空的Type。

如果你的项目开启了可空引用类型特性，却出现IDE把t1识别为Type?的情况，通常是以下原因：

• IDE临时误判：Visual Studio的智能提示偶尔会出现这类不准确的情况，你可以试试清理项目、重启IDE，或者通过typeof(t1)验证实际编译后的类型。
• 特殊上下文/分析器影响：如果这段代码处于存在null传播的复杂上下文，或者你用了第三方代码分析器/自定义注解，可能导致编译器误判，但针对new object().GetType()这个独立表达式，不存在返回null的可能。

可空Type?与非空Type的区别 #

• 非空Type：表示变量一定持有有效的Type实例，编译器会强制你确保它不会为null，否则会给出警告。
• 可空Type?：表示变量可能为null，编译器允许你给它赋值null，同时要求你在使用前做null检查，避免空引用异常。

内容的提问来源于stack exchange，提问作者rory.ap