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

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

定義可空類型

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

int myInt = 1;

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

int? myNullableInt = 1;

你可以看到，這兩個變量看上去好像是一樣的。但是，可空類型的版本是非常不同的?？煽盏陌姹臼聦?shí)上是一個結(jié)構(gòu)，它將值類型和一個標(biāo)記該值是否為空的標(biāo)志位結(jié)合在一起。一個可空類型有兩個公共可讀的屬性，HasValue和value。如果存儲了一個值那么HasValue這個布爾型變量就為true。否則，如果變量是罩稻褪莊alse。如果HasValue是true，你可以獲取這個變量的值。如下有兩個對可空變量的有效賦值：

double myDouble = 3.1415926;
        double myOtherDouble = null;

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

使用可空類型

可空類型可以像普通值類型一樣的使用。事實(shí)上，可以使用內(nèi)建的隱式轉(zhuǎn)換來轉(zhuǎn)換相同類型的可空變量和非可空變量。這意味著你可以在一個標(biāo)準(zhǔn)整型和可空整型之間相互轉(zhuǎn)換：

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

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

if (nFirst.HasValue) Second = nFirst;

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

使用可空類型的操作符

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

考慮如下代碼：

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

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

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

ValC這次值為多少？ValC為空。無論哪個操作數(shù)為空，提升的操作符的結(jié)果為空。即使進(jìn)行加法或減法，結(jié)果也為空。

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

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

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

比較

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

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

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

在所有的比較中，結(jié)果都是布爾型值true或者false。在做大小比較的時候，如果操作數(shù)的任意一個或者都是空值，那么結(jié)果返回的是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因?yàn)閂alA不是空值。NewVarb的值是-1因?yàn)閂alB是空值。你看一看到，這里你將可以將變量從一個空值轉(zhuǎn)化成一個缺省值。這里缺省值是-1。

結(jié)束語

總得來說，最新的C#允許一個可空類型的存在。語言內(nèi)部建立了對可空類型的處理機(jī)制?？煽疹愋褪沟脭?shù)據(jù)庫記錄和其他可選信息更加的容易處理。

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