Wie ist `Let` in Clojure implementiert und was ist sein Overhead?

Question

Ich kann 2 Möglichkeiten der Implementierung let Bindings sehen. Erstens, wie aus SICP bekannt ist, kann let als Lambda-Funktion implementiert werden. Dies ist bequem und einfach, aber unter Berücksichtigung der Tatsache, dass jedes Lambda (fn) in JVM in separate Klasse übersetzt wird und die Anzahl let im Durchschnitt Programm verwendet wird, scheint dies sehr, sehr teuer.

Zweitens, let Bindungen können direkt in lokale Java-Variablen übersetzt werden. Dies verursacht sehr wenig Overhead, aber das Speichern von Bindungen auf einem Stapel bricht die Sprachsemantik: In diesem Fall ist das Erstellen von Schließungen einfach unmöglich - gespeicherte Werte werden direkt nach dem Abwickeln des Stapels zerstört.

Was ist die tatsächliche Implementierung in Clojure? Auf entsprechende Zeilen in Clojure-Quelle zu zeigen, wird geschätzt.

Answer 1

let -gebundene Variablen werden als endgültige lokale Werte auf dem Stapel gespeichert.

Da sie endgültig sind, können sie bei Bedarf in Schließungen eingebunden werden (analog dazu können Sie eine letzte lokale Variable in einer anonymen inneren Klasse in Java verwenden). Unter der Haube kopiert die JVM den Wert in das Objekt, das die Schließung darstellt (wo es als letztes Feld gespeichert wird). Dadurch funktioniert der Verschluss auch nach Wegfall des Stapelrahmens.

Insgesamt sind Let-gebundene Variablen extrem niedrig, Sie sollten nicht zögern, sie aus einer Leistungsperspektive zu verwenden. Es ist wahrscheinlich nicht möglich, die JVM besser zu machen.

Answer 2

Lokale Variablen sind Zeiger, die auf dem Stack zugeordnet sind und auf Werte/Objekte auf dem Heap zeigen. Der Zeiger verlässt den Gültigkeitsbereich, aber das Objekt bleibt so lange bestehen, wie der Abschluss einen Zeiger darauf behält.