C#可空类型

在程序开发中，有时候需要值类型也为可空类型，比如，在数据库中，我们可以把一个日期Datetime设置为null。在C# 2.0中就出现了可空类型，允许值类型也可以为空（null），可空类型的实现基于C#泛型。

可空类型基本知识

可空类型的核心是System.Nullable<T>，同时静态类System.Nullable为可空类型提供了很多实用的方法。下面分别看看可空类型的这两个重要组成部分。

System.Nullable<T>

通过ILSpy我们可以查看这个类型的C#代码：从上面的图中可以看到关于System.Nullable<T>的一些关键点：

Nullable<T>是一个泛型类型
类型参数T有一个值类型的约束（根据值类型约束T : struct，T不能为可空类型，也就是说Nullable<Nullable<int>>是不允许的）
Nullable<T>是一个值类型（是一个struct）

对于任何具体的可空类型来说，T的类型为可空类型的基础类型（underlying type），例如Nullable<int>的基础类型就是int。通过上面代码还可以看到，Nullable<T>有两个重要的属性，HasValue和Value。通过它们可以了解可空类型是怎么工作的：

如果一个可空值类型存在一个真正的值，那么Value就代表这个值本身，同时HasValue值为true
如果一个可空值类型为空，那么HasValue为false，Value这是没有意义。

下面看一个可空类型的简单例子，进一步了解一下可空类型：static void Display（Nullable<int> x）{Console.WriteLine（"HasValue: {0}", x.HasValue）;if （x.HasValue）{Console.WriteLine（"Value: {0}", x.Value）;Console.WriteLine（"Explicit conversion: {0}", （int）x）;}Console.WriteLine（"GetValueOrDefault（）: {0}", x.GetValueOrDefault（））;Console.WriteLine（"GetValueOrDefault（10）: {0}", x.GetValueOrDefault（10））;Console.WriteLine（"ToString（）: {0}", x.ToString（））;Console.WriteLine（"GetHashCode（）: {0}", x.GetHashCode（））;Console.WriteLine（）;}static void Main（string[] args）{Nullable<int> x = 5;Display（x）;x = new Nullable<int>（9）;Display（x）;x = new Nullable<int>（）;Display（x）;Console.Read（）;}程序的输出为：通过这段代码可以看到HasValue和Value的使用，以及Nullable<T>中一些常用的方法。注意，在这段代码中，下面两句的IL代码是一样的：C#代码Nullable<int> x = 5;x = new Nullable<int>（9）;IL代码IL_0004: call instance void valuetype [mscorlib]System.Nullable`1<int32>::.ctor（！0）IL_0015: call instance void valuetype [mscorlib]System.Nullable`1<int32>::.ctor（！0）这里涉及了包装（wrapping）和拆包（unwrapping）的概念：将T的一个实例转换成Nullable<T>的一个实例的过程在C#中成为包装，相反的过程成为拆包。这个概念跟装箱和拆箱不一样，后面会看到Nullable<T>的装箱和拆箱。

Nullable<T>的装箱和拆箱

从前面的分析可以看到Nullable<T>是一个结构，也就是一个值类型。也就是说，当我们把可空类型转换成一个引用类型的时候需要进行装箱操作。对于Nullable<T>的装箱和拆箱可以概括为：

Nullable<T>的实例要么装箱为空引用，要么装箱成T的一个以装箱的值
已装箱的值可以拆箱成普通类型，或者拆箱为对于的可空类型
- 拆箱一个空引用时，如果拆箱为普通类型，会抛出一个NullReferenceException的异常
- 如果拆箱成恰当的可控类型，就会拆箱成一个没有值的Nullable<T>实例

看一个关于可空类型装箱和拆箱的例子：static void Main（string[] args）{Nullable<int> x = 5;//有值的可空类型装箱object boxed = x;Console.WriteLine（x.GetType（））;//拆箱为普通类型int normal = （int）boxed;Console.WriteLine（normal）;//拆箱为可空类型x = （Nullable<int>）boxed;Console.WriteLine（x）;x = new Nullable<int>（）;//空的可空类型装箱boxed = x;Console.WriteLine（boxed == null）;//拆箱为可空类型x = （Nullable<int>）boxed;Console.WriteLine（x.HasValue）; }输出：

System.Nullable

System.Nullable是一个静态类，只包含三个静态方法，大家可以通过ILSpy进行查看，这里就不上图了。下面两个方法是比较方法：public static int Compare<T>（T？ n1, T？ n2） where T : structpublic static bool Equals<T>（T？ n1, T？ n2） where T : struct下面这个方法用来获得可空类型的基础类型：public static Type GetUnderlyingType（Type nullableType）

可空类型语法糖

在C# 2.0中，我们可以使用？修饰符来表示可空类型。下面的C#语句具有相同的IL代码。Nullable<int> x = 5;int？ y = 5;IL_0004: call instance void valuetype [mscorlib]System.Nullable`1<int32>::.ctor（！0）IL_000d: call instance void valuetype [mscorlib]System.Nullable`1<int32>::.ctor（！0）

使用null进行赋值和比较

C#编译器允许使用null在比较和赋值中表示一个可空类型的空值。对于下面的代码，通过IL可以发现"x == null"实际调用的是HasValue属性进行比较。int？ x = null;Console.WriteLine（x == null）;IL_000b: call instance bool valuetype [mscorlib]System.Nullable`1<int32>::get_HasValue（）

总结

C# 2.0中出现的可空类型解决了我们很多的问题，可空类型的相关知识还是比较容易理解的。在使用中，我们可以直接使用？修饰符来创建可空值类型。

C#委托的基本概念 http://www.linuxidc.com/Linux/2015-02/113470.htm
进一步理解C#委托 http://www.linuxidc.com/Linux/2015-02/113469.htm
C#多线程编程实例线程与窗体交互【附源码】 http://www.linuxidc.com/Linux/2014-07/104294.htm
C#数学运算表达式解释器 http://www.linuxidc.com/Linux/2014-07/104289.htm
在C语言中解析JSON配置文件 http://www.linuxidc.com/Linux/2014-05/101822.htm
C++ Primer Plus 第6版中文版清晰有书签PDF+源代码 http://www.linuxidc.com/Linux/2014-05/101227.htm

本文永久更新链接地址：http://www.linuxidc.com/Linux/2015-02/114155.htm