可空类型何时抛出异常？解析GetHashCode与GetType的行为差异

这是个特别到位的问题，刚好戳中了.NET里可空值类型（Nullable<T>）的一个容易混淆的细节点！咱们一步步拆解清楚：

首先得明确：int? x = null; 里的x并不是真正的null——它是一个**Nullable<int>结构体的实例**，只是这个实例的HasValue字段为false，Value字段处于未定义状态。那为什么两个方法的表现天差地别？

1. 为什么x.GetHashCode()不抛异常反而返回0？ #

因为Nullable<T>自己重写了GetHashCode()方法，它的实现逻辑是直接判断HasValue：

public override int GetHashCode()
{
    return HasValue ? Value.GetHashCode() : 0;
}

当HasValue为false（也就是你代码里的x = null场景），方法直接返回0，完全不需要访问Value字段，自然不会触发异常。

2. 为什么x.GetType()会抛出NullReferenceException？ #

问题出在GetType()这个方法本身——它是Object类的方法，而结构体（值类型）调用Object的方法时，会触发装箱操作。

CLR对可空类型的装箱有个特殊规则：

• 如果Nullable<T>的HasValue为true，装箱后会变成对应的基础值类型实例（比如int）；
• 如果HasValue为false，装箱后直接变成null！

所以你调用x.GetType()时，实际发生的是：

object boxedX = x; // 此时boxedX是null
boxedX.GetType(); // 调用null的方法，必然抛出NullReferenceException

相当于你直接写了null.GetType()，这肯定会报错。

一句话总结差异 #

• GetHashCode()是Nullable<T>的重写实例方法，内部逻辑避开了空值场景的风险；
• GetType()属于Object，调用时触发装箱，而空可空类型装箱后会变成null，导致后续调用失败。

你可以自己加一段代码验证装箱的行为：

int? x = null;
object boxed = x;
Console.WriteLine(boxed == null); // 输出：True

内容的提问来源于stack exchange，提问作者Кирилл Глазырин