可空值类型的装箱/拆箱

装箱： 

假定有一个逻辑上设为 null 的 Nuallable<int> 变量。将其传给期待一个 Object 的方法，就必须对其进行装箱，并将对已装箱 Nullable<int> 的引用传给方法。但对表面上为 null 的值进行装箱不符合直觉，即使 Nullable<int> 变量本身非 null，它只是在逻辑上包含了 null 。为了解决这个问题，CLR 会在装箱可空变量时执行一些特殊代码，从表面上维持可空类型的“一等公民”地位。

具体地说，当 CLR 对 Nullable<T> 实例进行装箱时，会检查它是否为 null，如果是，CLR 不装箱任何东西，直接返回 null，如果可空实例不为 null，CLR从可空实例中取出值并进行装箱。

int? n = null;
object o = n; // o 为 null ，不发生装箱行为

n = 5;
o = n; //此时可空实例 n 的值为5，所以发生装箱行为

 

拆箱：

CLR 允许将已装箱的值类型 T 拆箱为一个 T 或者 Nullable<T>。如果对已装箱值类型的引用是 null，而且要把它拆箱为一个 Nullable<T>，那么 CLR 会将 Nullable<T> 的值设为 null。

object  o = 5; // 创建已装箱的 int

// 将它拆箱为一个 Nullable<int> 和一个 int
int? a = (int?) o; //a =5
int b = (int)o; //b=5

o = null; // 创建初始化为 null  的引用

// 将它“拆箱”为一个 Nullable<int> 和一个 int
a = (int?)o; // a = null
b = (int)o; // NullReferenceException

 

转载于:https://www.cnblogs.com/dalovess/p/6958040.html