函數(shù)柯里化(currying)
我們假設(shè)在查看本文檔前九默,您已經(jīng)有了一定的js基礎(chǔ)择克,并對高階函數(shù),閉包鸣峭,call&&apply有了一定的了解宏所。如果你還不了解這些,那么請你快速去了解這些主題后再回來看這篇文章摊溶。
前期要點(diǎn)回顧
* 獲取函數(shù)聲明時(shí)的參數(shù)數(shù)量:func.length
function howMany(a, b, c) {
? ? console.log(howMany.length);
}
howMany(1, 2); // 3
howMany(1, 2, 3, 4); // 3
* 獲取函數(shù)調(diào)用時(shí)的所有參數(shù):arguments
Javascript 允許我們通過函數(shù)作用域內(nèi)可用的?arguments?變量來訪問傳遞給函數(shù)的所有參數(shù)爬骤。arguments?變量是一個(gè)包含函數(shù)調(diào)用時(shí)傳遞給該函數(shù)的所有參數(shù)的 類數(shù)組(array-like) 列表。
將類數(shù)組轉(zhuǎn)化為數(shù)組
function showArgs() {
?let args = [].slice.call(arguments); //轉(zhuǎn)化為數(shù)組
}
等同于
function showArgs() {
? ?let args =Array.prototype.slice.call(arguments); //轉(zhuǎn)化為數(shù)組
}
在ES6中莫换,我利用?spread operator(擴(kuò)展操作符) / rest parameters(剩余參數(shù)) 更容易操作函數(shù)的參數(shù)
function howMany(...args) {
?console.log("args:", args, ", length:", args.length);
}
howMany(1,2,3,4); // args: [1,2,3,4], length: 4 (a "real" array)!
?那么我們可以繼續(xù)我們的話題了霞玄!
函數(shù)柯里化(currying)
函數(shù)柯里化(Currying)是把接受多個(gè)參數(shù)的函數(shù)變換成接受一個(gè)單一參數(shù)(最初函數(shù)的第一個(gè)參數(shù))的函數(shù),并且返回接受余下的參數(shù)且返回結(jié)果的新函數(shù)的技術(shù)拉岁。
eg:
(1)我們有一個(gè)?add()?函數(shù)接受 3 個(gè)參數(shù)并返回總和
function add(a,b,c) { return a+b+c; }
(2)我們可以把它轉(zhuǎn)換成一個(gè) Currying(柯里化) 函數(shù)坷剧,如下:
function curriedAdd(a) {
? ?return function (b) {
? ? ?return function (c) {
? ? ? ?return a + b + c;
?????}
? ?}
?}
Currying(柯里化) 是如何工作?它的工作方式是通過為每個(gè)可能的參數(shù)嵌套函數(shù)喊暖,使用由嵌套函數(shù)創(chuàng)建的自然閉包來保留對每個(gè)連續(xù)參數(shù)的訪問惫企。
但是我們想要的是一種輕松地辦法,可以將現(xiàn)有的帶 N 個(gè)參數(shù)的函數(shù)轉(zhuǎn)換成它的 Currying(柯里化) 版本陵叽,而不用像?curriedAdd()?那樣寫出每個(gè)函數(shù) 的 Currying(柯里化) 版本狞尔。
編寫一個(gè)通用的 curry()
這是我們想要設(shè)計(jì)的?curry()?函數(shù)接口
function add(a,b,c){
? return a+b+c;
}
var curriedAdd = curry(add);?
curriedAdd(1,2,3);? // 6
curriedAdd(1)(2,3);? ?// 6
curriedAdd(1)(2)(3);? // 6
curriedAdd(1,2)(3);? // 6
我們的?curry()?返回一個(gè)新的函數(shù),允許我們用一個(gè)或多個(gè)參數(shù)來調(diào)用它咨跌,然后它將部分應(yīng)用沪么;直到它收到最后一個(gè)參數(shù)(基于原始函數(shù)的參數(shù)數(shù)量),此時(shí)它將返回使用所有參數(shù)調(diào)用原始函數(shù)的計(jì)算值锌半。
而且禽车,我們還需要存儲(chǔ)傳遞的原始函數(shù),所以一旦我們有了所有必需的參數(shù)刊殉,我們可以使用正確的參數(shù)調(diào)用原始函數(shù)并返回其結(jié)果殉摔。
function curry(fn) {
?????return function curried() {
?????????var args = [].slice.call(arguments);
?????????return args.length >= fn.length ? fn.apply(null, args) :
?????????function () {
?????????????var rest = [].slice.call(arguments);
?????????????return curried.apply(null, args.concat(rest));
?????????};
????};
}讓我們詳細(xì)解釋一下
第 2 行:我們的?curry?函數(shù)返回一個(gè)新的函數(shù),在這個(gè)例子中是一個(gè)名為?curried()?的命名函數(shù)表達(dá)式记焊。
第 3 行:每次此函數(shù)被調(diào)用時(shí)逸月,我們在?args?中存儲(chǔ)傳遞給它的參數(shù);
第 4 行:如果參數(shù)的數(shù)量大于等于原始函數(shù)的數(shù)量遍膜,那么
第 5 行:返回使用所有參數(shù)調(diào)用的原始函數(shù)
第 6 行:否則碗硬,返回一個(gè)接受更多參數(shù)的函數(shù)瓤湘,當(dāng)被調(diào)用時(shí),將使用之前傳遞的原始參數(shù)與傳遞給新返回的函數(shù)的參數(shù)結(jié)合在一起恩尾,再次調(diào)用我們的?curried?函數(shù)弛说。
我們來試一下我們原來的?add?函數(shù)。
var curriedAdd = curry(add);
curriedAdd(1)(2)(3); // 6
curriedAdd(1)(2,3); // 6
似乎得到了我們想要的結(jié)果翰意。
但是木人,我們必須保留原始的上下文,并確保并將其傳遞給已返回的?curried?函數(shù)的連續(xù)調(diào)用。
function curry(fn) {
????return function curried() {
? ? ????var args = toArray(arguments),
? ? ? ? context = this;?
? ? ? ? return args.length >= fn.length ? fn.apply(context, args) :
? ? ? ? function () {
? ? ? ? ????var rest = toArray(arguments);
? ? ? ? ????return curried.apply(context, args.concat(rest));
? ? ? ? };
? ? }
}
現(xiàn)在我們的?curry()?函數(shù)可以正確感知上下文了,并且可以在任何情況下用作函數(shù)裝飾器了况凉。