C# 2.0 可空类型

起因

A: 可为空类型是值类型还是引用类型？
B: 呃？...(一时语塞)

分析

首先我们应该先了解下什么是可空类型，从字面上很好理解，就是原先不可为空类型现在可以赋空值了，实际上也是如此。

原来：int a = null;  // 非法
现在：int? a = null;  // 没毛病

int?很明显是C#提供的一种语法糖，实际上是System.Nullable<int>。

既然我们知道了结构，我们可以通过ILSpy来看下源码。
    
using System;
using System.Runtime.Versioning;

namespace System
{
	[__DynamicallyInvokable, NonVersionable]
	[Serializable]
	public struct Nullable<T> where T : struct
	{
		private bool hasValue;

		internal T value;

		[__DynamicallyInvokable]
		public bool HasValue
		{
			[__DynamicallyInvokable, NonVersionable]
			get
			{
				return this.hasValue;
			}
		}

		[__DynamicallyInvokable]
		public T Value
		{
			[__DynamicallyInvokable]
			get
			{
				if (!this.hasValue)
				{
					ThrowHelper.ThrowInvalidOperationException(ExceptionResource.InvalidOperation_NoValue);
				}
				return this.value;
			}
		}

		[__DynamicallyInvokable, NonVersionable]
		public Nullable(T value)
		{
			this.value = value;
			this.hasValue = true;
		}

		[__DynamicallyInvokable, NonVersionable]
		public T GetValueOrDefault()
		{
			return this.value;
		}

		[__DynamicallyInvokable, NonVersionable]
		public T GetValueOrDefault(T defaultValue)
		{
			if (!this.hasValue)
			{
				return defaultValue;
			}
			return this.value;
		}

		[__DynamicallyInvokable]
		public override bool Equals(object other)
		{
			if (!this.hasValue)
			{
				return other == null;
			}
			return other != null && this.value.Equals(other);
		}

		[__DynamicallyInvokable]
		public override int GetHashCode()
		{
			if (!this.hasValue)
			{
				return 0;
			}
			return this.value.GetHashCode();
		}

		[__DynamicallyInvokable]
		public override string ToString()
		{
			if (!this.hasValue)
			{
				return "";
			}
			return this.value.ToString();
		}

		[__DynamicallyInvokable, NonVersionable]
		public static implicit operator T?(T value)
		{
			return new T?(value);
		}

		[__DynamicallyInvokable, NonVersionable]
		public static explicit operator T(T? value)
		{
			return value.Value;
		}
	}
}

从源码中我们能够了解到：
1、System.Nullable<T>是一个泛型，该泛型提供了一个约束struct，struct是什么类型就不用多说了吧🤦‍。
2、T不能是可空类型，故System.Nullable<System.Nullable<T>>是不允许的。

扩展

1、包装、拆包
    System.Nullable<int> x = 5;
    int a = x.Value;

2、装箱、拆箱
    System.Nullable<int> x = 5;
    // 装箱
    object box = x;
    // 拆箱为普通类型，若拆箱一个空引用则会抛出异常
    int normal = (int)box;
    // 拆箱为可空类型
    x = (System.Nullable<int>)box;