模式匹配校验属性非空，编译器为何仍报可能的空引用警告？

我编写了一段极简代码，通过模式匹配明确校验AboveValue和BelowValue均不为空，但属于基接口IAbove的AboveValue触发了CS8602“可能的空引用解引用”警告，而IBelow自身定义的BelowValue却没有警告。需要注意，AboveValue属于基接口是复现问题的关键：若两个属性都在IBelow接口则无警告，都在IAbove接口则均会触发警告。

代码示例：

Console.WriteLine("Code needed to build the project");

public interface IAbove
{
    string? AboveValue { get; }
}

public interface IBelow : IAbove
{
    string? BelowValue { get; }
}

public class Test
{
    public static void Execute(IAbove above)
    {
        if (above is IBelow { AboveValue: not null, BelowValue: not null } belowTest1)
        {
            // warning CS8602: Dereferencing of a possible null reference
            Console.WriteLine(belowTest1.AboveValue.Length);
            // ok
            Console.WriteLine(belowTest1.BelowValue.Length);
        }
        if (above is not IBelow { AboveValue: not null, BelowValue: not null } belowTest2)
        {
            return;
        }
        // warning CS8602: Dereferencing of a possible null reference
        Console.WriteLine(belowTest2.AboveValue.Length);
        // ok
        Console.WriteLine(belowTest2.BelowValue.Length);
    }
}

问题原因 #

这是C#可空静态分析的一个局限性：当针对派生接口（IBelow）做模式匹配校验时，编译器能准确识别派生接口自身属性（BelowValue）的非空状态，但对于继承自基接口的属性（AboveValue），编译器无法确保派生接口的实现不会改变该属性的可空性，因此依然会发出空引用警告。

解决方案 #

1. 显式添加非空断言 #

既然已经通过模式匹配确认AboveValue非空，可以直接用!断言告诉编译器该属性不会为null：

Console.WriteLine(belowTest1.AboveValue!.Length);
Console.WriteLine(belowTest2.AboveValue!.Length);

2. 在派生接口中重新声明基接口属性 #

将基接口的属性在派生接口中重新声明，让编译器将其视为派生接口的属性，从而正确跟踪非空状态：

public interface IBelow : IAbove
{
    new string? AboveValue { get; }
    string? BelowValue { get; }
}

这样修改后，原代码中的警告会自动消失，因为编译器现在能识别到模式匹配中校验的AboveValue是IBelow的属性。

3. 局部禁用可空校验（不推荐大范围使用） #

如果确认代码逻辑绝对安全，可以在代码块临时关闭可空校验：

#nullable disable
Console.WriteLine(belowTest1.AboveValue.Length);
#nullable restore

这种方式适合临时解决单个警告，但不建议在大段代码中使用，避免掩盖真正的空引用风险。

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