可空引用类型并非Nullable<T>？相关技术疑问求解

我在VS2022中使用标准模板创建了一个C#10/.NET6类库项目，默认启用了可空引用类型（nullable: enabled）。我发现可空引用类型似乎不支持Nullable<T>的Value和HasValue属性。

示例代码 #

using System;
                    
public class Program
{
    public static void Main()
    {
#nullable enable
        object? o = null;
        if(o.HasValue)
        {}
        Console.WriteLine("Hello World");
    }
}

报错信息 #

'object' does not contain a definition for 'HasValue' and no accessible extension method 'HasValue' accepting a first argument of type 'object' could be found

疑问 #

请问：可空引用类型实际上并非Nullable<T>吗？为何将o声明为object?，编译器却将其视为object类型？

可空引用类型和Nullable<T>是完全不同的两个概念：

• Nullable<T>是专门为值类型设计的包装结构，目的是让原本不能为null的值类型能表示"无值"状态，所以它自带HasValue和Value属性——比如int?本质就是Nullable<int>，是一个包含int值和状态标记的结构体。
• 可空引用类型是C# 8.0新增的编译期语法特性，它只是给引用类型添加了一个编译层面的"可能为null"标记，用于做null安全检查。引用类型本身就天生支持为null，不需要额外包装，所以不存在HasValue或Value属性。

至于object? o = null被编译器视为object类型的原因：

• 可空引用类型的标记仅在编译阶段生效，运行时object?和object是完全相同的类型，没有任何额外包装。o就是普通的object引用，要么指向对象实例，要么是null。
• 要判断它是否为null，直接用o != null或者o is not null即可，根本不需要HasValue。

内容的提问来源于stack exchange，提问作者Mr. Boy