如何标记确定非空的值以消除C#可能空引用警告？

问题描述 #

我有一个声明为返回可空对象的函数：

MyClass? MyFunction(string x);

当传入特定参数调用时，我明确知道它不会返回null：

var myObject = MyFunction("Never return null.");
myObject.MyMemberFunctionOfMyClass();

Visual Studio会正确标记myObject存在“可能空引用”警告，但编译器不知道我确定这个值非空。我不想加冗余的空检查（会重复编译器的空校验逻辑，还破坏代码简洁性），也不想用#pragma关闭警告（会丢失其他值的警告），希望能单独标记该值为确定非空，比如类似.NotNull()这样的写法。

解决方案 #

在C# 8.0及以上的可空引用类型特性中，有几种精准满足需求的方法：

1. 使用!空宽恕运算符（最简洁） #

直接在表达式后添加!，明确告诉编译器“我确定这个值非空”，不会生成任何额外运行时代码，仅用于抑制特定位置的警告：

var myObject = MyFunction("Never return null.")!;
myObject.MyMemberFunctionOfMyClass();

2. 自定义.NotNull()扩展方法（符合你的写法偏好） #

如果更习惯.NotNull()的调用形式，可以自己实现一个扩展方法：

public static class NullExtensions
{
    public static T NotNull<T>(this T? value) where T : class
    {
        if (value is null)
            throw new ArgumentNullException(nameof(value));
        return value;
    }
}

使用方式如下：

var myObject = MyFunction("Never return null.").NotNull();
myObject.MyMemberFunctionOfMyClass();

注意：这种方式会包含运行时空检查，若意外出现null会主动抛出异常，适合需要额外调试保障的场景，但如果确定不会为空，这部分检查属于冗余代码。

3. 使用Debug.Assert（仅调试阶段生效） #

如果只想在调试时做校验，同时让编译器识别非空断言，可以用Debug.Assert：

var myObject = MyFunction("Never return null.");
Debug.Assert(myObject != null, "myObject should not be null here");
myObject.MyMemberFunctionOfMyClass();

编译器会识别Debug.Assert的非空逻辑并抑制警告，且发布版本中不会包含该检查代码，不会影响运行性能。

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