clojure 编译器会在编译时自动评估文字表达式吗？

Question

这可能是一个愚蠢的问题，但是：

假设一个表达式只依赖于字面量，或者其他也只依赖于字面量的表达式；编译器会在编译时评估这个吗？

假设我有，

(def a (some-time-consuming-function some-literal))

(def b (some-other-time-consuming-function a))

是否会在编译时对 b 和 a 进行完全评估，从而不影响用户？

编辑：非常感谢，所有的答案都非常有帮助。

EDIT 6.6.2011： 结果表明，如果您尝试使用这种技术来预先计算一个非常大的数据结构，那么很容易使类文件太大而无法加载。在这些情况下，您希望创建一个将被读入的文件，而不是一个将被加载的类文件。这些答案中描述的宏技巧只能在返回值不是一个过大的结构的情况下应用。

抛出的错误是：“java.lang.ClassFormatError: Invalid this class index” 有关相关情况的讨论，请参阅this thread。

Answer 1

一点都不傻，我不得不考虑并测试一下。

只有当你使用宏而不是函数时它才会起作用，因为宏的主体是在编译/宏扩展时评估的。例如：

（defmacro 预处理 [f & args] (让 [x# (apply (resolve f) args)] `~x#)) (def a (预处理一些耗时的函数一些字面量)) (def b (预处理一些其他耗时的函数 a))

那么a 和b 是def'd 到从评估preprocess 返回的值。

Answer 2

首先，defs 的右侧需要在加载时进行评估有一个非常重要的原因：它们可能以某种方式依赖于环境，在一般情况下，无法判断它们是否这样做或不。举个例子

(def *available-processors* (.availableProcessors (Runtime/getRuntime)))

其次，这是一种测试实际情况的方法：

1. 使用 Leiningen 创建一个测试项目 -- 例如，lein new testdefs。

2. 将:main testdefs.core 放入project.clj。

3. 将以下内容放入src/testdefs/core.clj：

   (ns testdefs.core
     (:gen-class))
   
   (defn take-your-time [t]
     (printf "Taking my time (%d)...\n" t)
     (Thread/sleep t))
   
   (def a (take-your-time 5000))
   
   (defmacro frozen-def [v e]
     (let [val (eval e)]
       `(def ~v ~val)))
   
   (frozen-def b (take-your-time 5000))
   
   (defn -main [& args]
     (println "Starting...")
     (println a)
     (println b))
   

4. 运行lein uberjar；果然，代码要花两次时间。

5. 运行java -jar testdefs-1.0.0-SNAPSHOT-standalone.jar；你会注意到代码只需要一次。

Answer 3

在您的示例中，耗时的函数仅在加载代码时调用一次。

Clojure 编译器不会尝试优化常量表达式，但 Java JIT 编译器在某些情况下可能会这样做。

Answer 4

对于给出的示例，表达式在编译/加载时进行评估。 def 总是 评估它的第二个参数。来自special forms

(def symbol init?)

使用名称为symbol 和当前命名空间*ns* 的值的命名空间创建并实习或定位一个全局变量。 如果提供了init，则对其进行评估，并将 var 的根绑定设置为结果值。