首頁  >  文章  >  web前端  >  深入剖析JavaScript中的函數currying柯里化_javascript技巧

深入剖析JavaScript中的函數currying柯里化_javascript技巧

WBOY
WBOY原創
2016-05-16 15:02:551322瀏覽

curry化來源與數學家 Haskell Curry的名字 (程式語言 Haskell也是以他的名字命名)。
 
柯里化通常也稱部分求值,其意義是給函數分步傳遞參數,每次傳遞參數後部分應用參數,並返回一個更具體的函數接受剩下的參數,這中間可嵌套多層這樣的接受部分參數函數,直到返回最後結果。

因此柯里化的過程是逐步傳參,逐步縮小函數的適用範圍,逐步求解的過程。 

柯里化一個求和函數
按照逐步求值,我們來看一個簡單的例子

var concat3Words = function (a, b, c) { 
  return a+b+c; 
}; 
 
var concat3WordsCurrying = function(a) { 
  return function (b) { 
    return function (c) { 
      return a+b+c; 
    }; 
  }; 
}; 
console.log(concat3Words("foo ","bar ","baza"));      // foo bar baza 
console.log(concat3WordsCurrying("foo "));         // [Function] 
console.log(concat3WordsCurrying("foo ")("bar ")("baza")); // foo bar baza 

可以看到, concat3WordsCurrying("foo ") 是一個Function,每次調用都返回一個新的函數,該函數接受另一個調用,然後返回一個新的函數,直至最後返回結果,分佈求解,層層遞進。 (PS:這裡利用了閉包的特性) 
 

那麼現在我們更進一步,如果要求可傳遞的參數不只3個,可以傳任意多個參數,當不傳參數時輸出結果? 

首先來個普通的實作:

var add = function(items){ 
  return items.reduce(function(a,b){ 
    return a+b 
  }); 
}; 
console.log(add([1,2,3,4])); 

但如果要求把每個數乘以10之後再相加,那麼:

var add = function (items,multi) { 
  return items.map(function (item) { 
    return item*multi; 
  }).reduce(function (a, b) { 
    return a + b 
  }); 
}; 
console.log(add([1, 2, 3, 4],10)); 

好在有 map 和 reduce 函數,假如按照這個模式,現在要把每項加1,再匯總,那我們需要更換map中的函數。 

下面看一下柯里化實作:

var adder = function () { 
  var _args = []; 
  return function () { 
    if (arguments.length === 0) { 
      return _args.reduce(function (a, b) { 
        return a + b; 
      }); 
    } 
    [].push.apply(_args, [].slice.call(arguments)); 
    return arguments.callee; 
  } 
};   
var sum = adder(); 
 
console.log(sum);   // Function 
 
sum(100,200)(300);  // 调用形式灵活,一次调用可输入一个或者多个参数,并且支持链式调用 
sum(400); 
console.log(sum());  // 1000 (加总计算) 

上面 adder是柯里化了的函數,它傳回一個新的函數,新的函數接收可分批次接受新的參數,延遲到最後一次計算。 
 

通用的柯里化函數

更典型的柯里化會把最後一次的計算封裝進一個函數中,再把這個函數當作參數傳入柯里化函數,這樣即清晰,又靈活。

例如 每項乘以10, 我們可以把處理函數當作參數傳入:

var currying = function (fn) { 
  var _args = []; 
  return function () { 
    if (arguments.length === 0) { 
      return fn.apply(this, _args); 
    } 
    Array.prototype.push.apply(_args, [].slice.call(arguments)); 
    return arguments.callee; 
  } 
}; 
 
var multi=function () { 
  var total = 0; 
  for (var i = 0, c; c = arguments[i++];) { 
    total += c; 
  } 
  return total; 
}; 
 
var sum = currying(multi);  
  
sum(100,200)(300); 
sum(400); 
console.log(sum());   // 1000 (空白调用时才真正计算)

這樣sum = currying(multi),調用非常清晰,使用效果也堪稱絢麗,例如要累加多個值,可以把多個值作為做個參數sum(1,2,3),也可以支持鍊式的調用,sum(1)(2)(3)
 
柯里化的基礎

上面的程式碼其實是高階函數(high-order function), 高階函數是指操作函數的函數,它接收一個或多個函數作為參數,並傳回一個新函數。此外,也依賴與閉包的特性,來保存中間過程中輸入的參數。即:
 
函數可以當作參數傳遞
函數能夠作為函數的回傳值
閉包
柯里化的作用
延遲計算。上面的例子已經比較好低說明了。

參數復用。當在多次呼叫同一個函數,並且傳遞的參數絕大多數是相同的,那麼該函數可能是一個很好的柯里化候選。

動態建立函數。這可以是在部分計算出結果後,在此基礎上動態產生新的函數處理後面的業務,這樣省略了重複計算。或者可以透過將要傳入呼叫函數的參數子集,部分應用到函數中,從而動態創造出一個新函數,這個新函數保存了重複傳入的參數(以後不必每次都傳)。例如,事件瀏覽器新增事件的輔助方法:

 var addEvent = function(el, type, fn, capture) { 
   if (window.addEventListener) { 
     el.addEventListener(type, function(e) { 
       fn.call(el, e); 
     }, capture); 
   } else if (window.attachEvent) { 
     el.attachEvent("on" + type, function(e) { 
       fn.call(el, e); 
     }); 
   } 
 }; 

每次加入事件處理都要執行一遍if...else...,其實在一個瀏覽器中只要一次判定就可以了,把根據一次判定之後的結果動態生成新的函數,以後就不必重新計算。

var addEvent = (function(){ 
  if (window.addEventListener) { 
    return function(el, sType, fn, capture) { 
      el.addEventListener(sType, function(e) { 
        fn.call(el, e); 
      }, (capture)); 
    }; 
  } else if (window.attachEvent) { 
    return function(el, sType, fn, capture) { 
      el.attachEvent("on" + sType, function(e) { 
        fn.call(el, e); 
      }); 
    }; 
  } 
})(); 

這個例子,第一次 if...else... 判斷之後,完成了部分計算,動態創建新的函數來處理後面傳入的參數,這是一個典型的柯里化。
 
Function.prototype.bind 方法也是柯里化應用

與call/apply 方法直接執行不同,bind 方法將第一個參數設定為函數執行的上下文,其他參數依序傳遞給呼叫方法(函數的主體本身不執行,可以看成是延遲執行),並動態建立傳回一個新的函數, 這符合柯里化特徵。

var foo = {x: 888}; 
var bar = function () { 
  console.log(this.x); 
}.bind(foo);        // 绑定 
bar();           // 888 

下面是一個 bind 函數的模擬,testBind 創建並返回新的函數,在新的函數中將真正要執行業務的函數綁定到實參傳入的上下文,延遲執行了。

Function.prototype.testBind = function (scope) { 
  var fn = this;          //// this 指向的是调用 testBind 方法的一个函数, 
  return function () { 
    return fn.apply(scope); 
  } 
}; 
var testBindBar = bar.testBind(foo); // 绑定 foo,延迟执行 
console.log(testBindBar);       // Function (可见,bind之后返回的是一个延迟执行的新函数) 
testBindBar();            // 888 

這裡要注意 prototype 中 this 的理解。

以上這篇深入剖析JavaScript中的函數currying 柯里化就是小編分享給大家的全部內容了,希望能給大家一個參考,也希望大家多多支持腳本之家。

陳述:
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn