浅谈JS中的反柯里化( uncurrying)
反柯里化
相反,反柯里化的作用在与扩大函数的适用性,使本来作为特定对象所拥有的功能的函数可以被任意对象所用.
即把如下给定的函数签名,
obj.func(arg1,arg2)
转化成一个函数形式,签名如下:
func(obj,arg1,arg2)
这就是反柯里化的形式化描述。
例如,下面的一个简单实现:
Function.prototype.uncurrying=function(){ varthat=this; returnfunction(){ returnFunction.prototype.call.apply(that,arguments); } }; functionsayHi(){ return"Hello"+this.value+""+[].slice.call(arguments); } varsayHiuncurrying=sayHi.uncurrying(); console.log(sayHiuncurrying({value:'world'},"hahaha"));
解释:
- uncurrying是定义在Function的prototype上的方法,因此对所有的函数都可以使用此方法。调用时候:sayHiuncurrying=sayHi.uncurrying(),所以uncurrying中的this指向的是sayHi函数;(一般原型方法中的this不是指向原型对象prototype,而是指向调用对象,在这里调用对象是另一个函数,在javascript中函数也是对象)
- call.apply(that,arguments)把that设置为call方法的上下文,然后将arguments传给call方法,前文的例子,that实际指向sayHi,所以调用sayHiuncurrying(arg1,arg2,...)相当于sayHi.call(arg1,arg2,...);
- sayHi.call(arg1,arg2,...),call函数把arg1当做sayHi的上下文,然后把arg2,...等剩下的参数传给sayHi,因此最后相当于arg1.sayHi(arg2,...);
- 因此,这相当于sayHiuncurrying(obj,args)等于obj.sayHi(args)。
最后,我们反过来看,其实反柯里化相当于把原来sayHi(args)的形式,转换成了sayHiuncurrying(obj,args),使得sayHi的使用范围泛化了。更抽象地表达,uncurryinging反柯里化,使得原来x.y(z)调用,可以转成y(x',z)形式的调用。假设x'为x或者其他对象,这就扩大了函数的使用范围。
通用反柯里化函数
上面例子中把uncurrying写进了prototype,这不太好,我们其实可以把uncurrying单独封装成一个函数;
varuncurrying=function(fn){ returnfunction(){ varargs=[].slice.call(arguments,1); returnfn.apply(arguments[0],args); } };
上面这个函数很清晰直接。
使用时调用uncurrying并传入一个现有函数fn,反柯里化函数会返回一个新函数,该新函数接受的第一个实参将绑定为fn中this的上下文,其他参数将传递给fn作为参数。
所以,对反柯里化更通俗的解释可以是函数的借用,是函数能够接受处理其他对象,通过借用泛化、扩大了函数的使用范围。
所以uncurrying更常见的用法是对Javascript内置的其他方法的借调而不用自己都去实现一遍。
文字描述比较绕,还是继续看代码:
vartest="a,b,c"; console.log(test.split(",")); varsplit=uncurrying(String.prototype.split);//['a','b','c'] console.log(split(test,','));//['a','b','c']
split=uncurrying(String.prototype.split)给uncurrying传入一个具体的fn,即String.prototype.split,split函数就具有了String.prototype.split的功能,函数调用split(test,',')时,传入的第一个参数为split执行的上下文,剩下的参数相当于传给原String.prototype.split函数。
再看一个例子:
var$={}; console.log($.push);//undefined varpushUncurrying=uncurrying(Array.prototype.push); $.push=function(obj){ pushUncurrying(this,obj); }; $.push('first'); console.log($.length);//1 console.log($[0]);//first console.log($.hasOwnProperty('length'));//true
这里模仿了一个“类似jquery库”实现时借用Array的push方法。我们知道对象是没有push方法的,所以console.log(obj.push)返回undefined,可以借用Array来处理push,由原生的数组方法(js引擎)来维护伪数组对象的length属性和数组成员。
同样的道理,我们还可以继续有:
varindexof=uncurrying(Array.prototype.indexOf); $.indexOf=function(obj){ returnindexof(this,obj); }; $.push("second"); console.log($.indexOf('first'));//0 console.log($.indexOf('second'));//1 console.log($.indexOf('third'));//-1
例如我们在实现自己的类库时,有些方法如果有些方法和原生的类似,那么可以通过uncurrying借用原生方法。
我们还可以把Function.prototype.call/apply方法uncurring,例如:
varcall=uncurrying(Function.prototype.call); varfn=function(str){ console.log(this.value+str); }; varobj={value:"Foo"}; call(fn,obj,"Bar!");//FooBar!
这样可以非常灵活地把函数也当做一个普通“数据”来使用,有函数式编程的赶脚,在一些类库中经常能看到这样的用法。
通用uncurrying函数的进击
上面的uncurrying函数是比较符合思维习惯容易理解的版本,接下来一路进击,看几个其他版本:
首先,如果B格高一点,uncurrying也可能写成这样:
varuncurrying=function(fn){ returnfunction(){ varcontext=[].shift.call(arguments); returnfn.apply(context,arguments); } };
当然如果还需要再提升B格,那么还可以是这样:
varuncurrying=function(fn){ returnfunction(){ returnFunction.prototype.call.apply(fn,arguments); } };
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持毛票票。