宏无法正确工作

Question

;;gets a list like (1 + (1 + 2))
;;returns (+ 1 (+ 1 2))
(defmacro infix [expression]
  (letfn [(helper [expression]
               (cond (not (list? expression)) expression
                     (= (count expression) 0) '()
                     (= (count expression) 1)  (recur (first expression))
                     (not (function? (first expression))) (let [a (first expression)
                                                                op (second expression)
                                                                b (nth expression 2)]
                                                                  (recur (cons (list op a b)
                                                                               (drop 3 expression))))
                    :else expression))]
  (helper expression)))

(macroexpand '(infix (1 + 1 * 2 * 4))) ;; => ((+ 1 1) * 2 * 4)
(macroexpand '(infix (((1))))) ;; => 1

第二次 recur 似乎不起作用（在 (not (function? ....)）。代码哪里出错了？

Answer 1

我认为这里可能存在多个与谓词相关的问题。对于第一个条件，我认为你将需要使用比 list?（它仅适用于列表集合）更广泛的东西，而可能使用包括 seqs 的 sequential? 这样的东西。我不确定 function? 是什么，但在你的情况下，那些将是符号，所以 symbol? 应该起作用。我怀疑这是你当前的问题，因为那是你没有看到的部分。你可能会在 cond 中添加一个 :else 情况分支，以便在它不匹配时告诉你。

Comments

谢谢。函数 sequential? 解决了问题，但为什么普通列表检查没有工作？
经过调试后我发现，表达式 (list? '((+ 1 1) * 2 * 4)) 以某种方式返回了 false。

---

关于 `list?` 的文档说明：如果 x 实现了 IPersistentList 则返回 true。

您确信确切的表达式返回了 false，还是您只是为了说明而已？`list?` 的结果取决于该形式是如何构建的。例如

(list? (cons '(+ 1 1) '(* 2 * 4))) => false
(list? (list '(+ 1 1) * 2 * 4)) => true

第一个表达式之所以返回 false，是因为 `cons` 返回的类型是 `clojure.lang.Cons` 类型。

---

您是对的，谢谢！我忘记 Clojure 没有 cons 单元。