映射Transducer的结果为何包含元数大于2的情况？

嘿，我来帮你拆解这段Clojure核心库中map transducer的源码，尤其是你标了why?的那个多参数分支～

先把完整的transducer实现代码贴出来，方便对照：

([f]
  (fn [rf]
    (fn
      ([] (rf))
      ([result] (rf result))
      ([result input] (rf result (f input)))
      ([result input & inputs] ; why?
        (rf result (apply f input inputs))))))

咱们逐段看，重点解答你疑惑的部分：

• 无参分支 ([] (rf))：处理transducer的初始化逻辑，直接转发给下游的reducing function（简称rf）的初始化调用，保证整个transducer链的初始化一致性。
• 单参分支 ([result] (rf result))：处理transducer的收尾逻辑，同样转发给下游rf的收尾操作，比如最终的结果聚合。
• 双参分支 ([result input] (rf result (f input)))：这是最常用的单输入场景——把单个输入值传给映射函数f处理，再把处理后的结果交给下游rf。
• 多参分支 ([result input & inputs])：这就是你问的核心啦！
  这个分支是为了支持多输入序列的transduce操作。举个实际例子：当你用(transduce (map vector) conj [] [1 2 3] [4 5 6])时，transducer会同时从两个输入序列里各取一个元素，此时input是第一个序列的元素（比如1），inputs是剩下序列的元素组成的列表（比如(4)）。通过(apply f input inputs)，我们就能把这些多输入参数传给映射函数f（这里是vector），得到[1 4]，再交给下游的conj来聚合结果。
  简单说，这个分支让map transducer能适配那些需要同时处理多个输入参数的映射函数，以及支持多输入序列的transduce场景，让transducer的能力更灵活。

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