C#可空类型提前终止场景下的空值跟踪问题及优化问询

针对C#中使用可空类型（如decimal?、int?）时，提前终止逻辑后编译器无法识别变量非空状态的问题，以下是几种无需嵌套if、也不用冗余强制转换的优化实现方式：

方案1：模式匹配提取非空值（推荐） #

利用C# 7.0及以上支持的模式匹配，直接将可空类型的非空值提取到新变量中，同时完成空值检查与提前终止逻辑。编译器能准确跟踪新变量的非空状态：

foreach (var something in somethings)
{
    var prevMaxSpeed = something.FirstOrDefault(x => x != null)?.speed;

    // 提前终止：无有效值时处理并跳过当前循环
    if (prevMaxSpeed is not decimal maxSpeed || maxSpeed.IsDefaultValue())
    {
        HandleMaxSpeedNoValue();
        continue;
    }

    sp.SP_Characteristics.StaticSpeedProfile.First().StaticSpeedProfileStart = new SSP_ComplexType()
    {
        SSP_Speed = maxSpeed, // 直接使用已验证的非空decimal变量，无编译错误
        SSP_SpeedSpecified = true,
    };
}

说明：原代码条件!prevMaxSpeed.HasValue && !prevMaxSpeed.IsDefaultValue()存在逻辑风险（prevMaxSpeed为null时调用IsDefaultValue()可能引发空引用），方案中调整为先判断是否能转换为非空decimal，再检查是否为默认值，逻辑更严谨，同时让编译器明确maxSpeed的非空状态。

方案2：拆分检查逻辑，提取非空值 #

将空值检查与默认值检查拆分，先确认可空变量有值，再提取为非空变量，编译器可直接识别变量状态：

foreach (var something in somethings)
{
    var prevMaxSpeed = something.FirstOrDefault(x => x != null)?.speed;

    if (!prevMaxSpeed.HasValue)
    {
        HandleMaxSpeedNoValue();
        continue;
    }

    var maxSpeed = prevMaxSpeed.Value;
    if (maxSpeed.IsDefaultValue())
    {
        HandleMaxSpeedNoValue();
        continue;
    }

    sp.SP_Characteristics.StaticSpeedProfile.First().StaticSpeedProfileStart = new SSP_ComplexType()
    {
        SSP_Speed = maxSpeed,
        SSP_SpeedSpecified = true,
    };
}

这种方式逻辑清晰，避免嵌套，同时保证编译器能正确跟踪变量的非空状态。

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