http://msdn2.microsoft.com/zh-cn/library/2cf62fcy(VS.80).aspx
可空类型可以表示基础类型的所有值，另外还可以表示 null 值。可空类型可通过下面两种方式中的一种声明：
System.Nullable<T> variable
- 或 -
T? variable
T 是可空类型的基础类型。T 可以是包括 struct 在内的任何值类型；但不能是引用类型。
有关可能使用可空类型的示例，请考虑普通的布尔变量如何能够具有两个值：true 和 false。不存在表示“未定义”的值。在很多编程应用中（最突出的是数据库交互），变量可存在于未定义的状态。例如，数据库中的某个字段可能包含值 true 或 false，但是它也可能根本不包含值。同样，可以将引用类型设置为 null，以指示它们未初始化。
这种不一致会导致额外的编程工作，如使用附加变量来存储状态信息、使用特殊值，等等。可空类型修饰符使 C# 能够创建表示未定义值的值类型变量。
任何值类型都可用作可空类型的基础。例如：
int? i = 10;double? d1 = 3.14;bool? flag = null;char? letter = 'a';int?[] arr = new int?[10];
可空类型的每个实例都具有两个公共的只读属性：
-
HasValue
HasValue 属于 bool 类型。当变量包含非空值时，它被设置为 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");}
显式转换可空类型可强制转换为常规类型，方法是使用强制转换来显式转换或者通过使用 Value 属性来转换。例如：
int? n = null;//int m1 = n; // Will not compile.int m2 = (int)n; // Compiles, but will create an exception if x is null.int m3 = n.Value; // Compiles, but will create an exception if x is null.
如果两种数据类型之间定义了用户定义的转换，则同一转换也可用于这些数据类型的可空版本。
可使用 null 关键字将可空类型的变量设置为空，如下所示：
int? n1 = null;
从普通类型到可空类型的转换是隐式的。
int? n2;n2 = 10; // Implicit conversion.
可空类型还可以使用预定义的一元和二元运算符，以及现有的任何用户定义的值类型运算符。如果操作数为空，这些运算符将产生一个空值；否则运算符将使用包含的值来计算结果。例如：
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，则比较结果将始终为 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}
上面的 else 语句中的结论无效，因为 num2 为 null，所以不包含值。
?? 运算符定义在将可空类型分配给非可空类型时返回的默认值。
int? c = null;// d = c, unless c is null, in which case d = -1.int d = c ?? -1;
此运算符还可用于多个可空类型。例如：
int? e = null;int? f = null;// g = e or f, unless e and f are both null, in which case g = -1.int g = e ?? f ?? -1;
bool? 类型bool? 可空类型可以包含三个不同的值：true、false 和 null。它们本身不能用于条件语句，如 if、for 或 while。例如，下面的代码编译失败，并将报告编译器错误 CS0266：
bool? b = null;if (b) // Error CS0266.{}这是不允许的，因为 null 在条件上下文中意味着什么并不清楚。为了能在条件语句中使用，可空布尔值可以显式强制转换为 bool，但是如果对象有值 null，将引发 InvalidOperationException。因此，在强制转换为 bool 前检查 HasValue 属性很重要。
可空布尔值类似于 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 |