【C#進階系列】18 可空值類型

可空值類型，正如字面意義上的，是可以為NULL的值類型。

這個東西存在的意義可以解決比如資料庫的的Int可以為NUll的情況，使得處理資料庫數據更簡單。

實際上可空值類型就是Nullable<T>這個泛型值類型，而C#有一種更簡單的語法糖是int？這種用法：

Nullable<Int32> 資料庫類型 = null;
float? 可以為空的浮點類型 = null;
DateTime? 更多的值類型 = null;

可空值類型的更多玩法

在大多數時候用C#去操作可空值類型，完全可以把它當做一個沒有？的值類型去處理。

以下是一些玩法示例：

　　　　　　　 Int32? 可空類型 = 5;//值類型可隱式轉換為可空類型
            int 值類型 = (Int32)可空類型;//可空類型可以強制轉換為值類型
            //當然你也可以用下麵這兩種玩法將可控類型轉換為值類型
            值類型 = 可空類型.Value;//這種玩法一般是可以的，但是當可空類型值為null時會拋異常
            值類型 = 可空類型.GetValueOrDefault(123);// 如果不為空就獲取可空類型的value，為null則為指定的數字123，不指定參數也行，那會返回值類型的預設值。
            //值類型也可用於操作符
            可空類型++;//對於一元操作符，可空類型值為null則結果為null，不為null則結果和一般值類型一樣
            可空類型= 可空類型+ 值類型;//對於二元操作符，兩個操作數之間有一個為null結果就為null，如果都不為null結果和一般值類型一樣
            //有一種特殊情況就是&和|應用於Boolean？操作數的時候。
            //對於 &操作，只要有一個為false那麼結果為false，都沒有false那麼有null就為null，最後一種情況為true
            //對於|操作,只要有一個為true那麼結果為true，都沒有true那麼有null就為null，最後一種情況為false

註意操作可空類型實例會生成大量代碼，即使只是一個簡單的a+b也會有很多代碼。

當你用這個東西的時候，可以想象會先去new Nullable<T>的實例，且進行操作之前都會去判斷是否為null，判斷成功再去操作實例的value。所以它的速度相對於正常的值類型來講肯定會慢一點。

C#的空接合操作符 

即??操作符。如果??左邊的操作數不為null，那麼就返回這個數，否則就返回右邊的操作數。

對於可空值類型而言，這個效果和前面的GetValueOrDefault()並指定參數的效果一樣。

然而它不僅僅只是用於可空值類型，還可以用於引用類型。

值類型 = 可空類型 ?? 123;
String 引用類型 = GetSomeString() ?? "Troy說：這是一個空文本";

CLR中可空值類型的裝箱與拆箱

前面講到可空值類型其實還是值類型，所以依然存在裝箱和拆箱的問題。

然而CLR對可空值的裝箱和拆箱執行了一些特殊代碼:

可空值類型裝箱會先去判斷是否為null，為null就直接傳null給引用類型，無需裝箱。不為null就取它的value，再對這個value進行裝箱。

可空值類型拆箱也很簡單，如果引用類型為null就直接賦值為null，否則按照正常拆箱邏輯走。

CLR的對於可空值類型的一些特殊處理

可空值類型用GetType返回的是其value的類型而不是實際的類型。因為實際上我們這麼玩的時候想得到的當然是value的類型，而不是Nullable<T>類型。所以CLR這裡做了這個處理。

Console.WriteLine(可空類型.GetType());//返回的是System.Int32，而不是System.Nullable<Int32>

通過可空值類型調用介面方法

public struct Nullable<T> where T : struct

以上是Nullable<T>的定義，可以看到它並沒有繼承什麼介面。

但是它卻可以調用值類型T實現的介面方法：

Int32 result = ((IComparable)可空類型).CompareTo(5);//允許的做法,相當於下麵這種玩法，只是說CLR在這方面做了簡化處理
result = ((IComparable)(Int32)可空類型).CompareTo(5);