比如我們現在有這樣乙個函式,傳入乙個學生的學校,專業和名字三個引數。對這三個資料做一點處理然後再輸出。
接觸函式柯里化之前的都是這樣的思想:
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...