Task<T>与可空性疑问：为何两种代码均触发CS8602警告？

问题本质 #

你遇到的CS8602警告，核心原因是**Task<T>是不变泛型类型**——哪怕object到object?是允许的放宽约束，泛型容器本身的不变性会阻止Task<object>隐式转换为Task<object?>，这才触发了可空性不匹配的提示。

对两段代码的具体分析 #

1. 第一段代码：

   public Task<object?> Do()
   {
       object x = new object();
       return Task.FromResult(x);
   }
   

   编译器会根据x的非空类型，推断Task.FromResult(x)的返回类型为Task<object>，但方法声明的返回类型是Task<object?>。由于Task<T>的不变性，两者无法直接兼容，触发警告。

2. 第二段代码：

   public Task<object?> Do()
   {
       object? x = new object();
       return Task.FromResult(x);
   }
   

   虽然变量x声明为object?，但new object()是明确的非空表达式，编译器会依据表达式的实际可空性，推断Task.FromResult(x)的类型仍为Task<object>，和方法返回类型不匹配，因此同样触发警告。

解决方法 #

你需要明确告知编译器要生成Task<object?>类型，以下是几种直接可行的方式：

方式1：显式指定泛型参数 #

public Task<object?> Do()
{
    object x = new object();
    return Task.FromResult<object?>(x);
}

方式2：强制转换参数为可空类型 #

public Task<object?> Do()
{
    object? x = new object();
    return Task.FromResult((object?)x);
}

方式3：直接构造可空类型的Task #

public Task<object?> Do()
{
    return Task.FromResult<object?>(new object());
}

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