C#基礎語法：可空類型詳解

 　　這篇文章主要介紹了C#基礎語法：可空類型詳解,本文分析了可空類型的源碼、研究了可空類型強制轉換為常規類型、可空類型的運算等內容,需要的朋友可以參考下

　　以下是System.Nullable在FCL中的定義。

　　?

　　1

　　2

　　3

　　4

　　5

　　6

　　7

　　8

　　9

　　10

　　11

　　12

　　13

　　14

　　15

　　16

　　17

　　18

　　19

　　20

　　21

　　22

　　23

　　24

　　25

　　26

　　27

　　28

　　29

　　30

　　31

　　32

　　33

　　34

　　35

　　36

　　37

　　38

　　39

　　40

　　41

　　42

　　43

　　44

　　45

　　46

　　47

　　48

　　49

　　50

　　51

　　52

　　53

　　54

　　55

　　56

　　57[Serializable, StructLayout(LayoutKind.Sequential)]

　　public struct Nullable where T :struct

　　{

　　private Boolean hasValue= false;

　　internal T value= default(T);

　　public Nullable(T value)

　　{

　　this.value= value;

　　this.hasValue= true;

　　}

　　public Boolean HasValue {get {return hasValue; } }

　　public T Value

　　{

　　get

　　{

　　if (!hasValue)

　　{

　　throw new InvalidOperationException("Nullable object must have a value.");

　　}

　　return value;

　　}

　　}

　　public T GetValueOrDefault() {return value; }

　　public T GetValueOrDefault(T defaultValue)

　　{

　　if(!HasValue)return defaultValue;

　　return value;

　　}

　　public override Boolean Equals(object other)

　　{

　　if(!HasValue)return (other== null);

　　if(other== null)return false;

　　return value.Equals(other);

　　}

　　public override int GetHashCode()

　　{

　　if(!HasValue)return 0;

　　return value.GetHashCode();

　　}

　　public override string ToString()

　　{

　　if(!HasValue)return "";

　　return value.ToString();

　　}

　　public static implicit operator Nullable(T value)

　　{

　　return new Nullable(value);

　　}

　　}

　　可以看出 null 的類型的每個實例都具有兩個公共的只讀屬性：

　　1.HasValue

　　HasValue 屬於 bool 類型。當變量包含非 null 值時，它被設置為 true。

　　2.Value

　　Value 的類型與基礎類型相同。如果 HasValue 為 true，則說明 Value 包含有意義的值。如果 HasValue 為 false，則訪問 Value 將引發 InvalidOperationException。

　　那麼我們怎麼定義可空類型?

　　null 的類型可通過下面兩種方式中的一種聲明：

　　 代碼如下:

　　System.Nullable variable

　　- 或 -

　　T? variable

　　T 是可以為 null 的類型的基礎類型。T 可以是包括 struct 在內的任何值類型;但不能是引用類型。

　　現在舉一個例子，運用一下看看效果是不是一樣。

　　?

　　1

　　2

　　3

　　4

　　5

　　6

　　7

　　8

　　9

　　10

　　11

　　12

　　13

　　14

　　15

　　16

　　17

　　18

　　19

　　20

　　21

　　22Console.WriteLine("========可空類型操作演示========n");

　　Console.WriteLine("n=========Nullable===========n");

　　Nullable x = 5;

　　Nullable y = false;

　　Nullable z = 5.20;

　　Nullable n = null;

　　Console.WriteLine("x.HasValue={0}, x.Value={1}",x.HasValue,x.Value);

　　Console.WriteLine("y.HasValue={0}, y.Value={1}", y.HasValue, y.Value);

　　Console.WriteLine("z.HasValue={0}, z.Value={1}", z.HasValue, z.Value);

　　Console.WriteLine("n.HasValue={0}, n.Value={1}",n.HasValue, n.GetValueOrDefault());

　　Console.WriteLine("n============== T? ============n");

　　int? X = 5;

　　bool? Y = false;

　　double? Z = 5.20;

　　char? N = null;

　　int?[] arr ={1,2,3,4,5};//一個可空類型的數組

　　Console.WriteLine("X.HasValue={0}, X.Value={1}", X.HasValue,X.Value);

　　Console.WriteLine("y.HasValue={0}, Y.Value={1}", Y.HasValue, Y.Value);

　　Console.WriteLine("Z.HasValue={0}, Z.Value={1}", Z.HasValue, Z.Value);

　　Console.WriteLine("N.HasValue={0}, N.Value={1}", N.HasValue, N.GetValueOrDefault());

　　Console.WriteLine("n================================n");

　　Console.ReadKey();

　　可空類型可強制轉換為常規類型，方法是使用強制轉換來顯式轉換或者通過使用 Value 屬性來轉換。從普通類型到可以為 null 的類型的轉換是隱式的。例如：

　　 代碼如下:

　　int? a = 5;//int--->int?

　　double? b = a; //int?---->double?

　　int? c = (int?)b;//double?---int?

　　int d = (int)c;//int?---->int 不能隱式轉換例如int d=c;則不能編譯

　　int? e = null;

　　int f = e.Value;//可以編譯但是會提示異常引發 InvalidOperationException

　　可空類型還可以使用預定義的一元和二元運算符(提升運算符)，以及現有的任何用戶定義的值類型運算符。如果操作數為 null，這些運算符將產生一個 null 值;否則運算符將使用包含的值來計算結果。例如：

　　代碼如下:

　　int? a = 10;

　　int? b = null;

　　//一元操作符(+ ++ -- = - ! ~)

　　a++; //a=11;

　　//二元操作符(+ - * / % & | ^ << >>)

　　a *= 10; //a=110;

　　//a = a + b; //now a is null

　　//相等性操作符(== !=)

　　if (b == null)

　　{

　　b=b.GetValueOrDefault();

　　}

　　Console.WriteLine(a.Value);

　　a = a + b;

　　/* if(a == null) ...

　　* if(b == null) ...

　　* if(a != b) ... */

　　//比較操作符

　　if (a > b)

　　{

　　Console.WriteLine("a>b");

　　}

　　下面總結下C#如何對操作符的用法：

　　1. 一元操作符(+ ++ - -- ! ~)。如果操作數為null，結果為null。

　　2. 二元操作符(+ - * / % | ^ << >>)。兩個操作數中任何一個為null，結果為null。

　　3. 相等性操作符(== !=)。如果兩個操作數都為null，兩者相等。如果一個操作數為null，則兩者不相等。如果兩個操作數都不為null，就對值進行比較，判斷它們是否相等。

　　4. 比較操作符(< > <= >=)。兩個操作數中任何一個為null，結果為false。如果兩個操作數都不為null，就對值進行比較。

　　至此我在對上面代碼的a=a+b解釋一下，它實際等價於：

　　代碼如下:

　　a = a.HasValue && b.HasValue ? a.Value + b.Value : (int?)null;

　　在操縱可空實例時，會生成大量代碼，如以下方法：

　　代碼如下:

　　privatestaticint? NullableCodeSize(int? a, int? b)

　　{

　　return a + b;

　　}

　　編譯這個方法時，編譯器生成的IL代碼等價於以下的C#代碼：

　　代碼如下:

　　privatestatic Nullable NullableCodeSize(Nullable a, Nullable b)

　　{

　　Nullable nullable1 = a;

　　Nullable nullable2 = b;

　　if(!(nullable1.HasValue & nullable2.HasValue))

　　returnnew Nullable();

　　else

　　returnnew Nullable(nullable1.GetValueOrDefault() + nullable2.GetValueOrDefault());

　　}

　　??運算<