前端开发者进阶之函数反柯里化unCurrying

时间：2024-08-21 13:33:20

函数柯里化，是固定部分参数，返回一个接受剩余参数的函数，也称为部分计算函数，目的是为了缩小适用范围，创建一个针对性更强的函数。

那么反柯里化函数，从字面讲，意义和用法跟函数柯里化相比正好相反，扩大适用范围，创建一个应用范围更广的函数。使本来只有特定对象才适用的方法，扩展到更多的对象。

看一下通用函数：

Function.prototype.currying = function() {

    var that = this;

    return function() {

        return Function.prototype.call.apply(that, arguments);

    }

}

短小精悍，科学上讲，浓缩的都是精品，但越精品的往往越难以理解。分解一下：

1 为Function原型添加unCurrying方法，这样所有的function都可以被借用；

2 返回一个借用其它方法的函数，这是目的；

3 借用call方法实现，但call方法参数传入呢？借用apply，至此完毕。

回头看看，好像也不难！

还有其它的实现方式：

Function.prototype.unCurrying = function () {

    var f = this;

    return function () {

        var a = arguments;

        return f.apply(a[0], [].slice.call(a, 1));

    };

};
Function.prototype.unCurrying = function () {

    return this.call.bind(this);

};

原理都相同，最终是把this.method转化成 method(this,arg1,arg2....)以实现方法借用和this的泛化。

鸭式辩型：如果一个对象可以像鸭子一样走路,游泳,并且嘎嘎叫,就认为这个对象是鸭子,哪怕它并不是从鸭子对象继承过来的。

在javascript里面，很多函数都不做对象的类型检测，而是只关心这些对象能做什么。

Array构造器和String构造器的prototype上的方法就被特意设计成了鸭子类型。这些方法不对this的数据类型做任何校验。这也就是为什么arguments能冒充array调用push方法.
看下v8引擎里面Array.prototype.push的代码：
function ArrayPush() {

    var n = TO_UINT32(this.length);

    var m = %_ArgumentsLength();

    for (var i = 0; i < m; i++) {

        this[i + n] = %_Arguments(i); //属性拷贝

        this.length = n + m; //修正length

        return this.length;

    }

}

这就给对象冒充创造了条件，也就我们讨论的函数柯反里化unCurrying。反柯里化其实反映的是一种思想，扩大方法的适用范围！

看下面例了，让一个普通对象具备push方法：

var push = Array.prototype.push.unCurrying(),

obj = {};

push(obj, 'first', 'two');

console.log(obj);

/*obj {

    0 : "first",

    1 : "two"

}*/

obj被push了两个元素：first 和two，同时还具备了一个length属性，其实我们创建了一类数组对象。

再看一个例子：

var toUpperCase = String.prototype.toUpperCase.unCurrying();

console.log(toUpperCase('avd')); // AVD

function AryUpper(ary) {

    return ary.map(toUpperCase);

}

console.log(AryUpper(['a', 'b', 'c'])); // ["A", "B", "C"]

只是方法都可以借用。包括call方法。

var call = Function.prototype.call.unCurrying();

function $(id) {

    return this.getElementById(id);

}

var demo = call($, document, 'demo');

console.log(demo);

这似乎看起来相对于前两个例子，比较难理解，其实一句话就可以解释：document借用了$方法，并替换了其中的this。

在函数柯里化例子中bind的例子中，柯里化的目的是为了固定可变参数this。而反柯里化，把原来拥有方法的this泛化了，泛化到所有对象都可以借用，也就是替代当前拥有方法的this。

这里，希望不要混淆，这里的this并不是指上例中的this,上例中的this只是因为借用的方法是call。

更有趣的是，unCurrying本身也是方法，它是否可以被借用呢？答案是肯定的。这就是js的奇妙之处，反柯里化的奇妙之处。

看下面：

var unCurrying = Function.prototype.unCurrying.unCurrying();

var map = unCurrying(Array.prototype.map);

var sq = map([1, 2, 3],

function(n) {

    return n * n;

});

console.log(sq); // [1,4,9]

无论是柯里化还是反柯里化，其实反应的都是一种设计思想。这一节先到这里。

相关文章