函數(shù)柯里化(curry)

import. 發(fā)布于2019-08-23 10:50 / 1874人閱讀

摘要：還是上面函數(shù)的例子，我們希望實(shí)現(xiàn)下面的形式在下一節(jié)具體實(shí)現(xiàn)部分應(yīng)用只傳遞了第一個(gè)參數(shù)分析上面的代碼可知，實(shí)現(xiàn)部分應(yīng)用的關(guān)鍵是部分應(yīng)用的返回結(jié)果是一個(gè)新的函數(shù)該函數(shù)可以被傳入其他參數(shù)再次調(diào)用柯里化現(xiàn)在進(jìn)入正題，前面講完了部分應(yīng)用。

前言

（話(huà)不多說(shuō)，填之前的坑）

正文 引子-從apply說(shuō)函數(shù)應(yīng)用

在js里，我們對(duì)于function的用法，可能大部分情況下都還是處于調(diào)用,形如

function add(x, y) {
    return x + y
}
console.log(add(1, 2)) //函數(shù)調(diào)用 返回3

但是有一個(gè)apply()函數(shù)，使我們擁有另一種方式來(lái)應(yīng)用函數(shù),例如

function add(x, y) {
    return x + y
}
console.log(add.apply(null, [1, 2])) //返回3

apply的第一個(gè)參數(shù)為null時(shí)，this指向全局對(duì)象（忘記請(qǐng)自行查閱查mdn）,在上面這個(gè)例子里，通過(guò)apply來(lái)應(yīng)用函數(shù)的時(shí)候，效果和調(diào)用函數(shù)完全一致。

部分應(yīng)用

從前文可知，函數(shù)調(diào)用就是讓一個(gè)參數(shù)集合(前面的[1,2])應(yīng)用到函數(shù)(前文的add函數(shù))中，那部分應(yīng)用就是考慮只傳遞部分參數(shù)，而非所有參數(shù)。 還是上面add函數(shù)的例子，我們希望實(shí)現(xiàn)下面的形式(在下一節(jié)具體實(shí)現(xiàn))：

var newAdd = add.apply(null,[1])//部分應(yīng)用 只傳遞了第一個(gè)參數(shù)
newAdd.apply(null,[2]) //3

分析上面的代碼可知，實(shí)現(xiàn)部分應(yīng)用的關(guān)鍵是：部分應(yīng)用的返回結(jié)果是一個(gè)新的函數(shù),該函數(shù)可以被傳入其他參數(shù)再次調(diào)用

柯里化(curry)

現(xiàn)在進(jìn)入正題，前面講完了部分應(yīng)用。curry化的含義，就是使函數(shù)理解并處理部分應(yīng)用的過(guò)程

繼續(xù)按照上文的思路實(shí)現(xiàn)add函數(shù)的curry化：

function add(x, y) {
    // 如果只傳遞部分參數(shù)，則部分應(yīng)用，返回一個(gè)新的函數(shù)
    if (y === undefined) {
      return function (y) {
        return x + y
      }
    }
    return x + y //如果傳遞所有參數(shù)，直接完全應(yīng)用
}
//運(yùn)行前一節(jié)代碼
var newAdd = add.apply(null, [1])
console.log(newAdd.apply(null, [2])) //3
console.log(newAdd.apply(null, [5])) //6

上述代碼已經(jīng)實(shí)現(xiàn)了前一節(jié)的要求，可以看到curry的結(jié)果就是：經(jīng)過(guò)一次curry的newadd函數(shù)，變成一個(gè)與1求和的函數(shù)，接應(yīng)用的時(shí)候只傳遞一個(gè)參數(shù)，都能得到對(duì)應(yīng)的結(jié)果，同時(shí)也可以看出這個(gè)curry太局限。接下來(lái)我們就要考慮，如何實(shí)現(xiàn)通用的curry函數(shù)

通用curry函數(shù)

先回憶前面的過(guò)程，來(lái)思考curry一個(gè)函數(shù)的實(shí)現(xiàn)步驟：

保存調(diào)用curry函數(shù)時(shí)傳入的參數(shù)，返回一個(gè)新函數(shù)（即柯里化執(zhí)行結(jié)果）

結(jié)果函數(shù)在被調(diào)用后，要讓新的參數(shù)和舊的參數(shù)一起應(yīng)用的入?yún)⒑瘮?shù)中

注：入?yún)⒑瘮?shù)-要被curry的函數(shù)，結(jié)果函數(shù)-被curry之后的函數(shù)*

文字比較抽象，可以直接看實(shí)現(xiàn)在回來(lái)看過(guò)程：

  function commonCurry(fn) {
    var slice = Array.prototype.slice,
      storedArgs = slice.call(arguments, 1) //使用slice是為了把a(bǔ)rguments轉(zhuǎn)換成真正的數(shù)組，剝離此處第一個(gè)參數(shù)，是因?yàn)榈谝粋€(gè)參數(shù)是fn
    return function () {
      var newArgs = slice.call(arguments), //新傳入的參數(shù)
        args = storedArgs.concat(newArgs)
      return fn.apply(null, args)
    }
  }

  //使用舉例
  function add(a, b) {
    return a + b
  }
  var newAdd = commonCurry(add, 10)
  console.log(newAdd(5))
  
  // 多個(gè)參數(shù)
  function add2(a, b, c, d) {
    return a + b + c + d
  }
  var newAdd2 = commonCurry(add2, 10, 10)
  console.log(newAdd2(5, 4))//29
  
  // 多次curry
  var newAdd3 = commonCurry(newAdd2, 10)
  console.log(newAdd3(10))//40

小結(jié)

之后會(huì)嘗試以更簡(jiǎn)潔明了的方式來(lái)寫(xiě)文章。如果內(nèi)容有錯(cuò)誤的地方歡迎指出（覺(jué)得看著不理解不舒服想吐槽也完全沒(méi)問(wèn)題）；如果對(duì)你有幫助，歡迎點(diǎn)贊和收藏，轉(zhuǎn)載請(qǐng)征得同意后著明出處，如果有問(wèn)題也歡迎私信交流，主頁(yè)添加了郵箱地址。