Warum können diese Typargumente nicht automatisch abgeleitet werden?

Question

Möglicher Duplikat:
C# 3.0 generische Typinferenz - Übergabe eines Delegaten als Funktionsparameter

Warum können die Typargumente des folgenden Codebeispiels im Aufruf in Main nicht abgeleitet werden?

using System;

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

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

    static void Method(Action action)
    {
        // ...
    }
}

Dies zeigt die folgende Fehlermeldung:

Fehler CS0411: Die Typargumente für die Methode Program.Method(System.Action) können nicht aus der Verwendung abgeleitet werden. Versuchen Sie, die Typargumente explizit anzugeben.

Answer 1

Das Problem ist, dass Action (abgesehen davon, dass es bereits ein Typ ist; bitte umbenennen) tatsächlich eine Methodengruppe ist, die in den Delegattyp Action konvertierbar ist. Der Typ-Inferenz-Algorithmus kann den Typ nicht ableiten, weil Methodengruppenausdrücke typlos sind. Wenn Sie die Methodengruppe tatsächlich in Action umwandeln, gelingt die Typinferenz:

Method((Action)Action); // Legal

Answer 2

Einfach dies in einen Compiler einfügen, dann verstehe ich, was du meinst.

Ich glaube, es liegt daran, dass Action als Methodengruppe verwendet wird, aber es ist nicht vom Typ Action.

Wenn du es auf diesen Typ castest, funktioniert es:

Method((Action)Action);

Answer 3

Dies funktioniert:

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

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

    static void Method(Action action)
    {
        // ...
    }