JavaScript柯里化

7 Jul

Currying柯里化是函数式语言都有的一个特性,如Perl,Python,JavaScript。本篇就借用一下JavaScript,介绍一下柯里化的思想及应用。

假设函数库里提供这样一个拼接URL地址的函数:

function simpleURL(protocol, domain, path) {
    return protocol + "://" + domain + "/" + path;
}
simpleURL('http','www.jackzxl.net', 'index.html');    	//http://www.jackzxl.net/index.html

这是个最普通的函数毫无新意。但对于你的站点来说,第一个参数固定为http,第二个参数固定为www.jackzxl.net,唯一需要改变的是第三个参数。即你的站点中的任何页面或资源,前两个参数永远固定,只需要改变第三个参数。

显然你不想每次调用时都手动敲一下前两个参数,麻烦不说,还容易出错。怎么办呢?你会想直接将库函数改成单参不就行了?

function simpleURL(path) {
    return "http://www.jackzxl.net/" + path;
}

这样改有两个问题,首先如果该库函数还需要被其他人或其他地方使用,直接改库函数这条路是绝对行不通的。其次就算你对函数有绝对的控制权,这样改显得也非常的不灵活,如果哪天你的站点要加上SSL呢?总不能把第一个参数再放回去吧。因此你正确的选择是柯里化。

所谓柯里化就是:将函数与其参数的一个子集绑定起来后返回个新函数。如果感觉比较抽象,可以做一些类比,比如C++模板里的偏特化,这样理解起来能容易点。将上例柯里化一下:

var myURL = simpleURL.bind(null, 'http', 'www.jackzxl.net');
myURL('myfile.js'); 	//http://www.jackzxl.net/myfile.js

//站点加上SSL
var mySslURL = simpleURL.bind(null, 'https', 'www.jackzxl.net');
mySslURL('myfile.js');	//https://www.jackzxl.net/myfile.js

上述代码用bind来实现柯里化。再回过头体会一下柯里化定义:将函数与其参数的一个子集绑定起来后返回个新函数。柯里化后发现函数变得更灵活,更流畅,是一种简洁的实现函数委托的方式

为何用bind来实现柯里化呢?因为简单嘛,有现成的就不必自己造轮子了。但因为本篇介绍的是柯里化,所以我们自己实现一下柯里化,来加深理解。它需要满足两点:参数子集,返回新函数:

var currying = function(fn) {
    var args = [].slice.call(arguments, 1);
    return function() {
        var newArgs = args.concat([].slice.call(arguments));
        return fn.apply(null, newArgs);
    };
};

var myURL2 = currying(simpleURL, 'https', 'www.jackzxl.net');
myURL2('myfile.js');	//http://www.jackzxl.net/myfile.js

效果和用bind是一样的,我们仔细分析一下自定义的currying函数,首先参数fn是需要柯里化的simpleURL函数,后面均为可变参数(函数的arguments可参考这里),currying里每行代码的执行结果如下:

var currying = function(fn) {
    var args = [].slice.call(arguments, 1);
    //args为["https", "www.jackzxl.net"]

    return function() {
        var newArgs = args.concat([].slice.call(arguments));
        //newArgs为["https", "www.jackzxl.net", "myFile.js"]

        return fn.apply(null, newArgs);
        //相当于return simpleURL("https", "www.jackzxl.net", "myFile.js");
    };
};

上面已经说明了柯里化的原理和实现。那究竟柯里化有什么作用呢?常见的作用是:

  • 参数复用
  • 延迟运行
  • 扁平化

参数复用上面例子已经展示了,不赘述。

延迟运行其实非常直观,因为不是返回运算结果,而是返回新函数,当然是延迟运行啦。例如bind就是延迟执行的代表,不赘述

扁平化的函数更加易读。例如你要从站点的JSON数据里获取所有文章的title:

//JSON数据
{
    "user": "Jack",
    "posts": [
        { "title": "JavaScript Curry", "contents": "..." },
        { "title": " JavaScript Function", "contents": "..." }
    ]
}

//从JSON数据中获取所有文章的title
fetchFromServer()
    .then(JSON.parse)
    .then(function(data){ return data.posts })
    .then(function(posts){
        return posts.map(function(post){ return post.title })
    })

当然你可能写出更优雅的代码…但这不是重点。重点是用柯里化将代码更加易读易维护:

var curry = require('curry');
var get = curry(function(property, object){ return object[property] });

fetchFromServer()
    .then(JSON.parse)
    .then(get('posts'))
    .then(map(get('title')))

提前返回?

最后网上还有个作用是提前返回,例如IE的事件和其他浏览器不同,为实现兼容性,可以这样实现:

function addHandler(target, eventType, handler){
    if (target.addEventListener){
        target.addEventListener(eventType, handler, false);
    } else {		//IE
        target.attachEvent("on" + eventType, handler);
    }
}

但上面这样有个问题,每次调用addHandler函数都要进行一次if…else的判断。常识告诉我们,除非用户在执行过程中更换浏览器(如果能现实的话),否则只需要在用户第一次连接站点时判定一次即可,之后的调用不必再次检查了。

用柯里化返回新函数的特性可以实现:

var addEvent = (function(){
    if (target.addEventListener) {
        return function(target, eventType, handler) {
            target.addEventListener(eventType, handler, false);
        };
    } else {		//IE
        return function(target, eventType, handler) {
            target.attachEvent("on" + eventType, handler);
        };
    }
})();	

但在我看来,这里用柯里化意义不大。因为柯里化虽然优点很多,缺点同样明显,就是学习成本有点高。用柯里化实现“提前返回”,维护的成本大于收益。

不用柯里化怎么实现呢?一个三元运算符就搞定了:

var addHandler = document.body.addEventListener ?
    function(target, eventType, handler){
        target.addEventListener(eventType, handler, false);
    } :
    function(target, eventType, handler){
        target.attachEvent("on" + eventType, handler);
    };

或者函数内部重写该函数也行:

function addHandler(target, eventType, handler){
    if (target.addEventListener){
        addHandler = function(target, eventType, handler){	//重写该函数
            target.addEventListener(eventType, handler, false);
        };
    } else { 		//IE
        addHandler = function(target, eventType, handler){	//重写该函数
            target.attachEvent("on" + eventType, handler);
        };
    }
    addHandler(target, eventType, handler);	//调用新函数
}

两种方法都非常直观,简单明了,不要为了用柯里化而用柯里化。

总结

柯里化虽然有一个神秘的名字,但其实说穿了并不神秘。在前端它的应用场并不多(当然也可能我经验比较浅),更多的应该是用在后端异步函数里,如Node.js,对于异步API用柯里化可以减少回调嵌套。

Leave a Reply

Your email address will not be published. Required fields are marked *