Le espressioni Lambda sono presenti nelle chiusure C#?

Question

Le chiusure di espressioni lambda (e fino ad un grado, funzioni anonime)?

La mia comprensione delle chiusure è che si tratta di funzioni trattate come oggetti, che sembra essere una rappresentazione accurata delle funzioni anonime e delle espressioni Lambda.

Ed è corretto chiamarli chiusure? Capisco che le chiusure sono venute fuori (o sono diventate popolari) a causa del dialetto lisp, ma è anche un termine di programmazione generale?

Grazie per qualsiasi chiarimento che è possibile fornire!

Answer 1

Un lambda può essere implementato utilizzando una chiusura, ma non è necessariamente una chiusura.

A closure è "una funzione insieme a un ambiente di riferimento per le variabili non locali di tale funzione.".

Quando si esegue un'espressione lambda che utilizza variabili definite al di fuori del metodo, il lambda deve essere implementato utilizzando una chiusura. Ad esempio:

int i = 42; 

Action lambda =() => { Console.WriteLine(i); }; 

In questo caso, il metodo compilatore generato deve avere accesso alla variabile (i) definita in un ambito completamente diverso. Perché funzioni, il metodo che genera è una "funzione insieme all'ambiente di riferimento" - in pratica, sta creando una "chiusura" per recuperare l'accesso alla variabile.

Tuttavia, questo lambda:

Action lambda2 =() => { Console.WriteLine("Foo"); } 

non si basa su alcun "ambiente riferimento", in quanto si tratta di un metodo completamente contenuto. In questo caso, il compilatore genera un normale metodo statico e non vi è alcuna chiusura implicata.

In entrambi i casi, lambda sta creando un delegate ("oggetto funzione"), ma è solo creando una chiusura nel primo caso, poiché il lambda non ha necessariamente bisogno di "catturare" l'ambiente di riferimento in tutti i casi .

Answer 2

Sì. Le chiusure tipicamente catturano le variabili dall'ambito esterno. Lambdas può farlo. Tuttavia se il tuo lambda non cattura nulla, non è una chiusura.

Answer 3

È "chiusura" non "clojure".

Questo non è ciò che una chiusura è. Una chiusura è fondamentalmente una rappresentazione di una funzione insieme a qualsiasi variabile non locale che la funzione consuma.

In questo senso, i lambda non sono chiusure, ma causano la generazione di chiusure da parte del compilatore se chiudono sopra qualsiasi variabile.

Se si utilizza ILDASM su un assembly che contiene un lambda che si chiude su alcune variabili, si vedrà in quell'assieme una classe generata dal compilatore che repsresente la funzione e quelle variabili che sono state chiuse. Quello è la chiusura.

Quando si dice

funzioni che vengono trattati come oggetti,

che è normalmente solo "oggetto funzione" (in C# diremmo "delegato") ed è comune nella programmazione funzionale .

Answer 4

La risposta di Reed è corretta; Vorrei solo aggiungere alcuni dettagli aggiuntivi:

• Espressioni lambda e metodi anonimi entrambi hanno la semantica di chiusura; cioè, "catturano" le loro variabili esterne e prolungano la vita di quelle variabili.

• funzione anonima è il termine che usiamo quando si intende un'espressione lambda o un metodo anonimo. Sì, questo è confuso. Scusate. Era il meglio che riuscivamo a trovare.

• una funzione che può essere trattata come un oggetto è solo un delegato. Ciò che rende una lambda a è una chiusura che cattura le sue variabili esterne.

• Le espressioni lambda convertite in alberi di espressione hanno anche semantica di chiusura, abbastanza interessante. E l'implementazione corretta era un dolore al collo, ti dico!

• "questo" è considerato una "variabile esterna" allo scopo di creare una chiusura anche se "questo" non è una variabile.