【C# in .NET】4. 探秘可空类型：甜且实用的语法糖

探秘可空类型：甜且实用的语法糖

在 C# 的类型系统中，可空类型（Nullable Types）是解决 “值类型无法表示空值” 与 “引用类型空引用风险” 的关键机制。自.NET 2.0 引入可空值类型（T?），到 C# 8.0 推出可空引用类型（Nullable Reference Types），这一特性经历了从简单语法糖到复杂编译时分析的演进。本文将全面剖析可空类型的内存布局、CLR 处理机制、性能特性及最佳实践，帮助开发者不仅 “会用”，更能 “理解其本质”。

一、可空类型的本质与分类

可空类型并非单一概念，而是包含 “可空值类型” 和 “可空引用类型” 两大体系，两者在设计目标和实现机制上存在根本差异。

1. 可空值类型（Nullable Value Types）

值类型（如int、DateTime）默认不能为null，可空值类型通过语法T?允许值类型表示 “无值” 状态，其本质是System.Nullable<T>结构体的语法糖：

int? nullableIn