ContinueWith 用于未知泛型类型的任务

Question

我有一个方法可以获取Task<T>，其中 T 在编译时未知，而IAsyncDisposable。我需要返回一个Task<T>，它会在原始任务完成后自动处理一次性对象。

这是我目前想出的，但它会引发编译时错误

private static TResult AutoDispose<TResult>(TResult result, IAsyncDisposable asyncDisposable)
{
    Func<dynamic, dynamic> continuationFunction = async t => { await asyncDisposable.DisposeAsync(); return ((dynamic)t).Result; };
    var autoDisposing = ((dynamic)result).ContinueWith(continuationFunction);
    return (TResult)autoDisposing;
}

我得到的错误是

无法将异步 lambda 表达式转换为委托类型“Func”。异步 lambda 表达式可能返回 void、Task 或 Task，它们都不能转换为 'Func'。

我已经尝试了 dynamic 和 Task 的不同组合，但无法创建有效的解决方案。我总是遇到编译或运行时错误。

编辑

因为我为什么这样做似乎令人困惑：

我在 IAsyncQueryProviders ExecuteAsync 方法中使用它。接口定义方法签名如下

public TResult ExecuteAsync<TResult>(Expression expression, CancellationToken cancellationToken = default)

基于此，我知道TResult 属于IAsyncEnumerable<T> 或Task<T> 类型。我已经编写了代码来处理IAsyncEnumerable<T> 的情况，但是当它是Task<T> 时我仍然在苦苦挣扎。

Answer 1

要使用async，编译时结果类型必须是Task（或类似任务）。嵌套任务使用ContinueWith 和async 延续是正常的； Unwrap 是一种解决方案。 If you can avoid ContinueWith completely, that's even better，但我相信在这种情况下，这将需要大量繁琐的泛型工作。

这样的事情应该可以工作：

private static TResult AutoDispose<TResult>(TResult result, IAsyncDisposable asyncDisposable) // where TResult: Task<T>
{
  Func<dynamic, Task<TResult>> continuationFunction = async () => { await asyncDisposable.DisposeAsync(); return result; };
  var continuation = ((dynamic)result).ContinueWith(continuationFunction, TaskScheduler.Default);
  var newResult = TaskExtensions.Unwrap(continuation);
  return (TResult)newResult;
}

Answer 2

试试这个？

private static async Task<TResult> AutoDispose<TResult>( this Task<TResult> task )
    where TResult : IAsyncDisposable
{
    TResult result = await task.ConfigureAwait(false);
    if( result != null )
    {
        await result.DisposeAsync().ConfigureAwait(false);
    }
    
    return result;
}

示例用法：

Task<HttpResponseMessage> task = new HttpClient()
    .GetAsync( "/foo" )
    .AutoDispose();

HttpResponseMessage resp = await task;
// `resp` will be in a disposed state at this point.