C# 可空引用类型(Nullable Reference Types) - C# 8.0中的空指针安全

启用可空引用类型后,C# 编译器在编译期静态检查潜在 null 引用并发出警告,需在 .csproj 中配置 enable 或用 #nullable enable,配合 ?(声明可空)、!(空断言)符号使用。

开启可空引用类型后,C# 编译器会帮你静态检查哪些引用变量“本不该为 null”,并在你可能意外赋值或使用 null 的地方发出警告——这不是运行时防护,而是编译期的主动提醒,大幅降低 NullReferenceException 的发生概率。

如何启用可空引用类型

在项目文件(.csproj)中添加以下配置即可全局启用:


  enable

也可以在单个文件顶部加 #nullable enable 进行细粒度控制。关闭用 #nullable disable。注意:启用后不会改变运行时行为,只影响编译器分析和警告。

理解 ? 和 ! 两个关键符号

  • string? 表示“可为空的字符串”——这是显式声明该变量允许为 null,编译器不会对它做非空假设
  • string(无 ?)表示“不可为空的字符串”——编译器默认认为它不为 null,若检测到可能为 null 就报 CS8602(解引用可能为 null)或 CS8600(将 null 赋给非空类型)
  • value! 是空断言操作符——告诉编译器“我保证这里不是 null”,用于绕过警告;但若运行时真为 null,仍会抛异常,慎用

常见易错场景与写法建议

  • 字段/属性初始化:未初始化的非空引用字段(如 private List items;)会触发 CS8618 警告,应初始化或标记为 string?
  • 方法返回值:若方法可能返回 null,应声明为 string?;调用方拿到后需判空或使用空合并运算符(??
  • 参数传入:声明 void Process(string input) 意味着调用方不该传 null;若接受 null,应写成 string?
  • 集合元素:List 表示列表本身不可为空,但其中每个 string 仍可能为 null;如需约束元素非空,可用 List 或借助代码分析器扩展

与旧代码共存和渐进迁移

启用后,未标注的现有代码默认处于“宽松模式”(warnings only),不会直接报错。你可以逐步添加 ? 标注、修复警告,再通过 #nullable warning 或项目设置提升为错误(CS8600;CS8602;CS8603)来强制治理。第三方库若未启用 NRT,编译器会将其 API 视为“忽略可空性”,此时调用返回值会被当作 string? 处理,需手动判空。

基本上就这些。可空引用类型不是银弹,但它把大量空指针隐患从运行时提前到了写代码时——靠的是明确意图 + 编译器协作,而不是魔法。