Clojure 宏中的绑定不是';t解决

Clojure 宏中的绑定不是';t解决,clojure,macros,Clojure,Macros,我正在为API服务器创建一个库,下面是我的简化版本: (defonce ^:dynamic *my-token* nil) (defmacro def-my-token [token1 & body] `(binding [*my-token* ~token1] ~@body)) 以及主要的“post”方法: 下面是我想如何使用它: (defn -main [& args] (def-my-token "fdsfdsfdsfds" ; now "my-

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

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

(defmacro def-my-token
  [token1 & body]
  `(binding [*my-token* ~token1] ~@body))
以及主要的“post”方法:

下面是我想如何使用它:

(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"))))
但上面写着“无法解析符号:此上下文中的我的令牌”

我想知道为什么?作为一个宏,难道没有定义我的令牌吗?为什么不呢?如何解决这个问题

更新: 同样,如果没有
(defonce^:dynamic*token*nil)
它也无法工作。为什么不呢?
为什么定义宏还不够?

您绑定了
*我的令牌*
,而不是
我的令牌
。尝试:

{:body (json/write-str (:secret *my-token*))
星号只是动态变量的命名约定,它们仍然是实际变量名称的一部分。

回答您的更新:

根据的文档,您只能覆盖现有的变量。这就是为什么在没有建立到动态var的根绑定的情况下,您的解决方案无法工作

旁注:

我建议按照jmargolisvt所说的做,使用普通的
def
而不是
defone
,因为我从未见过任何使用
defone
的动态var定义

编辑:

作为一个宏,难道没有定义我的令牌吗?为什么不呢?如何解决这个问题

宏本身并不定义任何东西,它们是在大多数Lisp
REPL的宏扩展步骤中转换源代码的小程序。它可以定义任何您想要的内容,但是您应该编写
def
特殊表单。您使用的是
绑定
,它处理已经存在的变量。 通过在REPL中玩弄它和/或阅读本文的答案,您可能会获得更多的洞察力

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

绑定
到Resce

它允许您将根绑定(在您的情况下是
nil
)线程的任何“顶部”放在主体内部,如下所示:


defone
和^:动态是有点矛盾的。改为尝试
def
。它与覆盖有什么关系?为什么我首先需要它?
{:body (json/write-str (:secret *my-token*))