try and catch 可以在不同的（但嵌套的）宏中吗？

Question

try 在一个宏中，catch 在第二个宏中，由第一个宏调用。如何让以下工作？

(defmacro catch-me []
  `(catch ~'Exception ~'ex
     true))

(defmacro try-me []
  `(try (+ 4 3)
        (catch-me)))

扩展 try-me 看起来不错：

(clojure.walk/macroexpand-all '(try-me))

产量

(try (clojure.core/+ 4 3) (catch Exception ex true))

但调用 (try-me) 会产生：

"Unable to resolve symbol: catch in this context",

顺便说一句，这也是您在未尝试使用 catch 时会在 REPL 中收到的消息。

更新：

这就是我如何让它工作（感谢@Barmar），在这里你可以看到我的代码的实际上下文：

(defmacro try-me [& body]
  `(try
     ~@body
     ~@(for [[e msg] [[com.mongodb.MongoException$Network "Database unreachable."]
                      [com.mongodb.MongoException "Database problem."]
                      [Exception "Unknown error."]]]
         `(catch ~e ~'ex
            (common/site-layout
             [:div {:id "errormessage"}
              [:p ~msg]
              [:p "Error is: " ~e]
              [:p "Message is " ~'ex]])))))

但这正是我所希望的（使用单独的宏 catch-me）：

(defmacro try-me [& body]
  `(try
     ~@body
     (catch-me com.mongodb.MongoException$Network "Database unreachable.")
     (catch-me com.mongodb.MongoException "Database problem.")
     (catch-me Exception "Unknown error.")))

我认为这会更容易编写/维护。

有什么想法吗？我需要语法引用，因为我正在传递参数，这就是为什么不幸的是 Arthur 的答案无法应用（或者可以以某种方式应用？），但我直到现在才发布我的实际上下文。

Answer 1

您收到该错误的原因是try 的语法是：

(try expr* catch-clause* finally-clause?)

这意味着在 catch 和 finally 子句之前可以有任意数量的 expr 形式。 try 扫描exprs，直到找到以catch 或finally 开头的一个。它在扩展任何宏之前执行此操作，因为它只是试图找出 expr 和 catch/finally 子句从哪里开始。它收集所有catch 和finally 子句，并为它们建立适当的错误处理环境。

一旦这样做，它就会正常执行所有expr 表单。所以它扩展了它们的宏，然后执行它们。但是catch 不是函数或特殊形式，它只是try 在前面的步骤中寻找的东西。所以当它正常执行时，你会得到与在 REPL 中键入时相同的错误。

您可能应该做的是编写一个宏，将您的整个代码包装起来，扩展成您想要的try/catch 表达式。如果没有您要完成的工作的示例，很难给出具体的答案。

Answer 2

简短的回答是肯定的，尽管嵌套具有特殊形式的宏可能会导致一些像这样的双引号问题。必须防止符号在两个扩展级别上被评估：

user> (defmacro catch-me []                                   
          '(list 'catch 'Exception 'ex  
                       'true))

user> (defmacro try-me []
    `(try (+ 4 3)              
                  ~(catch-me)))
#'user/try-me

user> (try-me)
7

并查看它是否也捕获了异常：

user> (defmacro try-me []
    `(try (/ 4 0)
              ~(catch-me)))
#'user/try-me
user> (try-me)
true