Come viene implementato `let` in Clojure e qual è il suo overhead?

Question

Sono in grado di vedere 2 modi per implementare i collegamenti let. Innanzitutto, come noto da SICP, let può essere implementato come funzione lambda. Questo è comodo e semplice, ma tenendo conto del fatto che ogni lambda (fn) viene tradotto in una classe separata in JVM e il numero di volte in cui viene utilizzato lo let nel programma medio, sembra molto, molto costoso.

Secondo, let associazioni possono essere convertite direttamente in variabili locali Java. Questo dà un sovraccarico molto piccolo, ma la memorizzazione dei binding su una pila infrange la semantica del linguaggio: in questo caso la creazione di chiusure è semplicemente impossibile - i valori salvati verranno distrutti subito dopo lo srotolamento dello stack.

Quindi, qual è l'implementazione effettiva utilizzata in Clojure? È apprezzato puntare a linee corrispondenti nella sorgente Clojure.

Answer 1

let variabili -bound sono memorizzate come finale valori locali nello stack.

Poiché sono definitivi, possono essere associati a chiusure se necessario (questo è analogo a come è possibile utilizzare una variabile locale finale in una classe interna anonima in Java). Sotto il cofano, la JVM copia il valore nell'oggetto che rappresenta la chiusura (dove è memorizzato come campo finale). Di conseguenza, la chiusura funziona ancora anche dopo che la cornice dello stack è scomparsa.

In generale, le variabili let-bound sono estremamente basse, non dovresti avere alcuna esitazione dall'usarle dal punto di vista delle prestazioni. Probabilmente non è possibile fare di meglio sulla JVM.

Answer 2

Le variabili locali sono puntatori, allocati nello stack, che puntano a valori/oggetti sull'heap. Il puntatore esce dall'ambito, ma l'oggetto rimane attivo fino a quando la chiusura mantiene un puntatore.