Wie ist der tatsächliche Lambda-Typ in C#?

Question

ich gelesen, dass # lambdas C können imlicitly zum Handeln oder Func umgewandelt werden, aber Lambda kann nicht direkt Define a lambda function and execute it immediately Zum Beispiel ausgeführt werden:

int n = (()=>5)(); //doesn't work 
int n = ((Func<int>)(()=>5))(); //works 

Also, was die tatsächliche Art von Lambda ist und warum sie genannt werden, können nicht direkt? Liegt es daran, dass das C# -Typsystem "schwächer" ist als Haskell oder Scala?

Answer 1

Ein Lambda-Ausdruck hat keinen Typ. Es kann nicht, weil jeder Typ in der .NET-Welt, die es haben könnte, auch den Typ der Parameter und das Ergebnis des Lambdas hartcodieren würde. Betrachten wir nun:

x => x + 1 

Welche Art könnte x haben? Welcher Art wird das Ergebnis sein? Es gibt keine einzige Antwort und der Lambda-Ausdruck kann tatsächlich in Func<int, int>, Func<double, double> und viele andere Delegattypen mit unterschiedlichen Parametern konvertiert werden. Würde man einem Lambda-Ausdruck einen Typ geben, würde man solche Ausdrücke nicht zulassen. C# wollte solche Ausdrücke zulassen, so wurde entworfen, um solchen Ausdrücken keinen Typ zu geben.

Answer 2

Dies liegt daran, () => 5 kann mit verschiedenen Delegate-Typen kompatibel sein (z. B. haben Sie möglicherweise eine benutzerdefinierte delegate, die nichts dauert und int zurückgibt). Und um einen delegate zu erstellen, muss der Compiler den genauen Typ kennen. Es kann nicht einfach einen zufälligen Typ auswählen, der Ihren Anforderungen entspricht. Aus diesem Grund können Sie nicht Invoke es, es sei denn, Sie werfen es auf einen tatsächlichen Delegate-Typ.

void Foo(Func<int> func) { } 

Foo(() => 5); 

Und es ist auch wichtig zu wissen, dass delegates eigentlich Klassen hinter den Kulissen sind:

In solchen Fällen, wo ein Verfahren zur Herstellung eines delegate erwartet wird, dass die Konvertierung implizit vom Compiler getan. Und jedes Mal, wenn Sie eine delegate Instanz erstellen, erstellt der Compiler eine Instanz dieser class. In beiden Fällen müssen Sie einen Typ angeben, damit der Compiler den zu verwendenden Typ kennt.