¿Por qué no se pueden inferir estos argumentos de tipo?

Question

Duplicar posible:
C# 3.0 generic type inference - passing a delegate as a function parameter

¿Por qué no se pueden deducir los argumentos de tipo del siguiente ejemplo de código en la llamada en Main?

using System; 

class Program 
{ 
    static void Main(string[] args) 
    { 
     Method(Action); 
    } 

    static void Action(int arg) 
    { 
     // ... 
    } 

    static void Method<T>(Action<T> action) 
    { 
     // ... 
    } 
} 

Esto da el mensaje de error: CS0411

error: Los argumentos de tipo para el método Program.Method<T>(System.Action<T>) no pueden inferirse a partir del uso. Intente especificar los argumentos de tipo explícitamente.

Answer 1

Acabo de poner esto es un compilador, veo lo que quieres decir.

Creo que es porque Action se utiliza como grupo de métodos, pero no es del tipo Action<int>.

Si lo lanzas a este tipo funciona:

Method((Action<int>)Action); 

Answer 2

Esto funciona:

static void Main(string[] args) 
    { 
     Method<int>(Action); 
    } 

    static void Action(int arg) 
    { 
     // ... 
    } 

    static void Method<T>(Action<T> action) 
    { 
     // ... 
    } 

Answer 3

El problema es que Action (aparte de ser ya un tipo, por favor, cambie su nombre) es en realidad un grupo de métodos que es convertible al tipo de delegado Action<int>. El motor de inferencia de tipos no puede inferir el tipo porque las expresiones del grupo de métodos son sin tipo. Si realmente transfiere el grupo de métodos a Action<int>, entonces la inferencia de tipos se realiza correctamente:

Method((Action<int>)Action); // Legal