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

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

定義可空類型

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

int myInt = 1;

為了使得myInt能夠存儲(chǔ)一個(gè)空值，你可以這樣聲明它：

int? myNullableInt = 1;

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

double myDouble = 3.1415926;
        double myOtherDouble = null;

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

使用可空類型

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

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

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

if (nFirst.HasValue) Second = nFirst;

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

使用可空類型的操作符

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

考慮如下代碼：

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

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

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

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

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

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

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

比較

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

如果對(duì)比是否相等，兩個(gè)同為空的變量將被認(rèn)為是相等的。一個(gè)空變量和其他任意值的變量相比的結(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í)候，如果操作數(shù)的任意一個(gè)或者都是空值，那么結(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#在新版本中加入了一個(gè)新的操作符，它被稱為空接合操作符，使用如下的格式：

returnValue = first second;

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

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

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

NewVarA的值將會(huì)為123因?yàn)閂alA不是空值。NewVarb的值是-1因?yàn)閂alB是空值。你看一看到，這里你將可以將變量從一個(gè)空值轉(zhuǎn)化成一個(gè)缺省值。這里缺省值是-1。

結(jié)束語

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

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