C# 语言之可为null值类型
可为 null 值类型定义
可为 null 值类型 T? 表示其基础值类型 T 的所有值及额外的 null 值。例如,可以将以下三个值中的任意一个指定给 bool?变量: true 、 false 或 null 。基础值类型 T 本身不能是可为空的值类型。
任何可为空的值类型都是泛型 System.Nullable<T> 结构的实例。可使用以下任何一种可互换形式引用具有基础类型 T 的可为空值类型: Nullable<T> 或 T? 。
需要表示基础值类型的未定义值时,通常使用可为空的值类型。例如,布尔值或 bool 变量只能为 true 或 false 。 但是,在某些应用程序中,变量值可能未定义或缺失。例如,某个数据库字段可能包含 true 或 false,或者它可能不包含任何值,即 NULL 。在这种情况下,可以使用 bool? 类型。
声明和赋值
由于值类型可隐式转换为相应的可为空的值类型,因此可以像向其基础值类型赋值一样,向可为空值类型的变量赋值。还可分配 null 值。 例如:
double? pi = 3.14;char? letter = 'a';int m2 = 10;int? m = m2;bool? flag = null;// An array of a nullable value type:int?[] arr = new int?[10];
可为空值类型的默认值表示 null ,也就是说,它是其 Nullable<T>.HasValue 属性返回 false 的实例。
检查可为空值类型的实例
从 C# 7.0 开始,可以将 is 运算符与类型模式 结合使用,既检查 null 的可为空值类型的实例,又检索基础类型的值:
int? a = 42;if (a is int valueOfA){Console.WriteLine($"a is {valueOfA}");}else{Console.WriteLine("a does not have a value");}// 输出:// a is 42
始终可以使用以下只读属性来检查和获取可为空值类型变量的值:
Nullable<T>.HasValue指示可为空值类型的实例是否有基础类型的值。如果
HasValue为true,则Nullable<T>.Value获取基础类型的值。如果HasValue为false,则Value属性将引发InvalidOperationException。
以下示例中的使用 HasValue 属性在显示值之前测试变量是否包含该值:
int? b = 10;if (b.HasValue){Console.WriteLine($"b is {b.Value}");}else{Console.WriteLine("b does not have a value");}// 输出:// b is 10
还可将可为空的值类型的变量与 null 进行比较,而不是使用 HasValue 属性,如以下示例所示:
int? c = 7;if (c != null){Console.WriteLine($"c is {c.Value}");}else{Console.WriteLine("c does not have a value");}// 输出:// c is 7
从可为空的值类型转换为基础类型
如果要将可为空值类型的值分配给不可以为 null 的值类型变量,则可能需要指定要分配的替代 null 的值。使用 Null 合并操作符 ?? 执行此操作(也可将 Nullable<T>.GetValueOrDefault(T) 方法用于相同的目的):
int? a = 28;int b = a ?? -1;Console.WriteLine($"b is {b}"); // 输出: b is 28int? c = null;int d = c ?? -1;Console.WriteLine($"d is {d}"); // 输出: d is -1
如果要使用基础值类型的默认值来替代 null ,请使用 Nullable<T>.GetValueOrDefault() 方法。
还可以将可为空的值类型显式强制转换为不可为 null 的类型,如以下示例所示:
int? n = null;int n2 = (int)n; // 如果 n 为空则抛出异常
在运行时,如果可为空的值类型的值为 null ,则显式强制转换将抛出 InvalidOperationException。
不可为 null 的值类型 T 可隐式转换为相应的可为空值类型 T? 。
提升的运算符
预定义的 一元运算符 和 二元运算符 或 值类型 T 支持的任何重载运算符也受相应的可为空值类型 T? 支持。如果一个或全部两个操作数为 null ,则这些运算符(也称为提升的运算符)将生成 null ,否则,运算符使用其操作数所包含的值来计算结果。 例如:
int? a = 10;int? b = null;int? c = 10;a++; // a is 11a = a * c; // a is 110a = a + b; // a is null
注意:对于 bool? 类型,预定义的 & 和 | 运算符不遵循此部分中描述的规则:即使其中一个操作数为 null ,运算符计算结果也可以不为 NULL。
对于比较运算符 < 、 > 、 <= 和 >= ,如果一个或全部两个操作数都为 null ,则结果为 false 。否则,将比较操作数的包含值。请勿作出如下假定: 由于某个特定的比较(例如 <= )返回 false ,则相反的比较 ( > ) 返回 true。
既不大于等于 null ,
也不小于 null
int? a = 10;Console.WriteLine($"{a} >= null is {a >= null}");Console.WriteLine($"{a} < null is {a < null}");Console.WriteLine($"{a} == null is {a == null}");// 输出:// 10 >= null is False// 10 < null is False// 10 == null is Falseint? b = null;int? c = null;Console.WriteLine($"null >= null is {b >= c}");Console.WriteLine($"null == null is {b == c}");// 输出:// null >= null is False// null == null is True
对于相等运算符 == ,如果两个操作数都为 null ,则结果为 true ;如果只有一个操作数为 null ,则结果为false ;否则,将比较操作数的包含值。
对于不等运算符 != ,如果两个操作数都为 null ,则结果为 false ;如果只有一个操作数为 null ,则结果为true ;否则,将比较操作数的包含值。
如果在两个值类型之间存在用户定义的转换,则还可在相应的可为空值类型之间使用同一转换。
装箱和取消装箱
可为空值类型的实例 T? 已装箱,如下所示:
如果
HasValue返回false,则生成空引用。如果
HasValue返回true,则基础值类型T的对应值将装箱,而不对Nullable<T>的实例进行装箱。
可将值类型 T 的已装箱值取消装箱到相应的可为空值类型 T? ,如以下示例所示:
int a = 41;object aBoxed = a;int? aNullable = (int?)aBoxed;Console.WriteLine($"Value of aNullable: {aNullable}");object aNullableBoxed = aNullable;if (aNullableBoxed is int valueOfA){Console.WriteLine($"aNullableBoxed is boxed int: {valueOfA}");}// 输出:// Value of aNullable: 41// aNullableBoxed is boxed int: 41
如何确定可为空的值类型
下面的示例演示了如何确定 System.Type 实例是否表示已构造的可为空值类型,即具有指定类型参数 T 的System.Nullable<T> 类型:
Console.WriteLine($"int? is {(IsNullable(typeof(int?)) ? "nullable" : "non nullable")} value type");Console.WriteLine($"int is {(IsNullable(typeof(int)) ? "nullable" : "non-nullable")} value type");bool IsNullable(Type type) => Nullable.GetUnderlyingType(type) != null;// 输出:// int? is nullable value type// int is non-nullable value type
如上面示例所示,使用 typeof 运算符来创建 System.Type 实例。
如果要确定实例是否是可为空的值类型,请不要使用 Object.GetType 方法获取要通过上面的代码测试的 Type 实例。 如果对值类型可为空的实例调用 Object.GetType 方法,该实例将装箱到 Object。
由于对可为空的值类型的非 NULL 实例的装箱等同于对基础类型的值的装箱,因此 GetType 会返回表示可为空的值类型的基础类型的 Type 实例:
int? a = 17;Type typeOfA = a.GetType();Console.WriteLine(typeOfA.FullName);// 输出:// System.Int32
另外,请勿使用 is 运算符来确定实例是否是可为空的值类型。如以下示例所示,无法使用 is 运算符区分可为空值类型实例的类型与其基础类型实例:
int? a = 14;if (a is int){Console.WriteLine("int? instance is compatible with int");}int b = 17;if (b is int?){Console.WriteLine("int instance is compatible with int?");}// 输出:// int? instance is compatible with int// int instance is compatible with int?
可使用以下示例中提供的代码来确定实例是否是可为空的值类型:
int? a = 14;Console.WriteLine(IsOfNullableType(a)); // output: Trueint b = 17;Console.WriteLine(IsOfNullableType(b)); // output: Falsebool IsOfNullableType<T>(T o){var type = typeof(T);return Nullable.GetUnderlyingType(type) != null;}
注意:此部分中所述的方法不适用于可为空的引用类型的情况。