JavaScript 绑定(bind)将第二个参数设置为等于第一个参数，而它应该是未定义的？

Question

我最近尝试了解 JavaScript 中的函数组合。我了解柯里化(Currying)是什么以及它是如何工作的，但我看到这段代码，但我无法真正理解它。它是使用 .reduce(...) 进行函数组合。这是代码:

const compose = (...fns) => fns.reduce((f, g) => (...args) => f(g(...args)));

const add5 = x => x + 5;
const add10 = x => x + 10;
const multiply = (x, y) => x * y;

const multiplyAndAdd5 = compose(
  add10,
  add5,
  multiply
);


console.log(multiplyAndAdd5(5, 2));

我不明白的是reduce函数，我尝试将其分解为:

const compose = (...fns) => fns.reduce(
  (f, g) => (...args) => {
    console.log("f: ");
    console.log(f);
    console.log("g: ");
    console.log(g);
    for(let i = 0 ; i < 3 ; i++){
      console.log('');
    }
    return f(g(...args))
  },
);

在控制台中显示:

f: 
(...args) => {
    console.log("f: ");
    console.log(f);
    console.log("g: ");
    console.log(g);
    // console.log("args: ");
    // console.log(...args);
    // console.log(f(g(...args…
g: 
(x, y) => x * y

f: 
x => x + 10
g: 
x => x + 5
15 
25

我不明白的是该函数中的累加器实际上是什么，在reduce函数的第一部分中，f是函数本身，所以，什么f(g(...args)) 在这种情况下吗？

有人知道如何使用 .reduce() 在 javascript 中进行函数组合吗？

Answer 1

reduce可以被认为是在序列中的每对项目之间放置一个运算符。例如。减少[1, 2, 3]使用*会产生1*2*3 (通过执行 ((1)*2)*3) ；以同样的方式，通过函数组合减少会将 [f, g, h] 减少为 f∘g∘h (通过执行 ((f∘g)∘h) ，也写为 (...args) => f(g(h(...args))) 。

当你没有给 reduce 赋予初始值时，它取数组的第一个元素；所以累加器开始为 f 。对元素进行操作g ，它返回一个新函数(...args) => f(g(...args)) (也称为 f∘g )。在您的示例中，初始累加器是 add10 ，元素为add5 ，结果是一个函数 (...args) => add10(add5(...args)) ;我们称之为add10AfterAdd5 .

在下一次迭代中，累加器为 f∘g ，元素为h 。结果是一个新函数(...args) => (f∘g)(h(...args)) ，相当于(...args) => f(g(h(...args))) (也称为 f∘g∘h )。在您的示例中，累加器是 add10AfterAdd5 ，元素为multiply ;结果是(...args) => add10AfterAdd5(multiply(...args)) ，或(...args) => add10(add5(multiply(...args))) ，或add10AfterAdd5AfterMultiply .