Question

我想编写一个使用clj-time库函数的宏。在一个名称空间中，我想像这样调用宏：

(ns budget.account
  (:require [budget.time]))

(budget.time/next-date interval frequency)

下一个日期宏将在另一个文件中定义，如下所示：

(ns budget.time
  (:require [clj-time.core :as date]))

(defmacro next-date [interval freq]
  `(~interval ~freq))

如果使用以下参数（budget.time / next-date interval freq）调用宏，并且间隔和freq分别调用“周”和“2”，那么宏展开将看起来像这样（clj-time。核心/周2）

每当我从REPL尝试此操作时，它都无法解析命名空间。

有没有办法强制宏来解析clj-time命名空间参数的间隔？这样做的最佳方式是什么？

谢谢！

Answer 1

宏返回一个列表，然后在调用它的命名空间中对其进行评估，而不是在其定义的命名空间中进行评估。这与在定义它们的命名空间中计算的函数不同。这是因为宏返回要运行的代码，而不是仅运行它。

如果我转到另一个名称空间，例如hello.core并将调用扩展到next-date，我得到：

hello.core> (macroexpand-1 '(next-date weeks 2))
(weeks 2)

然后在扩展之后，几周从hello.core解决，其中当然没有定义。为了解决这个问题，我们需要返回的符号来携带名称空间信息。

幸运的是，您可以使用ns-resolve显式解析名称空间中的符号。它需要一个名称空间和一个符号，并尝试在命名空间中找到它，如果找不到则返回nil

(ns-resolve 'clj-time.core (symbol "weeks"))
#'clj-time.core/weeks

接下来你的宏将采用一个符号和一个数字，这样我们就可以免除对symbol

的显式调用

(ns-resolve 'clj-time.core 'weeks)
#'clj-time.core/weeks

所以现在你只需要一个解析函数的函数，然后创建一个已解析函数的列表，后跟数字，

(defmacro next-date [interval freq]
  (list (ns-resolve 'clj-time.core interval) freq))

在上面的宏中它所做的只是进行一个即时调用的函数调用，所以你甚至不需要一个宏：

(defn next-date [interval freq]
  ((ns-resolve 'clj-time.core interval) freq))
(next-date 'weeks 2)
#<Weeks P2W>

非宏版本要求您引用间隔，因为在查找之前不需要对其进行评估。宏在这里真正购买的是不必包含引用，代价是要求所有呼叫者都要求clj-time

当然你也可以在任何地方都需要clj-time，但这不是重点。