clojure编译器会在编译时自动计算文本的表达式吗?

一点也不傻,我得想一想,试一下。

只有在使用宏而不是函数时,它才会起作用,因为宏的主体是在编译/宏扩展时计算的。例如。:

(defmacro preprocess [f & args]
  (let [x# (apply (resolve f) args)]
    `~x#))

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

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

a b 是 def 'd到计算返回的值 preprocess .

首先,有一个非常重要的原因是 def

(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 ;您将注意到代码只占用一次时间。

在您的示例中,当您的代码被加载时,耗时的函数只被调用一次。

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

对于给定的示例,表达式在编译/加载时进行计算。 def 总是 计算其第二个参数。从 special forms

(def symbol init?)

创建并实习或定位名为的全局变量 symbol 以及当前名称空间值的名称空间 *ns* . init 提供时,将对其进行评估 ,并将var的根绑定设置为结果值。