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

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

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

前言

（話不多說，填之前的坑）

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

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

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

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

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

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

部分應(yīng)用

從前文可知，函數(shù)調(diào)用就是讓一個參數(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)用 只傳遞了第一個參數(shù)
newAdd.apply(null,[2]) //3

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

柯里化(curry)

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

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

function add(x, y) {
    // 如果只傳遞部分參數(shù)，則部分應(yīng)用，返回一個新的函數(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)過一次curry的newadd函數(shù)，變成一個與1求和的函數(shù)，接應(yīng)用的時候只傳遞一個參數(shù)，都能得到對應(yīng)的結(jié)果，同時也可以看出這個curry太局限。接下來我們就要考慮，如何實(shí)現(xiàn)通用的curry函數(shù)

通用curry函數(shù)

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

保存調(diào)用curry函數(shù)時傳入的參數(shù)，返回一個新函數(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)在回來看過程：

  function commonCurry(fn) {
    var slice = Array.prototype.slice,
      storedArgs = slice.call(arguments, 1) //使用slice是為了把a(bǔ)rguments轉(zhuǎn)換成真正的數(shù)組，剝離此處第一個參數(shù)，是因?yàn)榈谝粋€參數(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))
  
  // 多個參數(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é)

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