Conversiones de Lambda con un tipo de retorno no claro y resolución de sobrecarga

Question

Si tengo una lambda como () => { throw new Exception(); }, no está claro si tiene un tipo de devolución o no. Debido a esto, puede convertirse (implícitamente) en Action y Func<object> (o en cualquier otro Func<T>). Esto se debe a que, de acuerdo con el apartado 6.5 conversiones función anónima de la especificación C# 4:

[A] delegado tipo D es compatible con una función anónima F proporcionado:

• ...

• Si D tiene un tipo de devolución void y el cuerpo de F es un bloque de instrucciones, cuando [...] el cuerpo de F es un bloque de instrucción válido en el que ninguna instrucción de retorno especifica una expresión.

• Si D tiene un tipo de retorno no nulo y el cuerpo de F es un bloque de instrucciones, cuando [...] el cuerpo de F es un bloque de instrucciones es válido con un punto extremo no alcanzable en el que cada uno return especifica los estados una expresión que es implícitamente convertible al tipo de devolución de D.

Pero si tengo dos sobrecargas de un método, donde uno tiene un parámetro de tipo Action y el otro Func<object>, y lo paso la lambda desde arriba, se utiliza la sobrecarga Func<object>. ¿Por qué? ¿Qué parte de la especificación dice que Func<object> es mejor que Action en este caso?

He examinado §7.5.3.2 Mejor miembro de función, pero eso no lo explica.

Answer 1

Debería haber buscado una sección inferior: §7.5.3.3 mejor conversión de la expresión explica que:

Dada una conversión implícita C1 que convierte de una expresión E a un tipo T1, y una conversión implícita C2 que convierte de una expresión E a un tipo T2, C1 es una conversión mejor que C2 si al menos uno de los siguientes sostiene:

• ...

• E es una función anónima, T1 es o bien un tipo de delegado D1 o un tipo de árbol de expresión Expression<D1>, T2 es o bien un tipo de delegado D2 o un árbol de expresión de tipo Expression<D2> y uno de cumple lo siguiente:

  • ...

  • D1 y D2 tienen listas de parámetros idénticos, y una de las siguientes bodegas:

    • ...

    • D1 tiene un tipo de retorno Y y D2 falto de regresar