宏不正常工作

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?（仅适用于列表集合）更广泛的东西，也许可以使用像 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

原因在于第一个是因为 `cons` 返回的类型是 `clojure.lang.Cons` 类型。

---

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