C#中Container类的Measures属性是否可为null？IDE提示存疑

为什么IDE认为空合并操作多余？ #

在C# 8及以上的**可空引用类型（NRT）**模式下，IDE的静态代码分析会基于以下逻辑判断：

• Measures是init属性，根据NRT规则，非可空的init属性必须在对象初始化时被赋值，因此静态分析默认它永远不会为null。
• 分析没有覆盖virtual属性的特殊场景，以及反射创建实例的边界情况。

实际运行中抛出ArgumentNullException的原因 #

IDE的静态分析存在局限性，以下场景会导致Measures为null：

1. 派生类重写属性：如果创建Container的派生类并重写Measures，派生类可以返回null，或者在初始化时未正确赋值。
2. 反射创建实例：使用Activator.CreateInstance<Container>()等方式创建实例时，init属性会被设置为默认值null（因为没有执行对象初始化器）。
3. 强制赋值null：虽然NRT会给出警告，但代码仍可通过强制转换或忽略警告给Measures赋值null。

可行的解决方案 #

针对这个矛盾，有几种处理方式：

1. 显式标记属性为可空 #

将Measures的类型改为可空引用类型，让IDE明确知道该属性可能为null，同时保留空合并逻辑：

public class Container
{
  public Guid Id { get; init; }
  // 标记为可空引用类型
  public virtual IEnumerable<Measure>? Measures { get; init; }
  public Dictionary<string, Measure[]> Measurement 
    => (Measures ?? Array.Empty<Measure>())
      .GroupBy(a => a.Type).ToDictionary(a => a.Key, a => a.ToArray());
}

2. 给属性设置默认值 #

直接为Measures指定默认空集合，从根源上避免null，这样IDE也不会提示空合并多余：

public class Container
{
  public Guid Id { get; init; }
  // 初始化默认空集合
  public virtual IEnumerable<Measure> Measures { get; init; } = Array.Empty<Measure>();
  public Dictionary<string, Measure[]> Measurement 
    => Measures
      .GroupBy(a => a.Type).ToDictionary(a => a.Key, a => a.ToArray());
}

3. 保留空合并并抑制IDE警告 #

如果不想修改属性定义，可以通过注释抑制IDE的“多余空合并”警告，同时保留防御性逻辑：

public class Container
{
  public Guid Id { get; init; }
  public virtual IEnumerable<Measure> Measures { get; init; }
  public Dictionary<string, Measure[]> Measurement 
    // 抑制警告，派生类或反射场景可能导致Measures为null
    => (Measures ?? Array.Empty<Measure>())
      .GroupBy(a => a.Type).ToDictionary(a => a.Key, a => a.ToArray());
}

（注：具体警告抑制语法可参考IDE提示，比如#pragma warning disable CS8602或ReSharper的// ReSharper disable once ConditionIsAlwaysTrueOrFalse）

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