在 JavaScript 中,函數爲一等公民(First Class),所謂的 “一等公民”,指的是函數與其他數據類型一樣,處於平等地位,可以賦值給其他變量,也可以作爲參數,傳入另一個函數,或作爲其它函數的返回值。
接下來阿寶哥將介紹與函數相關的一些技術,閱讀完本文,你將瞭解高階函數、函數組合、柯里化、偏函數、惰性函數和緩存函數的相關知識。一、高階函數
在數學和計算機科學中,高階函數是至少滿足下列一個條件的函數:
-
接受一個或多個函數作爲輸入; -
輸出一個函數。
接收一個或多個函數作爲輸入,即函數作爲參數傳遞。這種應用場景,相信很多人都不會陌生。比如常用的 Array.prototype.map()
和 Array.prototype.filter()
高階函數:
// Array.prototype.map 高階函數
const array = [1, 2, 3, 4];
const map = array.map(x => x * 2); // [2, 4, 6, 8]
// Array.prototype.filter 高階函數
const words = ['semlinker', 'kakuqo', 'lolo', 'abao'];
const result = words.filter(word => word.length > 5); // ["semlinker", "kakuqo"]
而輸出一個函數,即調用高階函數之後,會返回一個新的函數。我們日常工作中,常見的 debounce
和 throttle
函數就滿足這個條件,因此它們也可以被稱爲高階函數。
二、函數組合
函數組合就是將兩個或兩個以上的函數組合生成一個新函數的過程:
const composeFn = function (f, g) {
return function (x) {
return f(g(x));
};
};
在以上代碼中,f
和 g
都是函數,而 x
是組合生成新函數的參數。
2.1 函數組合的作用
在項目開發過程中,爲了實現函數的複用,我們通常會盡量保證函數的職責單一,比如我們定義了以下功能函數:
在擁有以上功能函數的基礎上,我們就可以自由地對函數進行組合,來實現特定的功能:
function lowerCase(input) {
return input && typeof input === "string" ? input.toLowerCase() : input;
}
function upperCase(input) {
return input && typeof input === "string" ? input.toUpperCase() : input;
}
function trim(input) {
return typeof input === "string" ? input.trim() : input;
}
function split(input, delimiter = ",") {
return typeof input === "string" ? input.split(delimiter) : input;
}
const trimLowerCaseAndSplit = compose(trim, lowerCase, split); // 參考下面compose的實現
trimLowerCaseAndSplit(" a,B,C "); // ["a", "b", "c"]
在以上的代碼中,我們通過 compose
函數實現了一個 trimLowerCaseAndSplit
函數,該函數會對輸入的字符串,先執行去空格處理,然後在把字符串中包含的字母統一轉換爲小寫,最後在使用 ,
分號對字符串進行拆分。利用函數組合的技術,我們就可以很方便的實現一個 trimUpperCaseAndSplit
函數。
2.2 組合函數的實現
function compose(...funcs) {
return function (x) {
return funcs.reduce(function (arg, fn) {
return fn(arg);
}, x);
};
}
在以上的代碼中,我們通過 Array.prototype.reduce 方法來實現組合函數的調度,對應的執行順序是從左到右。這個執行順序與 Linux 管道或過濾器的執行順序是一致的。
不過如果你想從右往左開始執行的話,這時你就可以使用 Array.prototype.reduceRight 方法來實現。
其實每當看到 compose
函數,阿寶哥就情不自禁想到 “如何更好地理解中間件和洋蔥模型” 這篇文章中介紹的 compose
函數:
function compose(middleware) {
// 省略部分代碼
return function (context, next) {
let index = -1;
return dispatch(0);
function dispatch(i) {
if (i <= index)
return Promise.reject(new Error("next() called multiple times"));
index = i;
let fn = middleware[i];
if (i === middleware.length) fn = next;
if (!fn) return Promise.resolve();
try {
return Promise.resolve(fn(context, dispatch.bind(null, i + 1)));
} catch (err) {
return Promise.reject(err);
}
}
};
}
利用上述的 compose
函數,我們就可以實現以下通用的任務處理流程:
三、柯里化
柯里化(Currying)是一種處理函數中含有多個參數的方法,並在只允許單一參數的框架中使用這些函數。這種轉變是現在被稱爲 “柯里化” 的過程,在這個過程中我們能把一個帶有多個參數的函數轉換成一系列的嵌套函數。它返回一個新函數,這個新函數期望傳入下一個參數。當接收足夠的參數後,會自動執行原函數。
在理論計算機科學中,柯里化提供了簡單的理論模型,比如:在只接受一個單一參數的 lambda 演算中,研究帶有多個參數的函數的方式。與柯里化相反的是 Uncurrying,一種使用匿名單參數函數來實現多參數函數的方法。比如:
const func = function(a) {
return function(b) {
return a * a + b * b;
}
}
func(3)(4); // 25
Uncurrying 不是本文的重點,接下來我們使用 Lodash 提供的 curry
函數來直觀感受一下,對函數進行 “柯里化” 處理之後產生的變化:
const abc = function(a, b, c) {
return [a, b, c];
};
const curried = _.curry(abc);
curried(1)(2)(3); // => [1, 2, 3]
curried(1, 2)(3); // => [1, 2, 3]
curried(1, 2, 3); // => [1, 2, 3]
_.curry(func, [arity=func.length])
創建一個函數,該函數接收
func
的參數,要麼調用func
返回的結果,如果func
所需參數已經提供,則直接返回func
所執行的結果。或返回一個函數,接受餘下的func
參數的函數,可以使用func.length
設置需要累積的參數個數。
來源:https://www.lodashjs.com/docs/lodash.curry
這裏需要特別注意的是,在數學和理論計算機科學中的柯里化函數,一次只能傳遞一個參數。而對於 JavaScript 語言來說,在實際應用中的柯里化函數,可以傳遞一個或多個參數。好的,介紹完柯里化的相關知識,接下來我們來介紹柯里化的作用。
3.1 柯里化的作用
3.1.1 參數複用
function buildUri(scheme, domain, path) {
return `${scheme}://${domain}/${path}`;
}
const profilePath = buildUri("https", "github.com", "semlinker/semlinker");
const awesomeTsPath = buildUri("https", "github.com", "semlinker/awesome-typescript");
在以上代碼中,首先我們定義了一個 buildUri
函數,該函數可用於構建 uri 地址。接着我們使用 buildUri
函數構建了阿寶哥 Github 個人主頁 和 awesome-typescript 項目的地址。對於上述的 uri 地址,我們發現 https
和 github.com
這兩個參數值是一樣的。
假如我們需要繼續構建阿寶哥其他項目的地址,我們就需要重複設置相同的參數值。那麼有沒有辦法簡化這個流程呢?答案是有的,就是對 buildUri
函數執行柯里化處理,具體處理方式如下:
const _ = require("lodash");
const buildUriCurry = _.curry(buildUri);
const myGithubPath = buildUriCurry("https", "github.com");
const profilePath = myGithubPath("semlinker/semlinker");
const awesomeTsPath = myGithubPath("semlinker/awesome-typescript");
3.1.2 延遲計算/運行
const add = function (a, b) {
return a + b;
};
const curried = _.curry(add);
const plusOne = curried(1);
在以上代碼中,通過對 add
函數執行 “柯里化” 處理,我們可以實現延遲計算。好的,簡單介紹完柯里化的作用,我們來動手實現一個柯里化函數。
3.2 柯里化的實現
現在我們已經知道了,當柯里化後的函數接收到足夠的參數後,就會開始執行原函數。而如果接收到的參數不足的話,就會返回一個新的函數,用來接收餘下的參數。基於上述的特點,我們就可以自己實現一個 curry
函數:
function curry(func) {
return function curried(...args) {
if (args.length >= func.length) { // 通過函數的length屬性,來獲取函數的形參個數
return func.apply(this, args);
} else {
return function (...args2) {
return curried.apply(this, args.concat(args2));
};
}
}
}
四、偏函數應用
在計算機科學中,偏函數應用(Partial Application)是指固定一個函數的某些參數,然後產生另一個更小元的函數。而所謂的元是指函數參數的個數,比如含有一個參數的函數被稱爲一元函數。
偏函數應用(Partial Application)很容易與函數柯里化混淆,它們之間的區別是:
-
偏函數應用是固定一個函數的一個或多個參數,並返回一個可以接收剩餘參數的函數; -
柯里化是將函數轉化爲多個嵌套的一元函數,也就是每個函數只接收一個參數。
瞭解完偏函數與柯里化的區別之後,我們來使用 Lodash 提供的 partial
函數來了解一下它如何使用。
4.1 偏函數的使用
function buildUri(scheme, domain, path) {
return `${scheme}://${domain}/${path}`;
}
const myGithubPath = _.partial(buildUri, "https", "github.com");
const profilePath = myGithubPath("semlinker/semlinker");
const awesomeTsPath = myGithubPath("semlinker/awesome-typescript");
_.partial(func, [partials])
創建一個函數。該函數調用
func
,並傳入預設的partials
參數。
來源:https://www.lodashjs.com/docs/lodash.partial
4.2 偏函數的實現
偏函數用於固定一個函數的一個或多個參數,並返回一個可以接收剩餘參數的函數。基於上述的特點,我們就可以自己實現一個 partial
函數:
function partial(fn) {
let args = [].slice.call(arguments, 1);
return function () {
const newArgs = args.concat([].slice.call(arguments));
return fn.apply(this, newArgs);
};
}
4.3 偏函數實現 vs 柯里化實現
五、惰性函數
由於不同瀏覽器之間存在一些兼容性問題,這導致了我們在使用一些 Web API 時,需要進行判斷,比如:
function addHandler(element, type, handler) {
if (element.addEventListener) {
element.addEventListener(type, handler, false);
} else if (element.attachEvent) {
element.attachEvent("on" + type, handler);
} else {
element["on" + type] = handler;
}
}
在以上代碼中,我們實現了不同瀏覽器 添加事件監聽 的處理。代碼實現起來也很簡單,但存在一個問題,即每次調用的時候都需要進行判斷,很明顯這是不合理的。對於上述這個問題,我們可以通過惰性載入函數來解決。
5.1 惰性載入函數
所謂的惰性載入就是當第 1 次根據條件執行函數後,在第 2 次調用函數時,就不再檢測條件,直接執行函數。要實現這個功能,我們可以在第 1 次條件判斷的時候,在滿足判斷條件的分支中覆蓋掉所調用的函數,具體的實現方式如下所示:
function addHandler(element, type, handler) {
if (element.addEventListener) {
addHandler = function (element, type, handler) {
element.addEventListener(type, handler, false);
};
} else if (element.attachEvent) {
addHandler = function (element, type, handler) {
element.attachEvent("on" + type, handler);
};
} else {
addHandler = function (element, type, handler) {
element["on" + type] = handler;
};
}
// 保證首次調用能正常執行監聽
return addHandler(element, type, handler);
}
除了使用以上的方式,我們也可以利用自執行函數來實現惰性載入:
const addHandler = (function () {
if (document.addEventListener) {
return function (element, type, handler) {
element.addEventListener(type, handler, false);
};
} else if (document.attachEvent) {
return function (element, type, handler) {
element.attachEvent("on" + type, handler);
};
} else {
return function (element, type, handler) {
element["on" + type] = handler;
};
}
})();
通過自執行函數,在代碼加載階段就會執行一次條件判斷,然後在對應的條件分支中返回一個新的函數,用來實現對應的處理邏輯。
六、緩存函數
緩存函數是將函數的計算結果緩存起來,當下次以同樣的參數調用該函數時,直接返回已緩存的結果,而無需再次執行函數。這是一種常見的以空間換時間的性能優化手段。
要實現緩存函數的功能,我們可以把經過序列化的參數作爲 key
,在把第 1 次調用後的結果作爲 value
存儲到對象中。在每次執行函數調用前,都先判斷緩存中是否含有對應的 key
,如果有的話,直接返回該 key
對應的值。分析完緩存函數的實現思路之後,接下來我們來看一下具體如何實現:
function memorize(fn) {
const cache = Object.create(null); // 存儲緩存數據的對象
return function (...args) {
const _args = JSON.stringify(args);
return cache[_args] || (cache[_args] = fn.apply(fn, args));
};
};
定義完 memorize
緩存函數之後,我們就可以這樣來使用它:
let complexCalc = (a, b) => {
// 執行復雜的計算
};
let memoCalc = memorize(complexCalc);
memoCalc(666, 888);
memoCalc(666, 888); // 從緩存中獲取
七、參考資源
-
維基百科 - 高階函數 -
維基百科 - 柯里化 -
javascript-functional-programming-explained-partial-application-and-currying
本文分享自微信公衆號 - 胡哥有話說(hugeyouhuashuo)。
如有侵權,請聯繫 [email protected] 刪除。
本文參與“OSC源創計劃”,歡迎正在閱讀的你也加入,一起分享。