Warum generiert dieser asynchrone/erwartete Code "... nicht alle Codepfade geben einen Wert zurück"?

Question

Hoffentlich ist das keine Wiederholung, aber es gibt 5000+ Fragen hier mit "nicht alle Code-Pfade geben einen Wert zurück"!

Ganz einfach, warum diese Methode mit einer nicht-generischen Implementierung kompiliert gerade fein:

public static async Task TimeoutAfter(this Task task, int millisecondsTimeout) 
    { 
     if (task == await Task.WhenAny(task, Task.Delay(millisecondsTimeout))) 
      await task; 
     else 
      throw new TimeoutException(); 
    } 

während dieses Versuch die Methode generisch zu machen einen Fehler Return state missing/... not all code paths return a value Warnung/erzeugt ?:

public static async Task<T> TimeoutAfter<T>(this Task<T> task, int millisecondsTimeout) 
    { 
     if (task == await Task.WhenAny(task, Task.Delay(millisecondsTimeout))) 
      await task; 
     else 
      throw new TimeoutException(); 
    } 

Answer 1

Der nicht-generische Typ Task entspricht in gewisser Weise einer erwarteten void-Methode. Genau wie eine Void-Methode können Sie nicht zurückgeben alles aus einer Methode, die einen Rückgabetyp Task hat, weshalb das erste Beispiel kompiliert. Das zweite Beispiel erwartet jedoch einen Rückgabewert des generischen Typs, und Sie stellen keinen in dem Pfad bereit, in dem Sie auf einen anderen Aufruf warten.

Zitat aus dem MSDN reference über das Schlüsselwort async, insbesondere über Rückgabetypen.

Sie verwenden Task, wenn bei der Methode kein sinnvoller Wert zurückgegeben wird. Das heißt, ein Aufruf der Methode gibt einen Task zurück, aber wenn der Task abgeschlossen ist, wird jeder erwartete Ausdruck, der auf den Task wartet, für ungültig erklärt.

Answer 2

Im zweiten Beispiel gaben Sie nichts zurück. (Siehe Chris Hannons Antwort für warum).

public static async Task<T> TimeoutAfter<T>(this Task<T> task, int millisecondsTimeout) { 
    if (task == await Task.WhenAny(task, Task.Delay(millisecondsTimeout))) 
     return await task; // return the Task of T 
    else 
     throw new TimeoutException(); 
} 

Zusätzlich zu dem, was @ChrisHannon sagte, von den await documentation.

... Wenn await auf das Ergebnis eines Methodenaufrufs angewendet wird, die eine Task<TResult> zurückgibt, dann ist die Art des Await Ausdruck TResult ist. Wenn await auf das Ergebnis eines Methodenaufrufs angewendet wird, der Task zurückgibt, ist der Typ des Wartezeitausdrucks void. ...