如何将 `Task<string>` 实例用作方法的 Task<string?> 参数？

Question

如何将Task<string> 实例用作方法的Task 参数？

如果我启用了可空性，并且我有两个异步方法，例如..

// in an ordinary class
public async static Task<string> Foo() { ... }

// in a static class
public async static Task Bar(this Task<string?> task1) { ... }

我尝试调用await Foo().Bar();，但编译器给了我：

warning CS8620: Argument of type 'Task<string>' cannot be used for parameter 'task' of type 'Task<string?>'

我可以对 Foo 的结果做些什么来使它可以作为一个 Task 被接受？

Answer 1

有一个Task nullability covariance的提案。

现在，您必须使用! (null-forgiving) operator 来消除编译器警告：
await FooClass.Foo()!.Bar();

class Program
{
    static async Task Main(string[] args)
    {
        await FooClass.Foo()!.Bar();
    }
}

public static class Extensions
{
    public async static Task Bar(this Task<string?> task)
    {
        System.Console.WriteLine("bar");
        await Task.CompletedTask;
    }
}


public class FooClass
{
    public async static Task<string> Foo()
    {
        System.Console.WriteLine("foo");
        return await Task.FromResult("");
    }
}

Full example on SharpLab

Answer 2

问题在于 C# 的可为空引用类型注释不是泛型类型的变体。

这段代码证明了这一点：

Task<object> o = Task.FromResult<object>(new object());
Task<object?> p = o;

虽然我们知道应该允许不能返回 null 的任务代替可以返回 null 的任务，但编译器不知道这一点。

编译这个gives warning:

CS8619：“Task”类型的值中引用类型的可空性与目标类型“Task

请注意，这种差异确实适用于委托和接口。但Task<T> 两者都不是。

例如这两个compile without warning:

IEnumerable<object> c = new[] { new object() };
IEnumerable<object?> d = c;

Action<object?> a = _ => {};
Action<object> b = a;

已经讨论过在Task<T> 中为T 的可空性向编译器添加特殊处理，但尚未落地。

在此之前，您必须使用 null 宽恕运算符来抑制这些警告。

Answer 3

您可以将Task<string> 包装在一个延续中，将结果作为Task<string?> 返回：

await Foo().ContinueWith<string?>(task => {
    try {
        return task.Result;
    } catch (AggregateException e) {
        throw e.InnerExceptions[0]; // Propagate exceptions/cancellation.
    }
}).Bar();

ContinueWith 中的 lambda 表达式必须返回一个 string?，这在这里有效，因为 task.Result 是一个 string，它可以隐式转换为 string?。