手写柯里化 - toString 理解

掘金安东尼

发布于 2022-09-19 10:43:40

2870

发布于 2022-09-19 10:43:40

文章被收录于专栏：掘金安东尼

theme: juejin

持续创作，加速成长！这是我参与「掘金日新计划 · 6 月更文挑战」的第7天，点击查看活动详情

在前面一篇文章《**为什么我要说：柯里化 == 闭包+递归？** 》中，我们提到：

柯里化可以通过闭包+递归实现

let arr = []
function addCurry() {
   let arg = Array.prototype.slice.call(arguments); // 收集参数
   arr = arr.concat(arg);
    if (arg.length === 0) { // 如果参数为空，则判断递归结束
        return arr.reduce((a,b)=>{return a+b}) // 求和
    } else {
        return addCurry;
    }
}

addCurry(1)(2)(3)() // 6

这样写，没什么毛病，通过：Array.prototype.slice.call(arguments) 收集了参数，推到 arr 数组里；当存在参数时，递归调用，当没有参数的时候，再用 reduce() 求和，返回；

但是这样写，会有外部变量 arr，arr 不清理的话，会被一直保存，导致连续调用出错：

addCurry(1)(2)(3)() // 6
addCurry(1)() // 7

所以，需要改写成这样：

function addCurry() {
    let arr = [...arguments]
    let fn = function () {
        if(arguments.length === 0) {
        return arr.reduce((a, b) => a + b)
        } else {
            arr.push(...arguments)
            return fn
        }
    }
    return fn
}

把 arr 再加一层封装到函数里，每次调用，都会重新声明，原值会被清理；

之前相加的思路仍然不变；

但这样做，还有一个问题：总是需要用空括号 () 为结尾，来判断结束调用；

能不能去掉这个，直接如下这样就能求值：

addCurry(1)(2)(3)

//或

addCurry(1)(2,3)

答案是可以的，原理是用到 toString ，当用 Function 的值做计算的时候，会调用 toString 做隐式转换；

let fn = function(){}

fn.toString = () => 1

fn == 1 // true

所以，我们的代码更新为：

function addCurry() {

    let arr = [...arguments]

    // 利用闭包的特性收集所有参数值
    var fn = function() {
        arr.push(...arguments);
        return fn;
    };

    // 利用 toString 隐式转换
    fn.toString = function () {
        return arr.reduce(function (a, b) {
            return a + b;
        });
    }
    return fn;
}

addCurry(1)(2)(3) == 6 // true

这里一定要注意，直接打印 addCurry(1)(2)(3) 是不能拿值的，只有当它做隐式转化的时候，才能计算得正确得值。

小结：

其实不管是用空括号 () 作“开始执行reduce相加”的判断依据，还是用 toString 的隐式转换做依据，总是要有一个标准，来告诉柯里化函数：你可以执行了！

柯里化精髓是参数收集，是延迟执行！

延迟就是 JS 函数闭包的精髓设计！！