Konwersja Lambda z niejasnym typem powrotu i rozdzielczością przeciążenia

Question

Jeśli mam lambdę taką jak () => { throw new Exception(); }, nie jest jasne, czy ma ona typ powrotu, czy nie. Z tego powodu może być (niejawnie) przekonwertowany zarówno na Action i Func<object> (lub dowolny inny Func<T>). Ma to miejsce dlatego, że zgodnie z § 6.5 Anonymous konwersji funkcji z C# 4 specyfikacji:

[A], pełnomocnik typu D jest zgodny z anonimową funkcję F warunkiem, że:

• ...

• Jeśli D ma void typ zwrotu, a treść F jest blokiem instrukcji, gdy [...] treścią jest F jest poprawnym blokiem instrukcji, w którym żadna instrukcja return nie określa wyrażenia.

• Jeśli D ma nie zwracać typ void i ciało F jest blok oświadczenie, gdy [...] ciało F jest ważny blok oświadczenie o nie osiągalnego punktu końcowego, w którym każdy return Instrukcja Określa wyrażenie, które jest niejawnie zamienne na typ zwrotu D.

Ale jeśli dwie przeciążeń dotyczące sposobu, w której ma się parametr typu Action a drugi Func<object>, i przekazać je lambda od powyżej, stosuje się przeciążenia Func<object>. Czemu? Która część specyfikacji mówi, że w tym przypadku Func<object> jest lepsza niż Action?

Przyjrzałem się § 7.5.3.2 Lepszy członek funkcji, ale to nie wyjaśnia.

Answer 1

Powinienem wyglądać o jeden punkt niżej: §7.5.3.3 Lepsza konwersja z wyrażeniem wyjaśnia, że:

Biorąc niejawna konwersja C1 który konwertuje z wyrazem E do rodzaju T1 i niejawna konwersja C2, który konwertuje z wyrazem E do rodzaju T2, C1 jest lepszą konwersję niż C2, jeśli co najmniej jeden z poniższych warunków:

• ...

• E jest anonimowa funkcja, T1 to albo typ delegata D1 lub rodzaj drzewa wyrażenie Expression<D1>, T2 to albo typ delegata D2 albo drzewo rodzaj ekspresji Expression<D2> i jeden z poniższych warunków:

  • ...

  • D1 i D2 mają identyczne listy parametrów, a jeden z poniższych warunków:

    • ...

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