macros - Clojure defmacro 丢失元数据

Question

我正在尝试创建一个小的 Clojure 宏 def s 带有类型提示的字符串:

(defmacro def-string [name value]
  `(def ^String ~name ~value))

(def-string db-host-option "db-host")

当我 macroexpand它，类型提示丢失:

(macroexpand '(def-string db-host-option "db-host"))
;=> (def db-host-option "db-host")

别介意暗示这一点的类型的智慧。

为什么宏会丢失元数据？如何编写此宏或任何包含元数据的宏？

Answer 1

^是一个阅读器宏。 defmacro永远不会看到它。提示放在列表(unquote name) .例如比较 (meta ^String 'x)与 (meta ' ^String x)看看效果。

您需要将提示放在符号上。

(defmacro def-string
  [name value]
  `(def ~(vary-meta name assoc :tag `String) ~value))

以及用法:

user=> (def-string foo "bar")
#'user/foo
user=> (meta #'foo)
{:ns #<Namespace user>, :name foo, :file "NO_SOURCE_PATH", :line 5, :tag java.lang.String}