宏工作不正常

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

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

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单元格。