Net6.0启用可空引用类型后异步GetByIdOrThrow报CS8613警告

我有一个启用了可空引用类型的.NET 6.0项目，里面包含同步和异步版本的根据ID查找实体的方法：

public virtual TEntity GetByIdOrThrow(TId id)
{
    return QueryEntities()
        .SingleOrDefault(x => x.Id.Equals(id)) ?? throw NotFoundException;
}

public virtual async Task<TEntity> GetByIdOrThrowAsync(TId id)
{
    var entity = await QueryEntities()
        .SingleOrDefaultAsync(x => x.Id.Equals(id));
    return entity ?? throw NotFoundException;
}

同步方法运行正常，但异步方法出现编译器警告：

Nullability of reference types in return type of 'Task<TEntity> RepositoryBase<TEntity, TContext, TId>.GetByIdOrThrowAsync(TId id)' doesn't match implicitly implemented member 'Task<TEntity?> IRepositoryBase<TEntity, TId>.GetByIdOrThrowAsync(TId id)'

已确认NotFoundException不为null，且会在实体为null时抛出异常，为什么异步版本还是会出现这个问题？

原因分析 #

核心问题在于同步方法和异步方法的可空类型推导逻辑差异：

• 同步方法中，?? throw的写法会让编译器直接推导返回值为非空TEntity——因为如果SingleOrDefault返回null，代码会直接抛出异常，不会走到返回null的分支，编译器能识别这种"null分支不可达"的逻辑。
• 异步方法里，编译器对await后的可空推导存在限制：SingleOrDefaultAsync返回的是Task<TEntity?>，await后得到的entity会被标记为可空TEntity?。尽管你用?? throw确保了最终返回的是非空值，但编译器无法把这个非空推导传递到Task<TEntity>的泛型参数上，它只会看到实现方法返回Task<TEntity>，而接口定义的是Task<TEntity?>，两者可空性不匹配，因此抛出警告。

简单说：编译器能理解同步代码里的"绝不会返回null"，但对异步代码的这种场景，没办法把局部变量的非空推导提升到Task的泛型参数层面。

解决方法 #

有两种常用的修复方式：

方法1：显式告知编译器实体非空（使用!空宽恕运算符） #

直接在await后的结果上添加!，明确告知编译器这个值不会为null：

public virtual async Task<TEntity> GetByIdOrThrowAsync(TId id)
{
    var entity = await QueryEntities()
        .SingleOrDefaultAsync(x => x.Id.Equals(id))!;
    return entity ?? throw NotFoundException;
}

或者简化写法：

public virtual async Task<TEntity> GetByIdOrThrowAsync(TId id)
{
    return await QueryEntities()
        .SingleOrDefaultAsync(x => x.Id.Equals(id)) ?? throw NotFoundException;
}

这样编译器会认可Task<TEntity>的返回类型和接口定义的Task<TEntity?>兼容。

方法2：调整接口定义（如果有权限修改） #

如果接口IRepositoryBase<TEntity, TId>中的GetByIdOrThrowAsync方法返回值本就应该是Task<TEntity>而非Task<TEntity?>，直接修改接口的方法签名：

Task<TEntity> GetByIdOrThrowAsync(TId id);

这样实现类的返回类型和接口完全匹配，警告自然消失。

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