Как `let` внедряется в Clojure и каковы его накладные расходы?

Question

Я вижу два способа реализации привязок let. Во-первых, как известно из SICP, let может быть реализовано как лямбда-функция. Это удобно и просто, но с учетом того факта, что каждый лямбда (fn) переведен в отдельный класс в JVM, и количество раз let используется в средней программе, это кажется очень и очень дорогостоящим.

Второе, let привязки могут быть переведены непосредственно в локальные переменные Java. Это дает очень небольшие накладные расходы, но сохранение привязок в стеке нарушает семантику языка: в этом случае создание закрытий просто невозможно - сохраненные значения будут уничтожены сразу после разворачивания стека.

Итак, какова фактическая реализация, используемая в Clojure? Оценивается ссылка на соответствующие строки в источнике Clojure.

Answer 1

let Исходящие переменные хранятся как final Локальные значения в стеке.

Поскольку они являются окончательными, при необходимости они могут быть привязаны к закрытию (это аналогично тому, как вы можете использовать конечную локальную переменную в анонимном внутреннем классе в Java). Под капотом JVM копирует значение в объект, представляющий замыкание (где он хранится как окончательное поле). В результате закрытие по-прежнему работает даже после того, как рама стека уходит.

В целом, ограниченные переменные являются чрезвычайно низкими накладными расходами, вы не должны колебаться вообще от их использования с точки зрения производительности. Вероятно, на JVM не может быть лучше.

Answer 2

Локальные переменные - это указатели, выделенные в стеке, указывающие на значения/объекты в куче. Указатель выходит из области видимости, но объект остается в живых до тех пор, пока закрытие сохраняет указатель на него.