clojure - 宏中的绑定(bind)未解析

Question

我正在为 API 服务器创建一个库，这是我的简化版本:

(defonce ^:dynamic *my-token* nil)

(defmacro def-my-token
  [token1 & body]
  `(binding [*my-token* ~token1] ~@body))

主要的“post”方法:

(defn my-post-request [url1]
  (try
    (let [res (client/post (str "api/url/base" url1)
                {:body (json/write-str (:secret my-token)) ;  my-token should come from the macro
      ;......

这就是我想如何使用它:

(defn -main [& args]
  (def-my-token "fdsfdsfdsfds" 

    ; now "my-token" should be created and visible in "my-post-request", shouldn't it?
    (print
     (my-post-request "/some_end_point"))))

但它说“无法解析符号:在此上下文中的我的 token ”

我想知道为什么？ def-my-token 作为一个宏，没有定义它吗？为什么不？以及如何解决这个问题？

更新:同样没有 (defonce ^:dynamic *token* nil) 它也不起作用。为什么不？为什么定义宏还不够？

Answer 1

回答您的更新:

根据 binding 的文档，您只能覆盖已经存在的变量。这就是为什么如果不建立到动态变量的根绑定(bind)，您的解决方案就无法工作。

旁注:

我建议按照jmargolisvt所说的那样使用普通的def而不是defonce，因为我从未在野外使用见过任何动态var定义反抗。

编辑:

doens't def-my-token, being a macros, define it? why not? And how to fix that?

宏本身并不能定义事物，它们是在大多数 Lisp REPL 的宏扩展步骤中转换源代码的小程序。它可以定义您想要的任何内容，但是您应该编写 def 特殊形式。您使用的是 binding 来处理已经存在的变量。通过在 REPL 中使用它和/或阅读此 stackoverflow answer 的答案，您可能会获得更多见解。 .

如果您需要进一步解释为什么需要覆盖:将变量概念化为堆栈是很实用的。使用 def 建立的根绑定(bind)是第一层。程序中的所有内容都会看到该值，除非您在其上放置“某些东西”。正如您可以想象的那样，在您的示例中，将您的函数中的 *my-token* 视为 nil 会导致问题。

绑定(bind)到结果!

它允许您将任何内容放置在根绑定(bind)的“顶部”(在您的情况下nil)，以线程本地方式放置在主体内部，如下所示: