理解函数柯里化
hello 大家好，今天小哆啦带大家学习函数柯里化。
柯里化函数是高阶函数的一种特殊应用。高阶函数是指能够接受一个或多个函数作为参数，并且/或者返回一个新函数的函数。在JavaScript中，函数是第一类对象，这使得高阶函数成为一种常见的编程模式。
高阶函数
1. 接受函数作为参数
高阶函数可以接受一个或多个函数作为参数。这样的函数通常用于执行传入的函数，或者基于传入的函数执行一些逻辑。例如：
1function operateOnArray(array, operation) {
2 return array.map(operation);
3}
4
5const numbers = [1, 2, 3, 4, 5];
6const squared = operateOnArray(numbers, function (num) {
7 return num * num;
8});
9
10console.log(squared); // [1, 4, 9, 16, 25]
11
2. 返回函数（闭包）
高阶函数可以返回一个新的函数。这样的函数通常用于封装、延迟执行或者组合其他函数。例如：
1function multiplyBy(factor) {
2 return function (number) {
3 return number * factor;
4 };
5}
6
7const multiplyBy2 = multiplyBy(2);
8console.log(multiplyBy2(5)); // 10
9
3. 函数组合
高阶函数可以将多个函数组合在一起形成新的函数。这样的函数组合可以提高代码的可读性和复用性。例如：
1function compose(f, g) {
2 return function (x) {
3 return f(g(x));
4 };
5}
6
7function double(x) {
8 return x * 2;
9}
10
11function square(x) {
12 return x * x;
13}
14
15const doubleThenSquare = compose(square, double);
16console.log(doubleThenSquare(3)); // 先翻倍再平方：36
17
4. 回调函数：
高阶函数常常用于处理异步操作，通过回调函数来执行一些逻辑。例如：
1function fetchData(callback) {
2 // 模拟异步操作
3 setTimeout(function () {
4 const data = [1, 2, 3, 4, 5];
5 callback(data);
6 }, 1000);
7}
8
9fetchData(function (result) {
10 console.log(result); // 处理异步获取的数据
11});
12
5. 函数柯里化
柯里化是一种将接受多个参数的函数转化为一系列接受一个参数的函数的技术。这可以通过高阶函数来实现。例如：
1function curry(fn) {
2 return function curried(...args) {
3 if (args.length >= fn.length) {
4 return fn(...args);
5 } else {
6 return function (...moreArgs) {
7 return curried(...args, ...moreArgs);
8 };
9 }
10 };
11}
12
13function add(a, b, c) {
14 return a + b + c;
15}
16
17const curriedAdd = curry(add);
18console.log(curriedAdd(1)(2)(3)); // 6
19
在这里需要说明几个知识点
-
fn.length： 这是 JavaScript 中的一个 内建属性，它返回一个函数所声明的形参的数量。例如，对于function add(a, b, c)，add.length的值是3，因为该函数有三个形参。 -
args.length： 这是一个数组（args）的属性，它表示某个时刻已经传递给柯里化函数的参数数量。例如，在调用curriedAdd(1)(2)(3)时，args.length的值在不同的步骤分别是1、2和3 -
args： 这是一个数组，包含了之前调用柯里化函数时传入的所有参数。每次调用新的柯里化函数时，都会将当前传入的参数追加到args数组中。 -
moreArgs： 这是新调用柯里化函数时传入的参数。每次调用新的柯里化函数时，将新传入的参数追加到moreArgs中
在这个上下文中， fn.length 和 args.length 是用来检查函数所需参数数量的。在函数柯里化的实现中，我们通过比较 args.length 和 fn.length 来判断是否已经传递了足够的参数，以便执行原始函数。
这个挺难理解，下面是一步一步的解释
当调用 curriedAdd(1)(2)(3) 时，整个执行过程可以分为以下几个步骤：
- 调用
curriedAdd(1)：args变成[1]。- 返回一个新函数
(...args) => curried(...args, ...moreArgs)。
- 调用返回的新函数
(...args) => curried(...args, ...moreArgs)，即curriedAdd(1)(2)：args变成[1, 2]。- 返回另一个新函数
(...args) => curried(...args, ...moreArgs)。
- 再次调用返回的新函数
(...args) => curried(...args, ...moreArgs)，即curriedAdd(1)(2)(3)：args变成[1, 2, 3]。- 此时参数数量达到了原始函数
add的参数数量，执行curried(...args)。
- 执行
curried(1, 2, 3)即add(1, 2, 3)：- 返回结果
1 + 2 + 3，即6。
- 返回结果
其实总结来说就是： 判断传入的参数是否达到add函数所需要的参数，如果没有达到就继续存储参数直到达到之后，进行函数调用
说完高阶函数咱们再说说函数柯里化
函数柯里化
什么是柯里化
先给出函数柯里化的定义： 在数学和计算机科学中，柯里化是一种将使用多个参数的一个函数转换成一系列使用一个参数的函数的技术。
有没有一种感觉读完和没读一样哈哈
咱们来看一个案例吧，不看案例还真理解不了
1function sum (a, b, c) {
2 console.log(a + b + c);
3}
4sum(1, 2, 3); // 6
5
这个是一个累加函数，接收三个参数，但是 假设我有这样一种需求就是前两个参数不变，然后最后一个参数可以随意。
很多人，第一想法就是传入前两个不改不就行了。其实这个也能说是一个解决方案，但是代码得优雅，经常一调用就得穿前面那俩个固定的参数是不是很繁琐而且容易出错，出错之后还不好排查，对吧。
再去分析这个需求，咱们先不管函数的具体实现，这个需求的调用写法 sum(1, 2)(3); 这样 sum(1, 2)(10); 。就是，先把前2个参数的运算结果拿到后，再与第3个参数相加。 这个就是函数柯里化的简单应用
我明明可以一步写完就像第一段代码那样，我干嘛还要柯里化那样麻烦。
接下来就为大家解疑：
- 在函数式编程中，我们其实往往希望一个函数处理的问题尽可能的单一，而不是将一大堆的处理过程交给一个函数来处理；
- 那么我们是否就可以将每次传入的参数在单一的函数中进行处理，处理完后在下一个函数中再使用处理后的结果。让函数的职责单一。
- 并且经过柯里化的函数有的地方可以直接进行逻辑复用
柯里化实现
sum(1, 2)(3); 这样的写法，并不常见。拆开来看， sum(1, 2) 返回的应该还是个函数，因为后面还有 (3) 需要执行。其实你会发现 sum(1,2) 其实是不是返回的就是一个函数，然后函数在调用传参才返回的最终结果。
然后反过来，从最后一个参数，从右往左看，它的左侧必然是一个函数。以此类推，如果前面有n个()，那就是有n个函数返回了结果，只是返回的结果，还是一个函数。是不是有点递归的意思？
来咱们一起看看代码
1function curry(fn) {
2 return function curried(...args) {
3 if (args.length >= fn.length) {
4 return fn(...args);
5 } else {
6 return function (...moreArgs) {
7 return curried(...args, ...moreArgs);
8 };
9 }
10 };
11}
12
13function add(a, b, c) {
14 return a + b + c;
15}
16
17const curriedAdd = curry(add);
18console.log(curriedAdd(1)(2)(3)); // 6
19
其实上面在高阶函数的时候我已经详细说过柯里化执行的顺序，接下来咱们对应着这个代码在对应咱们刚刚的分析详细说说
1 return function (...moreArgs) {
2 return curried(...args, ...moreArgs);
3 };
4
咱们看这个地方是不是在参数不满足的时候重新回调 curried 函数呀，这个是不是符合咱们分析的第二点，有点递归的感觉
1if (args.length >= fn.length) {
2 return fn(...args);
3}
4
然后咱们再看他递归跳出的条件 args.length >= fn.length 这个地方是不是参数已经够了对吧然后调用原函数 fn 这样简单的函数柯里化就实现了
柯里化优点
1、单一职责的原则
现在我们修改约束条件为：将第一个参数加上2，第二个参数乘以2，第三个参数平方
如下示例代码展示了，函数柯里化的单一职责原则：
1// 方式一：正常情况下我们会将简单的处理逻辑这样写（代码逻辑很少）
2// 但是如果num1的处理逻辑有20行 ，num2的处理逻辑有20行 ，num3的处理逻辑有20行 ，这样处理起来函数会变得很复杂，之后要修改也不容易去操作
3function sum1 (num1, num2, num3) {
4 num1 = num1 + 2
5 num2 = num2 * 2
6 num3 = num3 * num3
7 return num1 + num2 + num3
8}
9var result1 = sum1(1, 2, 3)
10console.log(result1) // 16
11
12// 方式二：
13// 函数柯里化单一职责原则，每一个函数中都有一个对应的职责,修改起来也很方便
14function sum2 (num1) {
15 num1 = num1 + 2
16 return function (num2) {
17 num2 = num2 * 2
18 return function (num3) {
19 num3 = num3 * num3
20 return num1 + num2 + num3
21 }
22 }
23}
24var result2 = sum2(1)(2)(3)
25console.log(result2) // 16
26
两种方式的输出结果一致,但第二种使用了柯里化实现了单一职责原则
2、逻辑的复用
案例一： 假设在程序中，需要经常把5和一个数值相加的出结果，实现方法示例代码如下：
1// 方式一：
2function sum (x, y) {
3 return x + y
4}
5console.log(sum(5, 1))
6console.log(sum(5, 2))
7
8// 方式二：函数柯里化
9function add (num1) {
10 return function (num2) {
11 return num1 + num2
12 }
13}
14// 使用方法一：
15var result1 = add(5)(10)
16console.log(result1) // 15
17// 使用方法二：直接将add(5)存储在一个变量中，使用的时候只需要传入要与5相加的数字
18var add5 = add(5)
19var result2 = add5(10)
20console.log(result2) // 15
21
适合使用的场景
函数柯里化的适用场景有：
-
参数复用： 当一个函数有多个参数，但在不同的上下文中，部分参数是相同的，柯里化可以方便地复用这些参数。
1// 非柯里化版本 2function add(a, b, c) { 3 return a + b + c; 4} 5 6const result1 = add(1, 2, 3); // 6 7const result2 = add(1, 2, 5); // 8 8 9// 柯里化版本 10function curryAdd(a) { 11 return function (b) { 12 return function (c) { 13 return a + b + c; 14 }; 15 }; 16} 17 18const curryResult1 = curryAdd(1)(2)(3); // 6 19const curryResult2 = curryAdd(1)(2)(5); // 8 20 -
延迟执行： 柯里化可以延迟函数的执行，逐步传递参数，使得函数可以在需要时执行。
1function curryAdd(a) { 2 return function (b) { 3 return function (c) { 4 return a + b + c; 5 }; 6 }; 7} 8 9const addToTwo = curryAdd(2); 10const result = addToTwo(3)(5); // 先传递 3，再传递 5，最后执行，结果为 10 11 -
函数组合： 柯里化允许函数逐步组合，形成更复杂的功能。
1function add(a, b, c) { 2 return a + b + c; 3} 4 5function curry(fn) { 6 return function curried(...args) { 7 if (args.length >= fn.length) { 8 return fn(...args); 9 } else { 10 return function (...moreArgs) { 11 return curried(...args, ...moreArgs); 12 }; 13 } 14 }; 15} 16 17const curriedAdd = curry(add); 18 19const add5 = curriedAdd(5); 20const add5And6 = add5(6); 21const finalResult = add5And6(7); // 5 + 6 + 7 = 18 22
函数柯里化的核心在于： 函数里面返回函数，从而做到参数复用的目的。
此外
函数柯里化在某种程度上与装饰器模式有一些相似之处。
- 参数的逐步传递：
- 在函数柯里化中，函数的参数被逐步传递，每一步都返回一个新的函数，允许更灵活地处理参数。
- 在装饰器模式中，装饰器也可以逐步应用于对象，每一层都可以在不改变原始对象结构的情况下添加新的行为。
- 链式调用：
- 函数柯里化允许通过链式调用一系列的函数，逐步构建完整的功能。
- 装饰器模式也可以通过链式调用多个装饰器，逐步增强对象的功能。
- 动态组合：
- 函数柯里化允许动态地组合函数，通过部分应用参数来创建新的函数。
- 装饰器模式允许动态地组合装饰器，通过将它们应用于对象来创建新的对象。
虽然存在这些相似之处，但也要注意它们的不同：
- 函数柯里化更注重于将函数的参数进行逐步分解和组合，强调函数的纯粹性和不可变性。
- 装饰器模式更注重于在不改变原始对象的结构的情况下，动态地增强对象的功能。
总结
函数的柯里化，是 JavaScript 中函数式编程的一个重要概念。它返回的，是一个函数的函数。其实现方式，需要依赖参数以及递归，通过拆分参数的方式，来调用一个多参数的函数方法，以达到减少代码冗余，增加可读性的目的。