使用transduce替代reduce时，为何-运算结果反转且与+结果一致？

你遇到的核心问题是对transduce中reducer函数的语义理解偏差，以及非交换性运算（如-、/）在transduce中的行为逻辑。

1. reduce的执行逻辑 #

你的原代码：

(reduce - 0.0 (map :a data))

执行过程是：

• 初始累积值acc = 0.0
• 依次处理每个元素x：acc = (- acc x)
• 最终结果：0.0 - 1 - 10 - 100 = -111.0

2. transduce的执行逻辑 #

transduce的本质是将transducer（这里是(map :a)）与reducer函数（这里是-）组合，用组合后的reducer遍历集合，避免创建中间序列。

正常情况下，(transduce (map :a) - 0.0 data)的执行逻辑和reduce完全一致：

• 组合后的reducer是(fn [acc x] (- acc (:a x)))
• 初始acc=0.0，依次计算得到-1.0 → -11.0 → -111.0

你得到正数结果，大概率是误解了transduce的reducer参数顺序，或是代码存在笔误。

3. 非交换性运算的注意事项 #

对于-、/这类非交换性运算，参数顺序直接影响结果：

• 若reducer是(acc x) → (- acc x)：结果和reduce一致，为-111.0
• 若reducer被错误写成(x acc) → (- x acc)：执行过程是1-0.0=1 → 10-1=9 → 100-9=91，结果为91.0（这是参数顺序颠倒后的典型错误）

你提到“无论用+还是-都得到111.0”，说明代码中-被错误当作加法运算，可能是笔误或测试时的混淆。

4. 正确的transducer写法 #

要实现与原reduce代码完全一致的逻辑，正确写法就是你最初的代码：

(transduce (map :a) - 0.0 data)

若结果仍不符合预期，建议检查：

• 代码是否存在笔误，比如reducer函数是否被错误修改
• 是否在其他地方重定义了-函数
• 运行环境的Clojure版本是否存在已知bug（Clojure 1.7及以上版本的transduce行为稳定）

关于*和/的异常行为 #

• 对于*：乘法是交换性运算，transduce和reduce结果一致，都是1*10*100=1000.0
• 对于/：非交换性运算，(reduce / 1.0 (map :a data))结果为((1.0/1)/10)/100=0.001，(transduce (map :a) / 1.0 data)结果也应一致，若异常同样是参数顺序问题。

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