为何数组元素能避开C#的空值检查？

这不是推理引擎的缺陷，而是C#空引用类型静态分析的设计决策导致的：

• 直接返回null的代码中，编译器能明确检测到你将null赋值给了非空引用类型的返回值，因此触发警告，这完全符合空引用类型检查的核心目标——阻止显式的null流入非空上下文。
• 数组元素返回的情况中，虽然new C[10]创建的数组里所有引用类型元素默认都是null，但C#编译器的静态分析不会追踪数组元素的默认初始化状态。这是因为数组的使用场景过于灵活：数组可能在其他方法中被修改、索引访问可能是动态计算的，静态分析很难全面覆盖所有数组元素的空值状态，强行检查会导致大量误报或无法处理的复杂场景，因此编译器选择不对这类场景做强制空值检查。

如果需要让编译器识别这种潜在风险，你可以手动添加空值校验：

public static C f()
{
    C[] a = new C[10];
    var element = a[0];
    return element ?? throw new InvalidOperationException("数组元素为空");
}

或者如果业务逻辑允许返回null，可以把返回类型改为可空引用类型C?，这样编译器就不会发出警告。

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