隨著C#語言最新標準的出爐，現在它也提供了對可空類型的支持。本文將從定義、使用、比較、移去四個方面全面詳細的介紹可空類型在c#中的獨特魅力，特別是在處理那些包括可選項的數據庫記錄時所發揮的巨大作用。當然在其他地方，它也是非常有用的。

 簡單說來，可空數據類型就是包含了所定義的數據類型或者值的空(null)的類型。C#的ECMA-334標準提供了對所有C#值類型的可空版本的描述。

定義可空類型

定義可空類型和非可空類型基本類似，不同的是采用了?來表示。如定義一個整型，你可以使用簡單的語句：

int myInt = 1;

為了使得myInt能夠存儲一個空值，你可以這樣聲明它：

int? myNullableInt = 1;

你可以看到，這兩個變量看上去好像是一樣的。但是，可空類型的版本是非常不同的。可空的版本事實上是一個結構，它將值類型和一個標記該值是否為空的標志位結合在一起。一個可空類型有兩個公共可讀的屬性，HasValue和value。如果存儲了一個值那么HasValue這個布爾型變量就為true。否則，如果變量是罩稻褪莊alse。如果HasValue是true，你可以獲取這個變量的值。如下有兩個對可空變量的有效賦值：

double myDouble = 3.1415926;
        double myOtherDouble = null;

你可以看到，myDouble被賦值了，但是也可以被賦為空。在第二個語句里，myOtherDouble被初始化一個空值，這在一個非可空類型里不能這樣做的。

使用可空類型

可空類型可以像普通值類型一樣的使用。事實上，可以使用內建的隱式轉換來轉換相同類型的可空變量和非可空變量。這意味著你可以在一個標準整型和可空整型之間相互轉換：

int nFirst = null;
        int Second = 2;
        nFirst = Second; // 有效
        nFirst = 123; // 有效
        Second = nFirst; // 同樣有效
        nFirst = null; // 有效
        Second = nFirst; // 例外，后者是非空類型

在以上的語句里，你可以看到如果可空變量不包含空值的話是可以和非可空變量交換值的。如果它是一個空值，那么就會拋出例外。為了防止例外，你可以使用可空變量的HasValue屬性：

if (nFirst.HasValue) Second = nFirst;

你可以看到，如果nFirst有值賦值就會發生，否則程序會跳過此句語句。

使用可空類型的操作符

雖然可以使用相同值類型的可空和非可空變量的轉換，也必須對操作符進行一些改變使得它們可以處理可空和非可空值。這些操作符被稱為提升的操作符。

考慮如下代碼：

int ValA = 10;
        int ValB = 3;
        int ValC = ValA * ValB;

在ValC里存儲了什么？ValC中存儲了30。標準操作符被擴展使得它們能夠處理可空類型。考慮到如下的變化：

int ValA = 10;
        int ValB = null;
        int ValC = ValA * ValB;

ValC這次值為多少？ValC為空。無論哪個操作數為空，提升的操作符的結果為空。即使進行加法或減法，結果也為空。

如果ValC不為可空類型呢？如下的代碼會有什么樣的結果？

int ValA = 10;
        int ValB = null;
        int ValC = ValA * ValB; // ValC 不為可空類型

代碼將會拋出一個異常。ValA*ValB結果為空，但是不能賦值為非可空類型，這將會導致程序異常的拋出。

比較

比較將會和數學計算操作類似的方式處理。比較的操作數將同時被提升為可空的。這樣就可以比較了，如果某個操作數為空，那么比較結果為false。

如果對比是否相等，兩個同為空的變量將被認為是相等的。一個空變量和其他任意值的變量相比的結果是不相等。下面是一些比較的例子：

int abc = 123;
        int xyz = 890;
        int def = null;
        int uvw = 123;
        Comparison Result
        abc == xyz // false
        abc == def // false
        def == null // true
        abc == uvw // true
        uvw == null // false
        uvw != null // true

在所有的比較中，結果都是布爾型值true或者false。在做大小比較的時候，如果操作數的任意一個或者都是空值，那么結果返回的是false。如下展示了一些例子：

Comparison Result
        abc > uvw // false, they are equal
        abc < def // false, def is null
        uvw < def // false, because def is null
        def > null // false, because right side is null
        uvw > null // false, because right side is null

可空性的移去

C#在新版本中加入了一個新的操作符，它被稱為空接合操作符，使用如下的格式：

returnValue = first second;

這樣，如果first不為空，那么它的值將返回作為returnValue的值。如果first為空，那么second的值將被返回。注意：returnValue可以為可空變量或者非可空變量。

如果你希望可空變量的值到一個非可空的版本，你可以這樣做：

int ValA= 123;
        int ValB = null;
        int NewVarA = ValA -1;
        int NewVarB = ValB -1;

NewVarA的值將會為123因為ValA不是空值。NewVarb的值是-1因為ValB是空值。你看一看到，這里你將可以將變量從一個空值轉化成一個缺省值。這里缺省值是-1。

結束語

總得來說，最新的C#允許一個可空類型的存在。語言內部建立了對可空類型的處理機制。可空類型使得數據庫記錄和其他可選信息更加的容易處理。

可空類型是C# ECMA-334版本的一個特性。你需要一個支持這個版本的C#的編譯器。Visual Studio 2005支持這個版本。