js函数的柯里化

175 阅读3分钟

柯里化是函数的一个比较高级的应用,想要理解它并不简单。因此我一直在思考应该如何更加表达才能让大家理解起来更加容易。

接收函数作为参数的函数,都可以叫做高阶函数。我们常常利用高阶函数来封装一些公共的逻辑。

这一章我们要学习的柯里化,其实就是高阶函数的一种特殊用法。

函数柯里化(function currying)又称部分求值。一个currying的函数首先会接受一些参数,接受了这些参数后,该函数并不会立即求值,而是继续返回另外一个函数,刚才传入的参数在函数形成的闭包里被保存起来。待到函数真正需要求值的时候,之前传入的参数都会被一次性用于求值

假设我们要编写一个计算每月开销的函数。在每天结束之前,我们都要记录今天花了多少钱,代码如下:

var monthlyCost = 0;

var cost = function(money){
    monthlyCost += money;
};

cost(100);//第一天开销
cost(200);//第二天开销
cost(300);//第三天开销
//cost(700);//第三十天开销

alert(monthlyCost);//输出:600

段代码在每天结束后都会记录并计算到今天为止花了多少钱,但我们不太关心每天花掉多少,只想知道月底总共花掉了多少,也就是说,只需要在月底计算一次。

如果在每个月的前二十九天,我们都只是保存好当天的开销,直到第30天才进行求值计算,这就达到了我们的目的。下面的代码还不是一个currying函数的完整实现,但有助于我们了解其思想

var cost = (function(){
    var args = [];
    
    return function(){
        if(arguments.length === 0){
            var money = 0;
            for(var i = 0, l = args.length; i < l; i++){
                money += args[i];
            }
            return money;
        }else{
            [].push.apply(args, arguments);
        }
    }
}());

cost(100);//未真正求值
cost(200);//未真正求值
cost(300);//未真正求值

console.log(cost());//求值并输出:600

接下来编写一个通用的function currying(){},它接受一个参数,即将要被currying的函数。在这个例子里,这个函数的作用是遍历本月每天的开销并求出它们的总和。代码如下:

var currying = function(fn){
    var args = [];
    
    return function(){
        if(arguments.length === 0){
            return fn.apply(this, args);
        }else{
            [].push.apply(args, arguments);
            return arguments.callee;
        }
    }
};
var cost = (function(){
    var money = 0;
    
    return function(){
        for(var i = 0, l = arguments.length; i < l; i++){
            money += arguments[i];
        }
        return money;
    }
}());


var cost = currying(cost);//转化为currying函数

cost(100);//未真正求值
cost(200);//未真正求值
cost(300);//未真正求值

console.log(cost());//求值并输出:600    

至此,我们完成了一个currying函数的编写,当调用cost()时,如果明确带上参数,表明此时并不进行真正的求值计算,而是把这些参数保存起来,此时让cost()函数返回另外一个函数。只有当我们以不带参数的形式执行cost()时,才利用前面保存的所有参数,真正开始求值计算。