Clojure多arity函数使用recur报错：参数数量不匹配问题咨询

这个报错的核心原因是Clojure中recur的绑定规则和惰性序列的上下文冲突，咱们一步步拆解：

为什么原代码用tri*递归没问题？ #

你最初的代码：

(defn tri* ([] (tri* 0 1)) ([sum n] (let [new-sum (+ sum n)] (cons new-sum (lazy-seq (tri* new-sum (+ n 1)))))))

这里直接调用tri* new-sum (+n 1)是明确指定调用2参数的函数分支，编译器能清晰找到递归目标，所以正常工作。

换成recur为什么报错？ #

当你把tri*换成recur后：

(defn tri* ([] (tri* 0 1)) ([sum n] (let [new-sum (+ sum n)] (cons new-sum (lazy-seq (recur new-sum (+ n 1)))))))

问题出在两点：

1. recur必须绑定到当前最内层的函数入口，且需要在尾位置：recur是特殊形式，它不能嵌套在lazy-seq这类宏生成的闭包上下文里——lazy-seq会把内部代码延迟到后续调用时执行，此时recur无法正确关联到2参数的tri*分支。
2. 编译器错误解析了递归目标：因为无法找到正确的绑定，它默认尝试匹配0参数的tri*分支，而你传入了2个参数，自然就报“参数数量不匹配”的错误。

解决方法 #

有两种靠谱的方式修复：

方式1：继续使用函数名递归（最简单） #

既然原代码用tri*递归完全正常，而且惰性序列本身不会导致栈溢出（因为元素是按需生成的），完全可以保留这种写法——这也是Clojure中生成惰性序列的常规做法。

方式2：拆分内部递归函数（如果非要用recur） #

把递归逻辑封装到一个固定参数的内部函数里，这样recur就能正确绑定到内部函数的参数列表：

(defn tri*
  []
  (letfn [(tri-inner [sum n]
            (let [new-sum (+ sum n)]
              (cons new-sum (lazy-seq (recur new-sum (inc n))))))]
    (tri-inner 0 1)))

这里tri-inner是固定接收2个参数的函数，recur在它的上下文中能准确匹配参数数量，不会再出现报错。

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