Lambda z "x => {rzut ..}" wywnioskowano, aby dopasować Func <T,Task> w przeciążonej metodzie?

Question

Nie rozumiem dlaczego C# kończy się wykonaniem nieprawidłową metodę rozszerzenia w poniższym kodzie LINQPad:

void Main() 
{ 
    // Actual: Sync Action 
    "Expected: Sync Action".Run(x => { x.Dump(); }); 

    // Actual: Async Task 
    "Expected: Async Task".Run(async x => { await System.Threading.Tasks.Task.Run(() => x.Dump()); }); 

    // Actual: Async Task!! 
    "Expected: Sync Action".Run(x => { throw new Exception("Meh"); }); 
} 

static class Extensions 
{ 
    public static void Run<T>(this T instance, Action<T> action) 
    { 
     "Actual: Sync Action".Dump(); 
     action(instance); 
    } 

    public static void Run<T>(this T instance, Func<T, System.Threading.Tasks.Task> func) 
    { 
     "Actual: Async Task".Dump(); 
     func(instance).Wait(); 
    } 
} 

Dlaczego kompilator że lambda zwraca zadanie tutaj?

Oczekiwano, że w trzecim wywołaniu funkcji Run() pojawi się komunikat "Actual: Sync Action", ponieważ nic w lambda nie oznacza, że ​​jest to zadanie zwracające Func.

Answer 1

To jest po prostu problem z przeciążeniem. Oczywiście, lambda x => { throw new Exception("Meh"); } może zostać przekonwertowana na Action<T> lub na Func<T, SomeNonVoidType> (jak również na wiele innych typów delegatów niezwiązanych z tym pytaniem). To po prostu reguły przeładowania C#, które preferują ten drugi w tym przypadku.

Oto bardziej reprezentatywny przykład:

void Main() 
{ 
    // Output: Func<T, int> 
    "Test".WhatsThis(x => { throw new Exception("Meh"); }); 
} 

static class Extensions 
{ 
    public static void WhatsThis<T>(this T dummy, Action<T> action) 
    { 
     "Action<T>".Dump(); 
    } 
    public static void WhatsThis<T>(this T dummy, Func<T, int> func) 
    { 
     "Func<T, int>".Dump(); 
    } 
} 

chodzi o dlaczego jest to przypadek, nie jestem w 100% pewien, ale dorywczo spojrzenie na spec pokazuje mi poniżej prawdopodobnym wyjaśnieniem (podkreślenie moje):

7.5.3 rozdzielczości przeciążenia

[...]

7.5.3.3 Lepsza konwersja z wyrażenia

Biorąc pod uwagę niejawną konwersję C1, która przekształca się z wyrażenia E na typ T1 i niejawną konwersję C2, która przekształca się z wyrażenia E na typ T2, C1 jest lepszą konwersją od C2, gdy co najmniej jeden z poniższych warunków:

[...]

• E anonimowy funkcja T1 albo D1 typu przedstawiciel lub typ drzewa ekspresji Expression<D1>, T2 albo delegat typu D2 lub drzewa wyrażeń typ Expression<D2> i jeden z następujących chwytów:

[...]

• D1 ma typ zwracanej Y i D2 jest nieważna powrocie