C#中?与!运算符的区别及VS/ReSharper提示原因解析

一、空条件运算符（?.） #

• 官方名称：Null-conditional operator（空条件运算符），也常被称为安全导航运算符
• 定义：在访问对象的成员、索引器或调用方法前，自动检查对象是否为null。如果对象是null，整个表达式直接返回null，不会执行后续的成员访问逻辑，从根源避免NullReferenceException。
  示例：

  var image = @Model?.Image?.First();
  

  这段代码中，若Model为null，Model?.Image直接返回null，不会尝试访问Image；若Model非null但Image为null，Image?.First()同样返回null，全程不会触发空引用异常。
• VS/ReSharper提示原因：当静态分析检测到你访问的对象存在为null的可能性（尤其是在启用nullable引用类型检查的项目中），工具会提示你添加?.，强制你处理潜在的空引用风险，提升代码安全性。

二、空包容运算符（!） #

• 官方名称：Null-forgiving operator（空包容运算符），也叫null抑制运算符
• 定义：向编译器明确声明“我确认当前对象不为null”，用于消除编译器对潜在空引用的警告。注意：它不会改变运行时行为——如果对象实际为null，访问其成员依然会抛出NullReferenceException，仅作用于编译阶段的警告抑制。
  示例：

  var cId = cust!.Id;
  

  这里你告诉编译器，尽管静态分析认为cust可能为null，但你能保证它在当前上下文里一定是非null的，因此编译器会取消相关的空引用警告。
• VS/ReSharper提示原因：当工具的静态分析无法确定对象非null，但你通过业务逻辑或外部约束明确知道对象不可能为null时，会提示你用!来抑制警告；或是在nullable引用类型模式下，将可能为null的类型赋值给非nullable类型时，编译器会要求你用!确认风险。

三、核心区别 #

• 作用阶段不同：?.是运行时安全防护，实际避免空引用异常；!是编译时警告抑制，不影响运行时，仅消除编译器提示。
• 表达式类型变化：使用?.后，表达式的类型会变为可空版本（比如原本是string，obj?.Property的类型是string?）；!不会改变表达式的类型，仅消除null状态的警告。
• 适用场景不同：?.用于不确定对象是否为null，需要安全访问成员的场景；!用于你已确认对象非null，只是编译器未识别到该上下文的场景（比如刚完成null检查但编译器没检测到，或是依赖外部保证对象非null）。

补充：与可空类型的关联 #

你提到的int? MyInt = 1;是值类型的可空声明，而在C# 8及以后的nullable引用类型模式中，引用类型默认被标记为非可空。这种模式下，编译器会更严格地校验null相关的赋值和访问操作，因此?.和!的提示会更频繁——本质是要求开发者明确处理所有可能的null情况，减少潜在的运行时错误。

内容的提问来源于stack exchange，提问作者KeithViking