class ResultBase {} class Result : ResultBase {} Task<ResultBase> GetResult() { return Task.FromResult(new Result()); } El compilador me dice que no puede convertir implícitamente Task<Result> a Task<ResultBase> . ¿Alguien puede explicar por qué es esto? Habría esperado que la covarianza me permitiera escribir el código de esta manera.
Según alguien que puede estar al tanto ...
La justificación es que la ventaja de la covarianza se ve superada por la desventaja del desorden (es decir, todos tendrían que tomar una decisión sobre si usar Task o ITask en cada lugar de su código).
Me parece que no hay una motivación muy convincente de ninguna manera. ITask<out T> requeriría muchas sobrecargas nuevas, probablemente bastante ocultas (no puedo dar fe de cómo se implementa la clase base real o qué tan especial es en comparación con una implementación ingenua), pero mucho más en forma de estos métodos de extensión similares linq .
Alguien más hizo un buen punto: sería mejor gastar el tiempo haciendo que class sea covariante y contravariante. No sé lo difícil que sería, pero me parece un mejor uso del tiempo.
Por otro lado, alguien mencionó que sería genial tener una función similar a la de yield return real disponible en un método async . Quiero decir, sin juegos de manos.
Me doy cuenta de que llegué tarde a la fiesta, pero aquí hay un método de extensión que he estado usando para dar cuenta de esta característica faltante:
/// <summary> /// Casts the result type of the input task as if it were covariant /// </summary> /// <typeparam name="T">The original result type of the task</typeparam> /// <typeparam name="TResult">The covariant type to return</typeparam> /// <param name="task">The target task to cast</param> [MethodImpl(MethodImplOptions.AggressiveInlining)] public static async Task<TResult> AsTask<T, TResult>(this Task<T> task) where T : TResult where TResult : class { return await task; }De esta manera solo puedes hacer:
class ResultBase {} class Result : ResultBase {} Task<Result> GetResultAsync() => ...; // Some async code that returns Result Task<ResultBase> GetResultBaseAsync() { return GetResultAsync().AsTask<Result, ResultBase>(); }He tenido éxito con el paquete MorseCode.ITask NuGet . En este punto, es bastante estable (sin actualizaciones en algunos años), pero fue trivial de instalar y lo único que tenía que hacer para traducir de una tarea de TI a una tarea era llamar a .AsTask() (y el método de extensión inversa también se incluye con el paquete).