函數(shù)式編程是一種如今比較流行的編程范式，它主張將函數(shù)作為參數(shù)進(jìn)行傳遞，然后返回一個(gè)沒有副作用的函數(shù)，說白了，就是希望一個(gè)函數(shù)只做一件事情。

像Javascript，Haskell，Clojure等編程語言都支持函數(shù)式編程。

這種編程思想涵蓋了三個(gè)重要的概念：

而這篇文章主要是想向大家講清楚柯里化這個(gè)概念。

什么是柯里化

首先我們先來看一個(gè)例子：

function sum(a, b, c) { return a + b + c;}// 調(diào)用sum(1, 2, 3); // 6

上述函數(shù)實(shí)現(xiàn)的是將a,b,c三個(gè)參數(shù)相加，改寫為柯里化函數(shù)如下：

function sum(a) { return function (b) { return function(c) { return a + b + c; } }}// 調(diào)用let sum1 = sum(1);let sum2 = sum1(2);sum2(3); // 6

所謂柯里化就是把具有較多參數(shù)的函數(shù)轉(zhuǎn)換成具有較少參數(shù)的函數(shù)的過程。

我們來一步步看上面那個(gè)柯里化函數(shù)做了什么，首先第一步調(diào)用了sum(1)，此時(shí)變量sum1相當(dāng)于：

sum1 = function(b) { return function(c) { // 注意此時(shí)變量a存在于閉包中，可以調(diào)用，a = 1 return a + b + c; }}

然后調(diào)用sum1(2)，此時(shí)賦值給變量sum2相當(dāng)于：

sum2 = function(c) { // 變量a,b皆在閉包中, a = 1, b = 2 return a + b + c;}

最后調(diào)用sum2(3)，返回1 + 2 + 3的結(jié)果6；

這就是一個(gè)最簡(jiǎn)單的柯里化函數(shù)，是不是很簡(jiǎn)單呢？

柯里化函數(shù)的作用

那么問題來了，上面改寫后的柯里化函數(shù)和原函數(shù)比起來代碼多了不少，而且也不如原函數(shù)好理解，柯里化函數(shù)到底有什么用呢？

確實(shí)，柯里化函數(shù)在這里看起來的確是很臃腫，不實(shí)用，但在很多場(chǎng)景下他的作用是很大的，甚至很多人在不經(jīng)意間已經(jīng)在使用柯里化函數(shù)了。舉一個(gè)簡(jiǎn)單的例子：

假設(shè)我們有一批的長(zhǎng)方體，我們需要計(jì)算這些長(zhǎng)方體的體積，實(shí)現(xiàn)一個(gè)如下函數(shù)：

function volume(length, width, height) { return length * width * height;}volume(200, 100, 200);volume(200, 150, 100);volume(200, 50, 80);volume(100, 50, 60);

如上計(jì)算長(zhǎng)方體的體積函數(shù)會(huì)發(fā)現(xiàn)存在很多相同長(zhǎng)度的長(zhǎng)方體，我們?cè)儆每吕锘瘮?shù)實(shí)現(xiàn)一下：

function volume(length, width, height) { return function(width) { return function(height) { return length * width * height; } }}let len200 = volume(200);len200(100)(200);len200(150)(100);len200(50)(80);volume(100)(50)(60);

如上，通過實(shí)現(xiàn)一個(gè)len200函數(shù)我們統(tǒng)一處理長(zhǎng)度為200的長(zhǎng)方體的體積，這就實(shí)現(xiàn)了參數(shù)復(fù)用。

我們?cè)倥e一個(gè)只執(zhí)行一次函數(shù)的例子：

function execOnce(fun) { let flag = true; return function() { if (flag) { fun && fun(); flag = false; } }}let onceConsole = execOnce(function() { console.log(’只打印一次’);});onceConsole();onceConsole();

如上，我們實(shí)現(xiàn)了一個(gè)execOnce函數(shù)，該函數(shù)接受一個(gè)函數(shù)參數(shù)，然后返回一個(gè)函數(shù)，變量flag存在閉包中，用來判斷返回的函數(shù)是否執(zhí)行過，onceConsole相當(dāng)于：

let onceConsole = function() { if (flag) { (function() { console.log(’只打印一次’); })() flag = false; }}

這也是柯里化函數(shù)的一個(gè)簡(jiǎn)單應(yīng)用。

通用柯里化函數(shù)的實(shí)現(xiàn)

既然柯里化函數(shù)這么實(shí)用，那么我們能不能實(shí)現(xiàn)一個(gè)通用的柯里化函數(shù)呢？所謂通用，就是說該函數(shù)可以把函數(shù)參數(shù)轉(zhuǎn)換為柯里化函數(shù)，看下第一版實(shí)現(xiàn)的代碼：

// 第一版var curry = function (fn) { var args = [].slice.call(arguments, 1); return function() { var newArgs = args.concat([].slice.call(arguments)); return fn.apply(null, newArgs); };}; function add(a, b) { return a + b; }var addFun = curry(add, 1, 2);addFun() // 3//或者var addOne = curry(add, 1);

如上代碼，我們接受一個(gè)函數(shù)作為參數(shù)，然后收集其它的參數(shù)，將這些參數(shù)傳給這個(gè)函數(shù)參數(shù)去執(zhí)行。但上面的代碼有個(gè)問題，參數(shù)不夠自由，比如我們想這么調(diào)用就會(huì)報(bào)錯(cuò)：

var addFun = curry(function(a, b,c) { return a + b + c;}, 1);addFun(2)(3); // 報(bào)錯(cuò) addFun(...) is not a function

這好像違背了我們參數(shù)復(fù)用的原則，改進(jìn)如下：

function curry(fn, args) { var length = fn.length; args = args || []; return function(...rest) { var _args = [...args, ...rest]; return _args.length < length ? curry.call(this, fn, _args) : fn.apply(this, _args); }}var fn = curry(function(a, b, c) { console.log(a + b + c);});fn(’a’, ’b’, ’c’); // abcfn(’a’, ’b’)(’c’); // abcfn(’a’)(’b’)(’c’); // abc

如上實(shí)現(xiàn)就很完善，該工具函數(shù)的實(shí)現(xiàn)總結(jié)起來就一句話：

利用閉包將函數(shù)的參數(shù)儲(chǔ)存起來，等參數(shù)達(dá)到一定數(shù)量時(shí)執(zhí)行函數(shù)。

以上就是本文的全部?jī)?nèi)容，希望對(duì)大家的學(xué)習(xí)有所幫助，也希望大家多多支持好吧啦網(wǎng)。