從一道面試題談?wù)労瘮?shù)柯里化(Currying)

cppprimer 發(fā)布于2019-08-20 13:55 / 613人閱讀

摘要：忍者秘籍一書中，對于柯里化的定義如下在一個(gè)函數(shù)中首先填充幾個(gè)參數(shù)然后再返回一個(gè)新函數(shù)的技術(shù)稱為柯里化。回到我們的題目本身，其實(shí)根據(jù)測試用例我們可以發(fā)現(xiàn)，函數(shù)的要求就是接受單一函數(shù)，例如但是與柯里化不同之處在于，柯里化返回的一個(gè)新函數(shù)。

　　歡迎大家再一次來到我的文章專欄:從面試題中我們能學(xué)到什么，各位同行小伙伴是否已經(jīng)開始了悠閑的春節(jié)假期呢?在這里提前祝大家雞年大吉吧~哈哈，之前有人說，學(xué)面試題不會有什么長進(jìn)，其實(shí)我覺得這個(gè)就像是我們英語考試中的閱讀理解，帶著問題去看文章反而更有利于自己的學(xué)習(xí)。
　　之前的兩篇文章:

一道頗有難度的JavaScript題

一個(gè)小小的JavaScript題目

都在稀土掘金和Segmentfault都獲得了非常多的點(diǎn)擊量，沒有看的小伙伴們可以點(diǎn)擊了解一下，今天為大家?guī)硪坏狸P(guān)于閉包和函數(shù)的柯里化方面的編程題目，各位小伙伴有沒有開始躍躍欲試呢？
　　編程題目的要求如下，完成plus函數(shù)，通過全部的測試用例。

"use strict";
function plus(n){
  
}
module.exports = plus

測試用例如下

"use strict";
var assert = require("assert")

var plus = require("../lib/assign-4")

describe("閉包應(yīng)用",function(){
  it("plus(0) === 0",function(){
    assert.equal(0,plus(0).toString())
  })
  it("plus(1)(1)(2)(3)(5) === 12",function(){
    assert.equal(12,plus(1)(1)(2)(3)(5).toString())
  })
  it("plus(1)(4)(2)(3) === 10",function(){
    assert.equal(10,plus(1)(4)(2)(3).toString())
  })
  it("方法引用",function(){
    var plus2 = plus(1)(1)
    assert.equal(12,plus2(1)(4)(2)(3).toString())
  })
})

　　實(shí)話說剛開始拿到這道題的時(shí)候我并沒有完全的做出來，但是具體的思路是有的，肯定是關(guān)于函數(shù)的柯里化(Currying)方面的，應(yīng)該是想考察一下面試者的閉包理解能力.
　　那么首先介紹一下什么是函數(shù)的柯里化(Currying)。《JavaScript忍者秘籍》一書中，對于柯里化的定義如下：
　　

在一個(gè)函數(shù)中首先填充幾個(gè)參數(shù)(然后再返回一個(gè)新函數(shù))的技術(shù)稱為柯里化(Currying。

維基百科中關(guān)于其定義如下：

在計(jì)算機(jī)科學(xué)中，柯里化（Currying），又譯為卡瑞化或加里化，是把接受多個(gè)參數(shù)的函數(shù)變換成接受一個(gè)單一參數(shù)（最初函數(shù)的第一個(gè)參數(shù)）的函數(shù)，并且返回接受余下的參數(shù)而且返回結(jié)果的新函數(shù)的技術(shù)。這個(gè)技術(shù)由克里斯托弗·斯特雷奇以邏輯學(xué)家哈斯凱爾·加里命名的。

　　首先我們舉個(gè)例子來具體的解釋一下以上的概念。
　　例如一個(gè)最簡單的加法函數(shù)：

//函數(shù)定義
function add(x,y){
    return x + y;
}
//函數(shù)調(diào)用
add(3,4);//5

　　如果采用柯里化是怎樣將接受兩個(gè)參數(shù)的函數(shù)變成接受單一參數(shù)的函數(shù)呢，其實(shí)很簡單如下：

//函數(shù)表達(dá)式定義
var add = function(x){
    return function(y){
        return x + y;
    }
};
//函數(shù)調(diào)用
add(3)(4);

　　這樣理解起來其實(shí)是不是就很簡單了，其實(shí)實(shí)質(zhì)利用的就是閉包的概念(大家可以在我的另一篇文章淺談JavaScript閉包看一下)。本質(zhì)上講柯里化(Currying)只是一個(gè)理論模型，柯里化所要表達(dá)是:如果你固定某些參數(shù)，你將得到接受余下參數(shù)的一個(gè)函數(shù),所以對于有兩個(gè)變量的函數(shù)y^x，如果固定了y=2，則得到有一個(gè)變量的函數(shù)2^x。這就是求值策略中的部分求值策略。
　　柯里化(Currying)具有：延遲計(jì)算、參數(shù)復(fù)用、動(dòng)態(tài)生成函數(shù)的作用。例如如果我們需要?jiǎng)?chuàng)建一個(gè)通用的DOM事件綁定函數(shù)，不使用柯里化的寫法如下(該示例來自于博客園Tong Zeng)：

//第四個(gè)參數(shù)用來標(biāo)識是在冒泡階段還是在捕獲階段執(zhí)行函數(shù)
var addEvent = function(el,type,fn,capture){
    if (window.addEventListener) {
         el.addEventListener(type, function(e) {
             fn.call(el, e);
         }, capture);
     } else if (window.attachEvent) {
         el.attachEvent("on" + type, function(e) {
             fn.call(el, e);
         });
     } 
}

　　但是在使用了柯里化(Currying)的情況下，不再需要每次添加事件處理都要執(zhí)行一遍if...else...判斷，只需要在瀏覽器中判定一次就可以了，把根據(jù)一次判定之后的結(jié)果動(dòng)態(tài)生成新的函數(shù)，以后就不必重新計(jì)算。其實(shí)在實(shí)際使用中使用最多的一個(gè)柯里化的例子就是Function.prototype.bind()函數(shù)，我們也一并給出一個(gè)較為簡單的Function.prototype.bind()函數(shù)的實(shí)現(xiàn)方式。

Function.prototype.bind = function(){
    var fn = this;
    var args = Array.prototye.slice.call(arguments);
    var context = args.shift();

    return function(){
        return fn.apply(context,
            args.concat(Array.prototype.slice.call(arguments)));
    };
};

　　回到我們的題目本身，其實(shí)根據(jù)測試用例我們可以發(fā)現(xiàn)，plus函數(shù)的要求就是接受單一函數(shù)，例如：

plus(1)(4)(2)(3).toString()

但是與柯里化不同之處在于，柯里化返回的一個(gè)新函數(shù)。我們觀察其實(shí)最后的求值是通過toString函數(shù)得到的，那么我們就很容易想到，我們可以給返回的函數(shù)增加一個(gè)toString屬性就可以了。我自己寫出的答案如下：

/**
 * Created by lei.wang on 2017/1/22.
 */

"use strict";

function plus(num) {
    var adder = function () {
        var _args = [];
        var _adder = function _adder() {
            [].push.apply(_args, [].slice.call(arguments));
            return _adder;
        };

        _adder.toString = function () {
            return _args.reduce(function (a, b) {
                return a + b;
            });
        }

        return _adder;
    }
    return adder()(num);
}

module.exports = plus;

　　運(yùn)行一下,通過全部的測試用例，需要注意的是由于題目的要求運(yùn)行在嚴(yán)格模式下，所以我們在_adder函數(shù)內(nèi)部是不能引用arguments.callee，這時(shí)我們采用的方法是給函數(shù)表達(dá)式中函數(shù)本身起名_adder，這樣就解決的這個(gè)問題。
　　再次感謝大家閱讀本篇文章，希望大家能從中或多或少學(xué)到一些東西，入行資歷甚淺，不足之處請多指教，歡迎大家在去我的博客MrErHu中留言打賞，愿大家一同進(jìn)步。
　　
　　