如果x在clojure中評估爲（var x），爲什麼它們不相等？

Question

在O'Reilly的 「Clojure的編程：實用Lisp語言在Java世界」，有一種說法：

var這個特殊形式做到這一點：

(def x 5) 
(var x) 
;= #' user/x 

你」現在已經多次看到如何在REPL中打印變量：＃'，後面跟着一個符號。這是讀者語法擴展到調用VAR：

#'x 
;= #' user/x 

（Kindle的位置1278至1282年）。

測試結果似乎並非如此。我會認爲類型類型是相同的。

[user]> (def x 5) 
#'user/x 

[user]> (= 'x (var x)) 
false 

[user]> (type 'x) 
#<Class@c540f5a clojure.lang.Symbol> 

[user]> (type (var x)) 
#<Class@77e9807f clojure.lang.Var> 

[user]> 'x 
x 

[user]> (var x) 
#'user/x 

Answer 1

你缺少#符號：

(def x 5) 
(spyx (var x)) 
(spyx #'x) 

(var x) => #'tst.clj.core/x 
(var x) => #'tst.clj.core/x 

Clojure的讀者消耗charcters在源文件中，並執行的#'x =>(var x)替代之前，甚至會到編譯器。如上所見，spyx宏（「間諜表達式」）甚至不會看到原始#'x表達式 - 已經發生了替換。

因此，我們得到：

(= #'x (var x)) => true 

你還可以嘗試：

(println "type 1: " (type (var x))) 
(println "type 2: " (type #'x)) 

;=> type 1: clojure.lang.Var 
;=> type 2: clojure.lang.Var 

如果你想與spy，spyx，或spyxx宏玩，你將需要添加到您的project.clj：

[tupelo "0.9.19"]