异步方法用NotNullIfNotNull修饰仍触发空引用警告，如何解决？

问题原因 #

NotNullIfNotNull特性最初是为同步方法设计的，早期C#版本的可空分析逻辑无法直接将输入参数的非空性，关联到异步方法返回的Task<T?>内部的结果上，导致await后编译器仍认为返回值可能为空。

解决方案 #

1. 升级到C# 10及更高版本 #

C# 10+优化了可空分析逻辑，能够正确识别异步方法返回值上的NotNullIfNotNull特性，你的原有代码无需修改即可正常工作，编译器会自动推断a不为null。

2. 提供方法重载（兼容低版本） #

如果无法升级C#版本，可以为方法编写两个重载，分别处理非空输入和可空输入：

using System.Diagnostics.CodeAnalysis;

var a = await Test("abc");
Console.WriteLine(a.Length);

// 处理非空输入，返回非空结果
static async Task<string> Test(string input)
{
    return await Task.FromResult(input);
}

// 处理可空输入，返回可空结果，用MaybeNull标记返回值
[return: MaybeNull]
static async Task<string?> Test(string? input)
{
    return await Task.FromResult(input);
}

这种方式让编译器能根据输入参数的可空性匹配对应重载，从而正确推断返回值的可空状态。

3. 使用null抑制运算符（临时方案） #

如果不想调整方法结构，可在await后添加!运算符，显式告知编译器返回结果不为null。注意这种方式会跳过可空分析，仅在你能确保逻辑绝对安全时使用：

var a = await Test("abc")!;
Console.WriteLine(a.Length);

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