分析 C# 2.0 新特性 — 空類型（Nullable Types)

分析 C# 2.0 新特性  -- 空類型（Nullable Types)
在討論C# 2.0 空類型前，先回顧一下.NET 1.0和.NET 1.1對於類型有下面這樣的定義：
".NET 中類型分為實值型別和參考型別，實值型別不可為空，參考型別可為空白";
在這樣的前提下，所有實值型別都賦予了一個初始值例如：int i;(初始為0);
由於資料庫中出現的對應的實值型別可為空白，這樣就出現了兩者不能對應的問題。
所有在C# 2.0中引入了可為空白的實值型別，強調一點空類型對於是實值型別。
實現方法如下：
int  i = 3;//一個實值型別
int? k = 3;//一個可為空白的實值型別（簡稱空類型）
int  m = null;//錯誤
int? j = null;//成功
從上面的例子我們可以看到在實值型別後可以定義一個可為空白的實值型別。
這裡我們再深入考慮下面兩個問題：
1，空類型是否是一種新的.NET資料類型呢？
2，空類型和一般實值型別有哪些區別呢？
回答如下；
1，空類型是否是一種新的.NET資料類型呢？
空類型不是一種新的.NET資料類型。
實際上空類型是定義在.NET庫中的一種範型類System.Nullable<T>,其中T就是可替換的實值型別。
int? k = 3;同樣可以寫作System.Nullable<int> k = 3;
其中的操作是通過該類的運算子多載實現的。
2，空類型和一般實值型別有哪些區別呢？
主要區別是空類型並不是一種真正的類型，而是一個對象。
例如;
int? j = 3;
int k = 3;
在反編譯器(ildasm.exe)下面的狀態是
[mscorlib]System.Nullable`1<int32> i
[1] int32 k
並且同時對於執行了Nullable預設建構函式
instance void valuetype [mscorlib]System.Nullable`1<int32>::.ctor(!0)
.NET 2.0在設計上面十分精巧，兼顧了向下相容性同時也很好的運用抽象的特點處理好了可為空白的實值型別的實現。