Dlaczego zadanie <T> nie jest co-wariantem?

Question

class ResultBase {} 
class Result : ResultBase {} 

Task<ResultBase> GetResult() { 
    return Task.FromResult(new Result()); 
} 

Kompilator mówi, że nie może domyślnie konwertować Task<Result> na Task<ResultBase>. Czy ktoś może wyjaśnić, dlaczego tak jest? Spodziewałbym się współzmienności, aby umożliwić mi napisanie kodu w ten sposób.

Answer 1

Według someone who may be in the know ...

Uzasadnieniem jest to, że zaletą kowariancji jest niwelowana przez wadę bałaganu (czyli każdy będzie musiał podjąć decyzję o tym, czy korzystania zadanie lub w iTask każdy pojedynczy miejsce w swoim kodzie).

Wydaje mi się, że nie ma zbyt silnej motywacji w żaden sposób. ITask<out T> wymagałoby wielu nowych przeciążeń, prawdopodobnie całkiem pod maską (nie mogę potwierdzić, w jaki sposób jest zaimplementowana faktyczna klasa bazowa lub jak wyjątkowe jest to porównanie do naiwnej implementacji), ale o wiele bardziej w postaci tych linq podobnych do metody rozszerzenia.

Ktoś inny trafił w dobry punkt - lepiej byłoby poświęcić czas na to, by class es było kowariantne i sprzeczne. Nie wiem, jak trudne, ale to brzmi jak lepsze wykorzystanie czasu dla mnie.

Z drugiej strony ktoś wspomniał, że byłoby bardzo fajnie mieć prawdziwą funkcję podobną do yield return dostępną w metodzie async. Mam na myśli, bez sztuczek z ręki.

Answer 2

Zdaję sobie sprawę, że jestem późno do partii, ale tutaj jest metoda rozszerzenie używam w celu uwzględnienia tej brakującej funkcji:

/// <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 Task<TResult> AsTask<T, TResult>(this Task<T> task) 
    where T : TResult 
    where TResult : class 
{ 
    return task.ContinueWith(t => t.Result as TResult); 
} 

ten sposób można po prostu zrobić:

class ResultBase {} 
class Result : ResultBase {} 

Task<ResultBase> GetResult() 
{ 
    return Task.FromResult(new Result()).AsTask<Result, ResultBase>(); 
}