VS2005中使用C#的新特性:可空類型

字號:

隨著C#語言最新標準的出爐,現(xiàn)在它也提供了對可空類型的支持。這個小變化將會在處理那些包括可選項的數(shù)據(jù)庫記錄時非常有用。當(dāng)然在其他地方,它也是非常有用的。
    簡單說來,可空數(shù)據(jù)類型就是包含了所定義的數(shù)據(jù)類型或者值的空(null)的類型。C#的ECMA-334標準提供了對所有C#值類型的可空版本的描述。
    定義可空類型
    定義可空類型和非可空類型基本類似,不同的是采用了?來表示。如定義一個整型,你可以使用簡單的語句:
    int myInt = 1;
    為了使得myInt能夠存儲一個空值,你可以這樣聲明它:
    int? myNullableInt = 1;
    你可以看到,這兩個變量看上去好像是一樣的。但是,可空類型的版本是非常不同的??煽盏陌姹臼聦嵣鲜且粋€結(jié)構(gòu),它將值類型和一個標記該值是否為空的標志位結(jié)合在一起。一個可空類型有兩個公共可讀的屬性,HasValue和value。如果存儲了一個值那么HasValue這個布爾型變量就為true。否則,如果變量是空值就是false。如果HasValue是true,你可以獲取這個變量的值。如下有兩個對可空變量的有效賦值:
    double? myDouble = 3.1415926;
    double? myOtherDouble = null;
    你可以看到,myDouble被賦值了,但是也可以被賦為空。在第二個語句里,myOtherDouble被初始化一個空值,這在一個非可空類型里不能這樣做的。
    使用可空類型
    可空類型可以像普通值類型一樣的使用。事實上,可以使用內(nèi)建的隱式轉(zhuǎn)換來轉(zhuǎ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)換,也必須對操作符進行一些改變使得它們可以處理可空和非可空值。這些操作符被稱為提升的操作符。
    考慮如下代碼:
    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為空。無論哪個操作數(shù)為空,提升的操作符的結(jié)果為空。即使進行加法或減法,結(jié)果也為空。
    如果ValC不為可空類型呢?如下的代碼會有什么樣的結(jié)果?
    int ValA = 10;
    int? ValB = null;
    int ValC = ValA * ValB; // ValC 不為可空類型
    代碼將會拋出一個異常。ValA*ValB結(jié)果為空,但是不能賦值為非可空類型,這將會導(dǎo)致程序異常的拋出。