函式柯里化

2021-10-25 04:17:27 字數 2203 閱讀 4045

比如我們現在有這樣乙個函式,傳入乙個學生的學校,專業和名字三個引數。對這三個資料做一點處理然後再輸出。

接觸函式柯里化之前的都是這樣的思想:

function

say(school, academy, name)

say(

'西郵'

,'計科'

,'張三');

//我的學校是西郵,我的專業是計科,我的名字是張三。

say(

'西郵'

,'計科'

,'李四');

//我的學校是西郵,我的專業是計科,我的名字是李四。

say(

'西郵'

,'計科'

,'王五');

//我的學校是西郵,我的專業是計科,我的名字是王五。

當我們一遍遍的呼叫這個函式,會發現引數中的前兩個是重複的,那我們想有沒有什麼方法可以讓我們只傳一次相同的引數呢?

這是我們會想用閉包,做乙個函式巢狀,來儲存外部函式的引數。

function

say1

(school)

}}

這個時候我們的呼叫say1的話,返回的是乙個函式(要傳入academy引數,而且內部還返回了乙個函式的函式)。所以我們用乙個變數取接受這個函式:

var newschool =

say1

('西郵'

);

而當我們再呼叫newschool這個函式時,它的返回值也是乙個函式(要傳入name引數的函式),我們再宣告乙個變數來接收這個函式。

var newacademy =

newschool

('計科'

);

這樣newacademy的就是乙個已經傳入前兩個引數,等待傳入最後乙個不同的引數的函式了。那我們就可以這樣來列印三組不同的資料了:

newacademy

('張三');

//我的學校是西郵,我的專業是計科,我的名字是張三。

newacademy

('李四');

//我的學校是西郵,我的專業是計科,我的名字是李四。

newacademy

('王五');

//我的學校是西郵,我的專業是計科,我的名字是王五。

因為第乙個函式的返回值是乙個函式,那我們就可以做這樣乙個優化(再第乙個函式後面再加乙個函式執行符號,裡面傳入對應的引數):

var newdata =

say1

('西郵')(

'計科');

newdata

('張三');

//我的學校是西郵,我的專業是計科,我的名字是張三。

newdata

('李四');

//我的學校是西郵,我的專業是計科,我的名字是李四。

newdata

('王五');

//我的學校是西郵,我的專業是計科,我的名字是王五。

這就是函式柯里化。

但是暴露了乙個很明顯的問題:太麻煩!每次要將函式改寫成return巢狀。所以我們現在來封裝乙個柯里化函式:

function

curry

(fn)

else}}

}

主要思想:柯里化函式體裡返回了乙個收集引數的遞迴呼叫的函式一,在這個函式內部:首先,先判斷要被柯里化的函式的引數長度是否等於函式一的引數長度,若相等,直接執行要被柯里化的函式(把函式一的引數直接傳入)。若小於,將遞迴呼叫這個函式一(把新傳入的引數和之前傳入的引數都傳入函式一)。

我們來測試一下:

var first =

curry

(say)

;first

('西郵')(

'計科')(

'張三');

//我的學校是西郵,我的專業是計科,我的名字是張三。

first

('西郵')(

'計科')(

'李四');

//我的學校是西郵,我的專業是計科,我的名字是李四。

first

('西郵')(

'軟體')(

'王五');

//我的學校是西郵,我的專業是軟體,我的名字是王五。

當然我們也可用柯里化後的函式進行引數復用,延遲執行等。

函式柯里化

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

函式柯里化

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

函式柯里化

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