可空值类型装箱拆箱

诡异的可空值类型装箱拆箱

 

上一篇学习笔记1中我为了处理可空值类型使用了一个方法

public virtual bool TryParseInt32(bool nullable, string str, out object value)
{
    Int32 v;
    if (Int32.TryParse(str, out v))
    {
        value = nullable ? (object)new Nullable<Int32>(v) : v;
        return true;
    }
    else
    {
        value = null;
        return false;
    }
}

看上去没什么问题吧，但是在一次偶然的测试中发现：无论nullable为false还是true返回的都是int

我就奇怪了，这么简单的逻辑我也会写错？？？

在进过了一次单步调试后终于发现了一个现象：可空值类型int?装箱后就变成int了!!

首先用is判断 居然都是true.....

typeof(Nullable<int>) == i.GetType()  这个居然是false

再看i.GetType().FullName = int

 

好吧看看IL中都发生了什么

因为GetType()是父类Object的方法,值类型在执行Object方法的时候会将本身对象装箱之后再callvirt

ps:引用类型class没有这个装箱的问题,甚至都不需要转换就可以执行方法，原因应该就是他们一个在堆一个在栈的问题吧

但是可空值类型一旦装箱就会变成他的基础类型，所以就会出现上面的现象

关于这点，我查看MSDN里面有说明

装箱和取消装箱

在对可以为 null 的类型进行装箱时，公共语言运行时自动将 Nullable<T> 对象的基础值（而不是 Nullable<T> 对象本身）装箱。 也就是说，如果 HasValue 属性为 true，则将 Value 属性的内容装箱。 在对可以为 null 的类型的基础值进行取消装箱时，公共语言运行时创建一个新的初始化为基础值的 Nullable<T> 结构。

如果可以为 null 的类型的 HasValue 属性为 false，则装箱操作的结果为 null。 因此，如果将已装箱的可以为 null 的类型传递给需要对象参数的方法，则该方法必须准备处理参数为 null 的情况。 如果对 null 进行取消装箱使其成为可以为 null 的类型，则公共语言运行时会创建一个新的 Nullable<T> 结构并将其 HasValue 属性初始化为false。

关于上面这句话，我的理解就是，这些都是公共语言运行时做的。

我们自己写的类或者结构是没有办法达到这个效果的。

这个东西以前一直没有发现，如果早点知道是这样就不会出现昨天学习笔记1中的内容了

昨天修改后的代码就值这样了

public virtual bool TryParseInt32(string str, out object value)
{
    Int32 v;
    if (Int32.TryParse(str, out v))
    {
        value = v;
        return true;
    }
    else
    {
        value = null;
        return false;
    }
}

 

 

我写的文章,除了纯代码,其他的都是想表达一种思想,一种解决方案.希望各位看官不要局限于文章中的现成的代码,要多关注整个文章的主题思路,谢谢