[轉]js函式式變成之函式柯里化

本文轉自：https://segmentfault.com/a/1190000003733107

函式柯里化是指引數逐漸求值的過程。

我覺得它是：降低通用性，提高專用性。

通常，柯里化是這樣的過程，“如果你固定某些引數，你將得到接受餘下引數的一個函式”。所以對於有兩個變數的函式y^x，如果固定了 y=2，則得到有一個變數的函式 2^x

通用實現

全選複製放進筆記

function currying(fn) {
  var slice = Array.prototype.slice;
    var args = alice.call(arguments, 1);
    return function() {
    var innerArgs = slice.call(arguments);
    var finalArgs = args.concat(innerArgs);
    return fn.apply(null, finalArgs);
  }
}

先看一個簡單的例子

全選複製放進筆記

function add(num1, num2) {
    return num1 + num2;
}
function curryAdd(num) {
    return num + 5;
}
add(2, 4); // 6
curryAdd(1); // 6

curryAdd 顯然不是一個柯里化的實現。但是它很好的詮釋了柯里化的思想。add 函式有兩個引數，curryAdd 固定了其中一個引數

用上面 currying 函式構造 curryAdd 函式。

全選複製放進筆記

var curryAdd5 = currying(add, 5);
var curryAdd4 = currying(add, 4);
curryAdd5(1); // 6
curryAdd4(1); // 5

再看一個經典的 ajax 例子。

全選複製放進筆記

function Ajax() {
    this.xhr = new XMLHttpRequest();
}
Ajax.prototype.open = function(type, url, data, callback) {
    this.onload = function() {
    callback(this.xhr.responseText, this.xhr.status, thix.xhr);
  }
  this.xhr.open(type, url, data.async);
  this.xhr.send(data.paras);
}
['get', 'post'].forEach(function(type) {
    Ajax.prototype[type] = currying(Ajax.prototype.open, type);
})
var xhr = new Ajax();
xhr.get('/articles/list', {}, function(datas) {});
xhr.post('/articles/add', {}, function(datas) {});

get post 兩個方法是通過 'open' 方法衍生出來的。

從一個通用的 open 函式（可接受任意type），柯里化成專用的函式 get、post。

固定易變因數

提前把易變因數固定下來，生成一個更明確的應用函式，最典型的程式碼就是 ES5 定義的 Function.prototype.bing 函式

全選複製放進筆記

Function.prototype.bing = function(context) {
    var _this = this,
        slice = Array.prototype.slice,
        _args = slice.call(arguments, 1);
    return function() {
        return _this.apply(context, _args.concat(slice.call(arguments)))
    }
}

延遲執行

不斷的柯里化，累積傳入的引數，最後執行。

全選複製放進筆記

function add() {
  var sum = 0, i, len;
    for (i = 0, len = arguments.length; i < len; i++) {
    sum += arguments[i];
  }
  return sum;
}
var currying = function(fn) {
    var _args = [];
    return function cb() {
        if (arguments.length === 0) {
            return fn.apply(this, _args);
        }
        Array.prototype.push.apply(_args, arguments);
        return cb;
    }
}
var curryingAdd = currying(add);
curryingAdd(1)(2)(3)(4)(); // 10
var add321 = curryingAdd(3)(2, 1);
add321(4)(); // 10

效能

柯里化肯定會有一些開銷（函式巢狀，比普通函式佔更多記憶體），但效能瓶頸首先來自其它原因（DOM 操作等）。

從另外一個角度分析，不管你用不用柯里化這個思維，你的程式碼很可能已經步入了更復雜的模式，會有更大的開銷。

有關效能的一些事：

存取 arguments 物件通常要比存取命名引數要慢一些。
一些老版本的瀏覽器在 arguments.length 的實現上相當慢。
使用 fn.apply() 和 fn.call() 要比直接呼叫 fn() 要慢點。
建立大量巢狀作用域和閉包會帶來開銷，無論是內容還是速度上。
大多數瓶頸來自 DOM 操作

總結

柯里化是以邏輯學家哈斯凱爾·加里命名的，

正如它的命名一樣，函式柯里化給我們帶來的是：解決問題的一種邏輯思維方式。

[轉]js函式式變成之函式柯里化