浅谈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);
}
};
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持毛票票。