函式柯里化

2021-10-08 17:50:51 字數 4914 閱讀 6797

在電腦科學中,柯里化(currying)是把接受多個引數的函式變換成接受乙個單一引數(最初函式的第乙個引數)的函式,並且返回接受餘下的引數且返回結果的新函式的技術

就是只傳遞給函式某一部分引數來呼叫,返回乙個新函式去處理剩下的引數(閉包

常用的封裝成 add 函式

// reduce 方法

const

add=

(...args)

=> args.

reduce

((a, b)

=> a + b)

// 傳入多個引數,執行 add 函式

add(1,

2)// 3

// 假設有乙個 currying 函式

let sum =

currying

(params)

sum(1)

(3)// 4

延遲計算

部分求和例子,說明了延遲計算的特點

const

add=

(...args)

=> args.

reduce

((a, b)

=> a + b)

// 簡化寫法

function

currying

(func)

else}}

const sum =

currying

(add)

sum(1,

2)(3

)// 未真正求值,收集引數的和

sum(4)

// 未真正求值,收集引數的和

sum(

)// 輸出 10

**上面的**理解:**先定義 add 函式,然後 currying 函式就是用閉包把傳入引數儲存起來,當傳入引數的數量足夠執行函式時,就開始執行函式

上面的 currying 函式是一種簡化寫法,判斷傳入的引數長度是否為 0,若為 0 執行函式,否則收集引數到 args 陣列

另一種常見的應用是 bind 函式,我們看下 bind 的使用

let obj =

const

fun=

function()

.bind

(obj)

fun(

)// krry

動態建立函式

有一種典型的應用情景是這樣的,每次呼叫函式都需要進行一次判斷,但其實第一次判斷計算之後,後續呼叫並不需要再次判斷,這種情況下就非常適合使用柯里化方案來處理

即第一次判斷之後,動態建立乙個新函式用於處理後續傳入的引數,並返回這個新函式。當然也可以使用惰性函式來處理,本例最後乙個方案會介紹

我們看下面的這個例子,在 dom 中新增事件時需要相容現代瀏覽器和 ie 瀏覽器(ie < 9),方法就是對瀏覽器環境進行判斷,看瀏覽器是否支援,簡化寫法如下

// 簡化寫法

function addevent (type, el, fn, capture = false)

else if(window.attachevent)

}但是這種寫法有乙個問題,就是每次新增事件都會呼叫做一次判斷,比較麻煩

可以利用閉包和立即呼叫函式表示式(iife)來實現只判斷一次,後續都無需判斷

const addevent = (function()

}else if(window.attachevent)

}})()

上面這種實現方案就是一種典型的柯里化應用,在第一次的 if…else if… 判斷之後完成第一次計算,然後動態建立返回新的函式用於處理後續傳入的引數

這樣做的好處就是之後呼叫之後就不需要再次呼叫計算了

當然可以使用惰性函式來實現這一功能,原理很簡單,就是重寫函式

function addevent (type, el, fn, capture = false)

}else if(window.attachevent)

}// 執行函式,有迴圈爆棧風險

addevent(type, el, fn, capture);

}第一次呼叫 addevent 函式後,會進行一次環境判斷,在這之後 addevent 函式被重寫,所以下次呼叫時就不會再次判斷環境

function isarray(obj)

function isnumber(obj)

function isstring(obj)

// test

isarray([1, 2, 3]) // true

isnumber(123) // true

isstring(『123』) // true

但是上面方案有乙個問題,那就是每種型別都需要定義乙個方法,這裡我們可以使用 bind 來擴充套件,優點是可以直接使用改造後的 tostr

const tostr = function.prototype.call.bind(object.prototype.tostring);

// 改造前直接呼叫

[1, 2, 3].tostring() // 「1,2,3」

『123』.tostring() // 「123」

123.tostring() // syntaxerror: invalid or unexpected token

object(123).tostring() // 「123」

// 改造後呼叫 tostr

tostr([1, 2, 3]) // 「[object array]」

tostr(『123』) // 「[object string]」

tostr(123) // 「[object number]」

tostr(object(123)) // 「[object number]」

上面例子首先使用 function.prototype.call 函式指定乙個 this 值,然後 .bind 返回乙個新的函式,始終將 object.prototype.tostring 設定為傳入引數,其實等價於 object.prototype.tostring.call()

實現 currying 函式

可以理解所謂的柯里化函式,就是封裝一系列的處理步驟,通過閉包將引數集中起來計算,最後再把需要處理的引數傳進去

實現原理就是用閉包把傳入引數儲存起來,當傳入引數的數量足夠執行函式時,就開始執行函式

上面延遲計算部分已經實現了乙個簡化版的 currying 函式

下面實現乙個更加健壯的 currying 函式

// test

const fn = currying(function(a, b, c) )

const currying = fn =>

judge = (…args) =>

args.length >= fn.length

? fn(…args)

: (…arg) => judge(…args, …arg)

// test

const fn = currying(function(a, b, c) )

fn(「a」, 「b」, 「c」) // [「a」, 「b」, 「c」]

fn(「a」, 「b」)(「c」) // [「a」, 「b」, 「c」]

fn(「a」)(「b」)(「c」) // [「a」, 「b」, 「c」]

fn(「a」)(「b」, 「c」) // [「a」, 「b」, 「c」]

如果還很難理解,看下面例子

const add = currying(function(a, b, c) )

add(1, 2, 3) // 6

add(1, 2)(3) // 6

add(1)(2)(3) // 6

add(1)(2, 3) // 6

擴充套件:函式的 length

函式 currying 的實現中,使用了 fn.length 來表示函式引數的個數,但是,劃重點:

函式的 length 屬性獲取的是形參的個數,但是形參的數量不包括剩餘引數個數,而且僅包括第乙個具有預設值之前的引數個數,看下面的例子

((a, b, c) => {}).length; // 3

((a, b, c = 3) => {}).length; // 2

((a, b = 2, c) => {}).length; // 1

((a = 1, b, c) => {}).length; // 0

((…args) => {}).length; // 0

const fn = (…args) =>

fn(1, 2, 3) // 3

所以在柯里化的場景中,不建議使用 es6 的函式引數預設值

const fn = currying((a = 1, b, c) => )

fn() // [1, undefined, undefined]

fn()(2)(3) // uncaught typeerror: fn(…) is not a function

我們期望函式 fn 輸出 [1, 2, 3],但是實際上呼叫柯里化函式時 ((a = 1, b, c) => {}).length === 0

所以呼叫 fn() 時就已經執行並輸出了 [1, undefined, undefined],而不是理想中的返回閉包函式

所以後續呼叫 fn()(2)(3) 將會報錯

實際應用

延遲計算:部分求和、bind 函式

動態建立函式:新增監聽 addevent、惰性函式

引數復用:function.prototype.call.bind(object.prototype.tostring)

實現 currying 函式:用閉包把傳入引數儲存起來,當傳入引數的數量足夠執行函式時,就開始執行函式

函式引數 length:獲取的是形參的個數,但是形參的數量不包括剩餘引數個數,而且僅包括第乙個引數有預設值之前的引數個數

函式柯里化

在電腦科學中,柯里化 currying 是把接受多個引數的函式變換成接受乙個單一引數 最初函式的第乙個引數 的函式,並且返回接受餘下的引數且返回結果的新函式的技術。在直覺上,柯里化聲稱 如果你固定某些引數,你將得到接受餘下引數的乙個函式 柯里化實現的原理 在函式式程式語言中,將函式可以當做物件傳遞呼...

函式柯里化

curry 的概念 只傳遞給函式一部分引數來呼叫它,讓它返回乙個函式去處理剩下的引數先看乙個簡單例子,add函式接受 2 個引數 或者多個 addx函式接受 1 個引數。換而言之,所謂 柯里化 就是把乙個多引數的函式,轉化為單引數函式。將乙個函式轉換為乙個新的函式 非柯里化 function add...

函式柯里化

curry 的概念 只傳遞給函式一部分引數來呼叫它,讓它返回乙個函式去處理剩下的引數先看乙個簡單例子,add函式接受 2 個引數 或者多個 addx函式接受 1 個引數。換而言之,所謂 柯里化 就是把乙個多引數的函式,轉化為單引數函式。將乙個函式轉換為乙個新的函式 非柯里化 function add...