柯里化的理解和實(shí)現(xiàn)

hsluoyz 發(fā)布于2019-08-22 15:45 / 1280人閱讀

摘要：閱讀學(xué)習(xí)專題之函數(shù)柯里化函數(shù)式編程指南對柯里化的理解很多人對于柯里化的理解僅僅停留在復(fù)用參數(shù)上。使用柯里化的場景想要實(shí)現(xiàn)某個(gè)操作邏輯。換句話說，柯里化將輸入的函數(shù)和參數(shù)進(jìn)行綁定，返回綁定后的函數(shù)，返回的函數(shù)期待剩余的參數(shù)。

閱讀學(xué)習(xí)

JavaScript專題之函數(shù)柯里化
JS 函數(shù)式編程指南

對柯里化的理解

很多人對于柯里化的理解僅僅停留在“復(fù)用參數(shù)”上。但我認(rèn)為函數(shù)式編程思想更重要作用的是：解除函數(shù)對執(zhí)行時(shí)參數(shù)的依賴，增強(qiáng)函數(shù)的泛化能力，讓函數(shù)僅僅包含“純粹的操作邏輯”，這些操作邏輯要用在什么樣的輸入上，使用函數(shù)時(shí)再?zèng)Q定。

使用柯里化的場景：

想要實(shí)現(xiàn)某個(gè)操作邏輯。（舉一個(gè)最簡單的例子，從對象中取出某個(gè)屬性的值）

確認(rèn)這個(gè)操作的輸入。（在這個(gè)例子中，輸入是對象和屬性key）

將操作的輸入作為函數(shù)的參數(shù)，解除函數(shù)實(shí)現(xiàn)對【參數(shù)的具體值】的依賴。（function getProp(obj, key)）

在函數(shù)體中，對這些參數(shù)執(zhí)行一系列操作，實(shí)現(xiàn)邏輯。（function getProp(obj, key) { return obj[key]; }）

得到的函數(shù)就僅僅封裝了“操作邏輯”，函數(shù)對于操作的輸入不做任何假設(shè)，因此函數(shù)的泛化能力很強(qiáng)，可以處理任何合法的輸入。（在這個(gè)例子中，getProp可以從任何對象中獲取任何屬性）

“不做任何假設(shè)”的說法其實(shí)不太準(zhǔn)確，比如說getProp就假設(shè)了obj參數(shù)必須是對象，但這種假設(shè)是“完成操作邏輯”的必要要求，“不做任何多余的假設(shè)”更準(zhǔn)確一些。我在這里使用更絕對的語氣，是為了增強(qiáng)自己對這個(gè)觀點(diǎn)的印象。

當(dāng)用戶使用這個(gè)函數(shù)封裝的操作邏輯時(shí)，調(diào)用這個(gè)函數(shù)，并且需要在參數(shù)中提供操作的輸入。函數(shù)執(zhí)行完以后，返回操作的輸出。可以將函數(shù)看作一個(gè)黑盒子，給什么輸入就會(huì)返回對應(yīng)的輸出，函數(shù)本身是“無狀態(tài)”的。（在這個(gè)例子中，getProp(obj1, "key1")和getProp(obj2, "key2")，函數(shù)能適應(yīng)任何合法的輸入，不管調(diào)用多少次，不管傳入什么參數(shù)，函數(shù)的操作邏輯都不會(huì)改變）

通過柯里化，可以在真正執(zhí)行函數(shù)之前先確定某些參數(shù)。換句話說，柯里化將輸入的函數(shù)和參數(shù)進(jìn)行“綁定”，返回綁定后的函數(shù)，返回的函數(shù)期待剩余的參數(shù)。（比如說，我們經(jīng)常要從Array的原型中獲取方法，let getPropFromArrProto = curry(getProp, Array.prototype);通過這個(gè)新的函數(shù)就能直接從Array.prototype中獲取屬性）

實(shí)現(xiàn)

function curry(fn, ...priorArgs) {
  const length = fn.length;
  return function judge(...restArgs) {
    return priorArgs.length + restArgs.length >= length
      ? fn.call(this, ...priorArgs, ...restArgs)
      : function (...args) { return judge.call(this, ...restArgs, ...args); }
  }
}

// 測試代碼
var fn = curry(function (a, b, c, d) {
  console.log([a, b, c, d]);
  return [a, b, c, d];
}, "p");

fn("a", "b", "c") // [ "p", "a", "b", "c" ]
fn("a", "b")("c") // [ "p", "a", "b", "c" ]
fn("a")("b")("c") // [ "p", "a", "b", "c" ]
fn("a")("b", "c") // [ "p", "a", "b", "c" ]

其中，

priorArgs.length + restArgs.length >= length
      ? fn.call(this, ...priorArgs, ...restArgs)
      : function (...args) { return judge.call(this, ...restArgs, ...args); }

它的意思是，如果已經(jīng)接受的參數(shù)數(shù)量不少于fn（被柯里化的函數(shù)）期待的參數(shù)數(shù)量，就調(diào)用fn并返回結(jié)果。
否則，返回一個(gè)新的函數(shù)，這個(gè)函數(shù)期待剩余的參數(shù)。
調(diào)用這個(gè)新函數(shù)會(huì)再次進(jìn)行參數(shù)數(shù)量的判斷，如果已經(jīng)接受的參數(shù)數(shù)量不少于fn（被柯里化的函數(shù)）期待的參數(shù)數(shù)量，就調(diào)用fn并返回結(jié)果，否則返回一個(gè)新的函數(shù)……以此類推。