16

我有点困惑的一件事是clojure require 语句中括号和括号之间的区别。我想知道是否有人可以向我解释这一点。例如，这些做同样的事情：

(ns sample.core
  (:gen-class)
  (:require clojure.set clojure.string))

和

 (ns sample.core
  (:gen-class)
  (:require [clojure.set] 
            [clojure.string]))

但是，这适用于 repl

(require 'clojure.string 'clojure.test)

但在 clj 文件中失败

(ns sample.core
  (:gen-class)
  (:require 'clojure.string 'clojure.test))
...
Exception in thread "main" java.lang.Exception: lib names inside prefix lists must not contain periods
    at clojure.core$load_lib.doInvoke(core.clj:5359)
    at clojure.lang.RestFn.applyTo(RestFn.java:142)
    ....

而这些似乎做同样的事情：

(ns sample.core
  (:gen-class)
  (require clojure.set clojure.string))

(ns sample.core
  (:gen-class)
  (:require clojure.set clojure.string))

一般来说，我不明白这一点。我了解使用、导入和要求。但我不明白“：”以及 [] 和 '() 等内容之间的区别。谁能以直观的方式阐明这个主题？

4

2 回答 2

12

这里的问题很微妙，如果不先了解一下宏，可能很难理解。

宏操作语法的方式与函数操作值的方式相同。事实上，宏只是带有一个钩子的函数，它可以在编译时对它们进行评估。它们传递您在源代码中看到的数据文字，并自上而下进行评估。让我们创建一个具有相同主体的函数和一个宏，这样您就可以看到区别：

(defmacro print-args-m [& args]
  (print "Your args:")
  (prn args))

(defn print-args-f [& args]
  (print "Your args:")
  (prn args))

(print-args-m (+ 1 2) (str "hello" " sir!"))

; Your args: ((+ 1 2) (str "hello" " sir!"))

(print-args-f (+ 1 2) (str "hello" " sir!"))

; Your args: (3 "hello sir!")

宏被它们的返回值替换。您可以检查此过程macroexpand

(defmacro defmap [sym & args]
  `(def ~sym (hash-map ~@args))) ; I won't explain these crazy symbols here.
                                 ; There are plenty of good tutorials around

(macroexpand
  '(defmap people
     "Steve" {:age 53, :gender :male}
     "Agnes" {:age 7,  :gender :female}))

;  (def people
;    (clojure.core/hash-map
;      "Steve" {:age 53, :gender :male}
;      "Agnes" {:age 7, :gender :female}))

在这一点上，我应该解释一下'导致下面的表格是quoted。这意味着编译器将读取表单，但不会执行它或尝试解析符号等。ie'conj计算为一个符号，而conj计算为一个函数。(eval 'conj)等于(eval (quote conj))等于conj。

考虑到这一点，要知道你不能将符号解析为命名空间，除非它以某种方式神奇地导入到你的命名空间中。这就是require函数的作用。它接受符号并找到它们对应的命名空间，使它们在当前命名空间中可用。

让我们看看ns宏扩展为：

(macroexpand
  '(ns sample.core
    (:require clojure.set clojure.string)))

;  (do
;    (clojure.core/in-ns 'sample.core)
;    (clojure.core/with-loading-context
;      (clojure.core/refer 'clojure.core)
;      (clojure.core/require 'clojure.set 'clojure.string)))

看看它是如何引用符号clojure.set并clojure.string为我们提供的？多么方便！但是，当您使用require而不是时，有什么关系:require？

(macroexpand
 '(ns sample.core
   (require clojure.set clojure.string)))

;  (do
;    (clojure.core/in-ns 'sample.core)
;    (clojure.core/with-loading-context
;      (clojure.core/refer 'clojure.core)
;      (clojure.core/require 'clojure.set 'clojure.string)))

看起来写ns宏的人很好，可以让我们两种方式都做，因为这个结果和以前完全一样。尼托！

编辑： tvachon 仅使用它是正确的，:require因为它是唯一官方支持的形式

但是括号有什么用呢？

(macroexpand
  '(ns sample.core
    (:require [clojure.set] 
              [clojure.string])))

; (do
;  (clojure.core/in-ns 'sample.core)
;  (clojure.core/with-loading-context
;   (clojure.core/refer 'clojure.core)
;   (clojure.core/require '[clojure.set] '[clojure.string])))

结果他们也被引用了，就像我们在编写独立调用时所做的那样require。

事实证明，ns它并不关心我们是否给它列表（parens）或向量（括号）来使用它。它只是将参数视为事物的序列。例如，这有效：

(ns sample.core
  [:gen-class]
  [:require [clojure.set]
            [clojure.string]])

require，正如 amalloy 在评论中指出的那样，向量和列表具有不同的语义，所以不要混淆它们！

最后，为什么以下工作不起作用？

(ns sample.core
  (:require 'clojure.string 'clojure.test))

好吧，既然ns我们为我们引用了这些符号，那么这些符号被引用了两次，这在语义上与只被引用一次不同，也是纯粹的疯狂。

conj    ; => #<core$conj clojure.core$conj@d62a05c>
'conj   ; => conj 
''conj  ; => (quote conj)
'''conj ; => (quote (quote conj))

我希望这会有所帮助，我绝对建议学习如何编写宏。他们超级有趣。

于 2013-04-09T16:50:14.353 回答
4

TL;博士：

(ns sample.core
  (:gen-class)
  (:require clojure.set clojure.string))

和

(ns sample.core
  (:gen-class)
  (:需要 [clojure.set]
            [clojure.string]))

require都很好——第二个版本只是最灵活的语法支持的一个特例。这也可以写成：

(ns sample.core
  (:gen-class)
  (:require [clojure 设置字符串]))

一般来说，最后一种形式是满足这一特殊要求的最佳实践。

(require 'clojure.string 'clojure.test)

也适用于 clj 文件 - 试试这个：

(ns sample.core
  (:gen-class))
（需要'clojure.string'clojure.test）

这里的困惑是，在您损坏的示例中，您试图在宏的:require子句中使用“引用符号”。ns这可能不是最直观的解释，但它是如何分解的：

有两种方法可以要求其他模块，require以及ns.

require是一个接受引用形式列表的函数（需要“引用”以避免 clojure 查找您传递给require所有其他符号的方式的符号）。

ns是一个支持:require选项的宏。它获取此选项的值，并在幕后将其转换为对require函数的调用。您不需要引用:require选项的值，因为ns它是一个宏，因此能够引用符号本身。

这可能还不清楚，但我建议转向 Clojure 文档进行澄清——一旦你完全理解了所有这些，你就会对 Clojure 有更好的理解。

在 Clojure 源文件中，您应该始终使用一个ns子句来要求库 -require应该只在 REPL 中使用。

在您的最后两个示例中，您是正确的

(ns sample.core
  (:gen-class)
  （需要 clojure.set clojure.string））

有效，但这是一个意外 - 可能是因为

（名称：要求）
=> “要求”

（名称'要求）
=> “要求”

记录的语法是

(ns sample.core
  (:gen-class)
  (:require clojure.set clojure.string))

并且是唯一保证将来不会损坏的。

于 2013-04-09T16:03:58.963 回答