.NET编译器仅对可空数组首个元素触发可能空引用解引用警告

问题场景 #

在ASP.NET Core应用中定义了包含可空字符串数组的类：

public class Dummy
{
    public string[]? DummyData { get; set; }
}

使用该数组时，编译器仅对commandParams.DummyData[0]触发**"Dereference of a possibly null reference"**警告，而commandParams.DummyData[1]、commandParams.DummyData[2]等后续索引访问无此警告：

result += DummyDataConstants.SOM + DummyDataConstants.cmdMainArray[(int)DummyDataConstants.CMD_MAIN_ID_e.CMD_MAIN_REQ_LOG]
                                    + DummyDataConstants.FSP + DummyDataConstants.SMART_CODE + DummyDataConstants.FSP + commandParams.DummyData[0]  // 触发警告
+ DummyDataConstants.FSP + commandParams.DummyData[1]  // 无警告
+ DummyDataConstants.FSP + commandParams.MediaClientType + DummyDataConstants.FSP + commandParams.DummyData[2] + DummyDataConstants.FSP + newGuid.ToString() + DummyDataConstants.FSP + DummyDataConstants.EOM

原因解析 #

这是C# 8.0+空引用类型分析的流分析特性导致的：

• 首次访问commandParams.DummyData[0]时，编译器无法确定DummyData是否为null，因此触发空引用警告。
• 当代码执行到DummyData[1]、DummyData[2]时，编译器通过流分析推断：既然前面已经访问了数组的索引0，说明DummyData肯定不为null（否则会在访问索引0时抛出空引用异常），因此后续的数组索引访问不再触发空引用警告。

注意：编译器的分析仅针对数组本身是否为null，不检查索引是否越界，后续索引访问仍然存在数组长度不足导致的IndexOutOfRangeException风险。

解决办法 #

1. 提前校验数组非空（推荐） #

通过if判断确保数组不为null后再访问所有索引，从根源消除警告和空引用风险：

if (commandParams.DummyData != null)
{
    result += DummyDataConstants.SOM + DummyDataConstants.cmdMainArray[(int)DummyDataConstants.CMD_MAIN_ID_e.CMD_MAIN_REQ_LOG]
                + DummyDataConstants.FSP + DummyDataConstants.SMART_CODE + DummyDataConstants.FSP + commandParams.DummyData[0]
                + DummyDataConstants.FSP + commandParams.DummyData[1]
                + DummyDataConstants.FSP + commandParams.MediaClientType + DummyDataConstants.FSP + commandParams.DummyData[2] + DummyDataConstants.FSP + newGuid.ToString() + DummyDataConstants.FSP + DummyDataConstants.EOM;
}

2. 使用null条件运算符 #

如果允许数组为null时对应索引返回null，可以用?.运算符避免警告：

// 数组为null时，commandParams.DummyData?[0]会返回null
result += ... + commandParams.DummyData?[0] + ... + commandParams.DummyData?[1] + ...;

3. 抑制警告（仅确定数组非空时使用） #

如果你能确保DummyData绝对不为null，可以用!运算符显式抑制警告：

result += ... + commandParams.DummyData![0] + ... + commandParams.DummyData![1] + ...;

4. 确保数组默认非空 #

修改Dummy类，让数组默认初始化而非可空，彻底避免空引用问题：

public class Dummy
{
    // 默认初始化为空数组，避免null状态
    public string[] DummyData { get; set; } = Array.Empty<string>();
}

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