原文链接:http://msdn.microsoft.com/zh-tw/library/2cf62fcy%28VS.80%29.aspx
使用可為 Null 的型別 (C# 程式設計手冊)
可為 Null 的型別可以代表基礎型別的所有值,也可以代表另一個 null 值。您可以使用下列其中一種方法宣告可為 Null 的型別:
System.Nullable<T> variable
-或-
T? variable
T 是可為 Null 之型別的基礎型別,T 可以是任何實值型別 (包括 struct,但不能是參考型別)。
何 時該使用可為 null 的型別,可舉一般的布林變數為例,這種變數有兩個可能的值:true 和 false。但沒有值可以代表「未定義」。在許多設計程式的應用程式中,特別是資料庫互動的程式,變數有可能是以未定義的狀態存在。例如,資料庫中的某個 欄位可能包含 true 或 false 值,但也可能不包含任何值。同樣地,參考型別可以設定為 null 表示其並非初始化的。
由於這些值的性質不同,就需要在程式上另做設計,包括使用其他變數存放狀態資訊、使用特殊值等等。可為 null 的型別修飾詞能夠讓 C# 建立表示未定義之值的實值型別 (Value Type) 變數。
可為 null 之型別的每個執行個體 (Instance) 有兩個公用唯讀屬性:
-
HasValue
HasValue 屬於 bool 型別。當變數包含非 null 的值時,該屬性會設定為 true。
-
Value
Value 的型別與基礎型別相同。如果 HasValue 為 true,Value 會包含有意義的值。如果 HasValue 為 false,存取 Value 將會擲回 InvalidOperationException。
在這個範例中,會先使用 HasValue 成員測試變數是否包含值,然後才嘗試顯示該值。
int? x = 10;
if (x.HasValue)
{
System.Console.WriteLine(x.Value);
}
else
{
System.Console.WriteLine("Undefined");
}
您也可以使用下列方式測試值:
int? y = 10;
if (y != null)
{
System.Console.WriteLine(y.Value);
}
else
{
System.Console.WriteLine("Undefined");
}
可為 Null 的型別也可以使用預先定義的一元和二元運算子,以及現有實值型別的任何使用者定義運算子。如果運算元都是 null,這些運算子就會產生 null 值,否則運算子會使用所包含的值計算結果。例如:
int? a = 10;
int? b = null;
a++; // Increment by 1, now a is 11.
a = a * 10; // Multiply by 10, now a is 110.
a = a + b; // Add b, now a is null.
使用可為 Null 的型別執行比較時,如果其中一個可為 Null 的型別是 null,比較的評估結果一定會是 false。因此,請千萬不要認為比較結果為 false 時,反之就是 true。例如:
int? num1 = 10;
int? num2 = null;
if (num1 >= num2)
{
System.Console.WriteLine("num1 is greater than or equal to num1");
}
else
{
// num1 is NOT less than num2
}
因為 num2 是 null 導致其中並未包含值,所以上述 else 陳述式中的結果無效。
兩個皆為 null 之可為 Null 的型別,其比較的評估結果將會是 true。
可為 null 的 bool? 型別可包含三種不同的值:true、false 和 null。因此無法在條件中使用,例如使用 if、for 或 while。例如,這個程式碼會出現 編譯器錯誤 CS0266 的編譯失敗:
bool? b = null; if (b) // Error CS0266. { }
因為在條件內容中 null 表示的意義不明確,所以不允許這項動作。可為 Null 的布林值可以明確轉換成 bool 以便在條件中使用,但是如果物件包含 null 值,就會擲回 InvalidOperationException。因此在轉換為 bool 之前先檢查 HasValue 屬性是很重要的。
可為 Null 的布林值類似於 SQL 使用的布林變數型別。為確保 & 和 | 運算子產生的結果與 SQL 的三值布林型別一致,程式提供下列預先定義的運算子:
bool? operator &(bool? x, bool? y)
bool? operator |(bool? x, bool? y)
這些運算子的結果列於下表:
X | y | x&y | x|y |
---|---|---|---|
True |
true |
True |
true |
True |
false |
False |
true |
True |
null |
Null |
true |
False |
true |
False |
true |
False |
false |
False |
false |
False |
null |
False |
null |
Null |
true |
Null |
true |
Null |
false |
False |
null |
Null |
null |
Null |
null |