如何在生成defmethod的Clojure宏中处理参数解构问题

问题分析 #

你的stable-ctx宏在处理普通参数时正常，但使用map解构时会返回反转的ctx（比如{2 :var}而非预期的{:var 2}），核心原因是宏错误地用解构后的绑定形式重构了ctx，而非直接引用原始的上下文参数。

当你在参数列表中写[_ {var :var}]时，宏原本可能生成了类似{:ctx {var :var}}的代码——这里var是从原始ctx中提取的值（比如2），所以最终会生成{2 :var}这种键值反转的错误map。

解决方案 #

我们需要修改宏，先捕获原始的上下文参数，再对其进行解构操作，确保返回的ctx是原始值而非重构后的结果。可以通过生成一个gensym来保存原始上下文，再在let中执行解构：

(defmacro stable-ctx [mm dispatch-val params body]
  (let [[arg1-binding arg2-binding] params
        ctx-sym (gensym "ctx-")]
    `(defmethod ~mm ~dispatch-val [~arg1-binding ~ctx-sym]
       (let [~arg2-binding ~ctx-sym]
         {:out ~body, :ctx ~ctx-sym}))))

工作原理 #

1. 捕获原始上下文：用gensym生成一个唯一符号ctx-sym，绑定到multimethod的第二个参数（原始上下文）。
2. 执行解构：在let中使用你传入的解构形式（比如{var :var}）对ctx-sym进行解构，这样var就能正确获取到(:var ctx-sym)的值。
3. 返回原始上下文：最终返回的:ctx直接使用ctx-sym，确保是原始的上下文map，而非重构后的错误版本。

测试验证 #

用你的示例调用：

(stable-ctx code "foo3" [_ {var :var}] (str "foo3; ctx.var=" var))

宏会生成如下代码：

(defmethod code "foo3" [_ ctx-1234]
  (let [{var :var} ctx-1234]
    {:out (str "foo3; ctx.var=" var), :ctx ctx-1234}))

执行(code {:cmd "foobar"} {:var 2})时，返回结果为：

{:out "foo3; ctx.var=2", :ctx {:var 2}}

完全符合预期。

扩展说明 #

这个修改同时兼容普通参数形式（比如[cmd ctx]）：宏会生成(let [ctx ctx-5678] ...)，对代码逻辑无影响，仍能正确返回原始上下文。

内容的提问来源于stack exchange，提问作者Spunc