为何Release模式下Rider仍判定后缀运算符!冗余？

你的最小复现代码如下：

using System;
using System.Diagnostics;

class Program
{
    static void Main()
    {
        string? myVariableString = Console.ReadLine();

        int? myVariable;
        try
        {
            myVariable = int.Parse(myVariableString!);
        }
        catch (FormatException)
        {
            myVariable = null;
        }
        
        Debug.Assert(myVariable.HasValue);

        Console.WriteLine(myVariable!.Value);
    }
}

你疑惑的核心是：Release模式下Debug.Assert会被编译移除，为什么Rider还认为myVariable!.Value中的!是冗余的？原因如下：

1. Rider静态分析不区分Debug/Release编译模式 #

Rider的可空性分析引擎独立于.NET编译流程，它只基于代码的语义逻辑做分析，不会考虑当前编译配置是否会保留Debug.Assert。

对于Debug.Assert(myVariable.HasValue)这行代码，Rider会直接将其识别为一个非空断言语句——它认定你通过断言明确声明了myVariable此时一定不为null，因此后续访问myVariable.Value时，!运算符的非空抑制就变成了冗余操作。

2. Roslyn编译器的分析逻辑也是一致的 #

不止Rider，.NET官方的Roslyn编译器在可空分析时，同样会把Debug.Assert当作有效的非空断言，不管是Debug还是Release模式。因为静态分析是针对源代码的，而非编译后的字节码——编译器不会因为Release模式会移除断言，就忽略它在代码中的语义作用。

解决方法：让断言仅在Debug模式可见 #

如果希望Release模式下Rider不再标记!为冗余，可以用条件编译指令包裹Debug.Assert，让Rider在Release分析时看不到这行断言：

#if DEBUG
Debug.Assert(myVariable.HasValue);
#endif

此时在Release模式下，Rider会识别到myVariable可能为null，!运算符的非空抑制就不再是冗余的，警告会消失。

内容的提问来源于stack exchange，提问作者FluidMechanics Potential Flows