可空引用类型通过编译时静态分析提前发现潜在空引用问题，减少运行时异常。启用后，引用类型默认不可为空，使用 string? 显式允许 null，并在可能解引用 null 时发出警告。通过 ! 操作符可抑制警告，配合 null 检查、模式匹配和 ??、?. 等操作符提升代码安全性，显著增强健壮性。
在 C# 中，可空引用类型通过编译时的静态分析来帮助开发者提前发现潜在的空引用问题，从而减少运行时的空指针异常（NullReferenceException）。它不是完全消除空值，而是让开发者明确表达意图：某个引用是否允许为 null，并在可能出错的地方给出警告。
启用可空上下文
要在项目中使用可空引用类型，首先需要在 .csproj 文件中启用可空上下文：
启用后，所有引用类型默认被视为“不可为空”，如果尝试赋 null 或解引用可能为空的变量，编译器会发出警告。
语法与语义区分
在启用可空引用类型后：
- string name; 表示 name 不应为 null，编译器会检查是否在使用前被正确初始化。
- string? optionalName; 表示 optionalName 可以为 null，但在解引用时需做空值判断，否则会有警告。
例如：
string? input = GetStringFromUser();int length = input.Length; // 编译器警告：可能为 null
应改为：
if (input != null)
int length = input.Length; // 安全访问
使用断言和属性提升信心
当逻辑上确定某个变量不为空但编译器无法推断时，可以使用 ! 操作符进行“空值抑制”：
string? name = GetName();Console.WriteLine(name!.ToUpper()); // 明确告诉编译器：这里不会是 null
这种方式适用于你有额外上下文保证其非空的情况，但要谨慎使用，滥用可能导致原有风险重现。
也可通过参数验证来中断执行，避免后续操作：
public void ProcessName(string? name){
if (name == null) throw new ArgumentNullException(nameof(name));
Console.WriteLine(name.Length); // 此时编译器知道 name 不为空
}
配合模式匹配和 null 合并操作符更安全
结合语言特性可以让代码更简洁且安全：
-
?? 提供默认值：
var displayName = name ?? "Unknown"; -
?. 条件访问：
var length = text?.Length ?? 0; -
is not null 模式判断：
if (value is string str) { ... }
基本上就这些。可空引用类型不能百分百阻止空指针异常，但它把很多原本只能在运行时发现的问题提前到编译阶段提醒你处理，显著提升了代码健壮性。关键在于认真对待编译器警告，并合理使用语言特性进行防御性编程。
