函数柯里化

2018-08-29

什么是柯里化？

在计算机科学中，柯里化（Currying）是把接收多个参数的函数换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的，尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。

简单的理解就是：原本一个函数是被写成可以接受多个参数的形式，现在将其改写成每次接受一个参数（按照之前传参的顺序）的函数形式，这里需要处理的是如何存储每次传参后处理得到的结果以及如何返回一个函数进而能使后一个传进来的参数能继续执行下去。

代码上示意：

1	f(x,y,z) -> f(x)(y)(z)

为什么对函数进行柯里化

固定易变因素（比如this）
可以实现对众多子功能的开关把控

如何对函数进行柯里化

关键点：

易变因素、参数的处理
如果传入的参数也是函数，就变成了高阶函数
函数的返回结果是 return 一个函数形成一个闭包

实现示例

Count

实现一个简单的计数器功能，使用柯里化函数，不过每次传的参数为空的。

var count = (function() {
    var _total = 0;
    var _count = function () {
        if (_total < 20) {
            _total += 1;
            console.log('total:', _total);
            return _count;
        } else {
            console.log('时间已到，计数停止');
            clearInterval(countTimer);
        }
    }
    return _count;
})()

var countTimer = setInterval(count(), 1000);
// 具体执行过程如下形式
// count()()()...;

固定易变因素

柯里化特性决定了它的应用场景。提前把易变因素，传参固定下来，生成一个更明确的应用函数。最典型的代表应用，是 bind 函数用以固定 this 这个易变对象。Bind

Function.prototype.bind = function(context) {
    var _this = this;
    // arguments不是数组，只是类数组对象，使用 Array.prototype.slice可以将具有 length 属性
    // 的对象转换为真正的数组。
    // fun.call(obj，param1...)的用法是将方法fun应用到obj对象上，那么fun的上下文执行环境
    // 就是obj，而后面的参数其实是是根据fun方法来的（可以理解是继承fun方法的参数吧）
    // 这里这样使用是截取类数组对象 arguments 下标从1开始的数据并转换成数组对象
    var _args = Array.prototype.slice.call(arguments, 1);
    return function() {
        // var _innerArgs = Array.prototype.slice.call(arguments);
        // var _finalArgs = args.concat(innerArgs);
        // return _this.apply(context, finalArgs);
        // 上面三行的代码等同于下面这一行代码
        return _this.apply(context, _args.concat(Array.prototype.slice.call(arguments)))
    }
}

function hello(name) {
    console.log('Hello, ' + name);
}
// 延迟三秒后执行函数，直接使用hello('man')不能延迟执行
setTimeout(hello.bind(this, 'man'), 3000);

参考链接