.NET 8中局部非空字符串赋值后为何触发可空警告？

问题场景 #

在.NET 8项目中使用Quartz的JobDataMap时，遇到了不符合预期的可空性警告：

// cronExpression是不可为null的字符串参数
var test1 = cronExpression; // 编译器提示：'cronExpression'此处不为null

// 初始化JobDataMap
var jobDataMap = new JobDataMap
{
   { "JobName", dbJob.JobName },
   { "JobType", dbJob.JobType },
   { "CronExpression", cronExpression },
   { "Id", dbJob.Id }
};
var test2 = cronExpression; // 编译器提示：'cronExpression'此处可能为null

问题原因 #

这是Quartz库的JobDataMap.Add方法（集合初始化器底层调用的方法）的可空性标注导致的编译器静态分析误判：

• JobDataMap.Add(string key, object? value)的第二个参数被定义为object?，且方法未标注[DoesNotMutateReference]等告知编译器不会修改传入引用的属性。
• 虽然字符串是不可变类型，实际不会被修改，但编译器的可空性分析仅基于方法签名，会假设该方法可能对传入的引用类型变量进行赋值操作（例如将其设为null），因此在调用后认为原变量cronExpression可能变为null。

解决方法 #

1. 封装强类型扩展方法 #

自己实现一个接受不可空类型的Add扩展方法，明确标注可空属性，让编译器正确识别变量不会被修改：

using Quartz;

public static class JobDataMapExtensions
{
    public static void Add<T>(this JobDataMap map, string key, T value) 
        where T : notnull
    {
        map.Add(key, value);
    }
}

使用该扩展方法后，集合初始化器的调用会触发强类型版本，编译器不会再误判原变量的可空性。

2. 使用临时变量中转 #

将cronExpression赋值给临时变量，再将临时变量传入JobDataMap，原变量的可空状态不会被编译器误修改：

var tempCron = cronExpression;
var jobDataMap = new JobDataMap
{
   { "JobName", dbJob.JobName },
   { "JobType", dbJob.JobType },
   { "CronExpression", tempCron },
   { "Id", dbJob.Id }
};
var test2 = cronExpression; // 无虚假警告

3. 直接抑制警告（不推荐） #

如果确定cronExpression不可能为null，可以使用!运算符强制抑制警告，但这只是临时规避，无法解决根源问题：

var test2 = cronExpression!;

4. 更新Quartz版本 #

检查Quartz的最新稳定版本，若官方已修复JobDataMap方法的可空性标注问题，升级版本即可解决该误判。

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