開(kāi)個(gè)腦洞，如何使用 javascript 實(shí)現(xiàn)“仿函數(shù)”（Functor）？

anRui 發(fā)布于2019-08-21 10:55 / 1097人閱讀

摘要：中的函數(shù)本身就是對(duì)象，可以攜帶自身狀態(tài)，另外還有化等函數(shù)式編程的方法讓函數(shù)緩存狀態(tài)，基本上沒(méi)有仿函數(shù)存在的必要。

Functor

仿函數(shù)（Functor）是 C++ 里面一個(gè)重要的概念，簡(jiǎn)而言之就是使用重載了 operator() 運(yùn)算符的對(duì)象模仿函數(shù)的行為，帶來(lái)的收益是仿函數(shù)可以攜帶自身狀態(tài)，普通的 C++ 函數(shù)不是對(duì)象，做不到這一點(diǎn)。

js 中的函數(shù)本身就是對(duì)象，可以攜帶自身狀態(tài)，另外還有 curry 化等函數(shù)式編程的方法讓函數(shù)緩存狀態(tài)，基本上沒(méi)有仿函數(shù)存在的必要。最簡(jiǎn)單的你可以這樣寫(xiě)：

function foobar() {
    return foobar.a;
}

foobar.a = 1;
var b = foobar(); // b=>1

這樣，foobar 就攜帶了自身狀態(tài) a，并且可以在函數(shù)體重訪問(wèn) a。

但是這里有一個(gè)問(wèn)題：函數(shù)體中 foobar.a 這一句是利用閉包實(shí)現(xiàn)的，其中 foobar 這個(gè)引用被寫(xiě)死了，從效果上看 foobar 成了一個(gè)單例。如果我想要多個(gè) foobar 實(shí)例怎么辦呢？

以及，我比較喜歡 this 指針，而不是閉包。面對(duì)這種情況，我更喜歡這樣的寫(xiě)法：

// 偽代碼

function foobar() {
    return this.b;
}

foobar.setB = function (val) {
    this.b = val
}

var foo = new foobar;
foo.setB(1);

var b = foo(); // b=>1

js 實(shí)現(xiàn)

那么怎么實(shí)現(xiàn)呢？我之前寫(xiě)了一篇文章，里面說(shuō) js 不容易實(shí)現(xiàn)類(lèi)似的概念。但是當(dāng)時(shí)我沒(méi)細(xì)想，今天試了一下其實(shí)變動(dòng)一下接口，還是能實(shí)現(xiàn)類(lèi)似效果的。

基本的原理就是這樣：

function f() {...}
var functor = f.bind(f);

讓一個(gè)函數(shù) bind 它自己，這樣它不就能用 this 訪問(wèn)自己了嗎？但是這里還有個(gè)問(wèn)題，bind 的返回結(jié)果并不是 f 自身而是另一個(gè)函數(shù)，functor 的持有者在外部訪問(wèn)不到 f。所以這里還要用 js 的新 api defineProperty 處理一下，使得對(duì) functor 的某些屬性訪問(wèn)，轉(zhuǎn)移到 f 上去。

完整的實(shí)現(xiàn)如下：

function makeFunctor(fn, props) {
    function thisFn() {
        return fn.apply(this, Array.prototype.slice.call(arguments));
    }
    
    var ret = thisFn.bind(thisFn);
    
    for (var key in props) {
        if (!props.hasOwnProperty(key)) {
            continue;
        }

        Object.defineProperty(ret, key, {
            configurable : true,
            enumerable : true,
            
            get : function () {
                return thisFn[key];
            },
            
            set : function (value) {
                thisFn[key] = value;
            }
        });
        
        ret[key] = props[key];
    }
    
    return ret;
}

通過(guò) makeFunctor，我們可以通過(guò)一個(gè)函數(shù) fn 創(chuàng)建很多個(gè) functor，每一個(gè)都有自身的狀態(tài)，互不影響。并且在 fn 中我們可以使用 this 訪問(wèn)自身狀態(tài)。比如：

function hello () {
    alert("Hello, " + this.name);
}

hello.create = function () {
    makeFunctor(hello, {
        name : "Tom"
    });
}

var ftHello = hello.create();
var ftHello2 = hello.create();

ftHello(); // Hello, Tom"
ftHello.name = "Jack";
ftHello(); // Hello, Jack"

ftHello2(); // Hello, Tom"

最后，這只是個(gè)腦洞！每個(gè)語(yǔ)言都有自身的規(guī)律和方法論。不要真的在項(xiàng)目里這么寫(xiě)，除非你的項(xiàng)目目的就是創(chuàng)造漂亮的語(yǔ)法。