是否可以在将符号传递给 Clojure 中的宏之前将其解析为其值

Question

假设我有以下关键字数组

(def keys [::description ::url ::mailing-list])

我想在两个规范中重用; 一个用于定义映射，一个用于定义函数的可选参数。

(require '[clojure.spec :as spec])
(spec/def ::project-map
      (spec/keys :opt-un keys))
(spec/def ::project-args
      (spec/keys* :opt-un keys))

问题是keys和keys*传递了带引号的符号'keys，而不是它所引用的变量中保存的解析值。

所以我的问题是：是否可以像常见的 lisp #. reader 宏一样在读取时解析键的值，或者如果宏得到一个符号而不是列表文字，是否必须重新定义宏才能解析符号？

Answer 1

您也可以将它们包装在另一个宏中，因为宏负责如何计算它们的参数。

(defmacro def-both [name name* keys]
  `(do (s/def ~name (s/keys :opt-un ~keys))
       (s/def ~name* (s/keys* :opt-un ~keys))))
(user/def-both ::project-map ::project-args [::description ::url ::mailing-list])

Answer 2

你可以用eval构造一个半恶心的解决方案：

(spec/def ::project-map
  (eval `(spec/keys :opt-un ~keys)))
(spec/def ::project-args
  (eval `(spec/keys* :opt-un ~keys)))

这是克洛朱里亚人懈怠的提议。

Answer 3

我遇到了类似的问题，我试图动态注册规范。我遇到了麻烦，因为我没有传入文字关键字，所以解决方案是评估宏的参数，然后引用那些：

(def my-key ::this-is-a-test-key)
(defmacro define-spec [spec-key validator]
  (let [local-key (eval spec-key)]
    `(s/def ~local-key ~validator)))
(define-spec my-key int?)
;;testing it
(s/valid? my-key 123)
(s/valid? my-key "ASDASD")

还值得注意的是，在 cljs 中，调用 define-spec 将返回 nils，因为 cljs 不支持宏。

Answer 4

或者

你可以做：

(spec/def ::project-map (spec/keys ::opt-un ~keys))

可能需要使用限定命名空间(例如 ::opt-un (

spec/def

已经是一个宏观;)