摘要：而模擬的方法返回的函數(shù)用作構(gòu)造函數(shù)時(shí)，生成的對(duì)象為。同樣，使用運(yùn)算符時(shí)，綁定構(gòu)造函數(shù)和未綁定構(gòu)造函數(shù)并無兩樣。標(biāo)準(zhǔn)的方法創(chuàng)建一個(gè)新函數(shù)稱為綁定函數(shù)，新函數(shù)與被調(diào)函數(shù)綁定函數(shù)的目標(biāo)函數(shù)具有相同的函數(shù)體在規(guī)范中內(nèi)置的屬性。

這是一道面試題，題目給出了使用bind方法的樣例，要求用javascript實(shí)現(xiàn)這個(gè)方法，面試官還很善意的提醒我函數(shù)柯里化，然而，我還是不會(huì)這道題目，所以回來這會(huì)《javacript權(quán)威指南》和《javacript 高級(jí)教程》開始學(xué)習(xí)相關(guān)知識(shí)。

bind()是在ECMAScript5中新增的方法，但是在ECMAScript3中可以輕易的模擬bind()。

這部分參考了《javacript權(quán)威指南》權(quán)威指南的p191，ECMAScript3版本的Function.bind()方法的實(shí)現(xiàn)。

if(!Function.prototype.bind){
    Function.prototype.bind = function(o){
        // 將`this`和`arguments`的值保存在變量中，以便在后面嵌套的函數(shù)中可以使用它們
        var self = this,
            boundArgs = arguments;
        //bind方法的返回值是一個(gè)函數(shù)
        return function(){
            var args = [],//創(chuàng)建一個(gè)實(shí)參列表，將傳入的bind()的第二個(gè)及后續(xù)的實(shí)參都傳入這個(gè)函數(shù)。
                i;
            for(i=1;i
版本一存在的問題
上述ECMAScript3版本的Function.bind()方法和ECMAScript5中定義的bind()有些出入，主要有以下三個(gè)方面。
真正的bind()方法（ECMAScript5中定義的bind()）返回一個(gè)函數(shù)對(duì)象，這個(gè)函數(shù)對(duì)象的length屬性是綁定函數(shù)的形參個(gè)數(shù)減去綁定實(shí)參的個(gè)數(shù)。而模擬的bind()方法返回的函數(shù)對(duì)象的length屬性的值為0.


真正的bind()方法可以順帶用作構(gòu)造函數(shù)，此時(shí)將忽略傳入bind()的this，原始函數(shù)就會(huì)以構(gòu)造函數(shù)的形式調(diào)用，其實(shí)參也已經(jīng)綁定。而模擬的bind()方法返回的函數(shù)用作構(gòu)造函數(shù)時(shí)，生成的對(duì)象為Object()。


真正的bind()方法所返回的函數(shù)并不包含prototype屬性（普通函數(shù)固有的prototype屬性是不能刪除的），并且將這些綁定的函數(shù)用作構(gòu)造函數(shù)時(shí)所創(chuàng)建的對(duì)象從原始的未綁定的構(gòu)造函數(shù)中繼承prototype。同樣，使用instanceof運(yùn)算符時(shí)，綁定構(gòu)造函數(shù)和未綁定構(gòu)造函數(shù)并無兩樣。


版本二
針對(duì)上述ECMAScript3版本的Function.bind()方法存在的問題，《JavaScript Web Application》一書中給出的版本有針對(duì)性的修復(fù)了這些問題。
Function.prototype.bind = function(context){
    var args = Array.prototype.slice.call(arguments,1),//要點(diǎn)3
        self = this,
        F = function(){};//要點(diǎn)1
        bound = function(){
            var innerArgs = Array.prototype.slice.call(arguments);
            var finalArgs = args.concat(innerArgs);
            return self.apply((this instanceof F ? this : context),finalArgs);//要點(diǎn)2
        };
        F.prototype = self.prototype;
        bound.prototype = new F();
        return bound;
}
要點(diǎn)1，解釋

如下這段代碼，實(shí)際上用到了原型式繼承。這跟ECMAscript5中的Object.creat()方法只接受一個(gè)參數(shù)時(shí)是一樣的。
F = function(){};//要點(diǎn)1
...
F.prototype = self.prototype;
bound.prototype = new F();
要點(diǎn)2，解釋

如下這段代碼，是要判斷通過bind方法綁定得到的函數(shù)，是直接調(diào)用還是用作構(gòu)造函數(shù)通過new來調(diào)用的。
this instanceof F ? this : context
為了分析這段代碼的具體含義，需要知道通過構(gòu)造函數(shù)生成對(duì)象時(shí)，new操作符都干了啥。比如如下代碼：
var a = new B()
(1).首先創(chuàng)建一個(gè)空對(duì)象，var a = {};
(2).將構(gòu)造函數(shù)的作用域賦給新對(duì)象（因此，this就指向了這個(gè)新對(duì)象）;
(3).執(zhí)行構(gòu)造函數(shù)中的代碼（為這個(gè)新對(duì)象添加屬性）, B.call(a);
(4).繼承被構(gòu)造函數(shù)的原型，a._proto_ = B.prototype;
(5).返回這個(gè)新對(duì)象。
標(biāo)準(zhǔn)的bind方法：
創(chuàng)建一個(gè)新函數(shù)(稱為綁定函數(shù))，新函數(shù)與被調(diào)函數(shù)(綁定函數(shù)的目標(biāo)函數(shù))具有相同的函數(shù)體(在 ECMAScript 5 規(guī)范中內(nèi)置的call屬性)。當(dāng)目標(biāo)函數(shù)被調(diào)用時(shí)this值綁定到bind()的第一個(gè)參數(shù)，該參數(shù)不能被重寫。綁定函數(shù)被調(diào)用時(shí)，bind() 也接受預(yù)設(shè)的參數(shù)提供給原函數(shù)。一個(gè)綁定函數(shù)也能使用new操作符創(chuàng)建對(duì)象：這種行為就像把原函數(shù)當(dāng)成構(gòu)造器。提供的this值被忽略，同時(shí)調(diào)用時(shí)的參數(shù)被提供給模擬函數(shù)。
通過原型鏈的繼承可以判斷綁定函數(shù)是否用作了構(gòu)造函數(shù)，通過new操作符來調(diào)用。假設(shè)目標(biāo)函數(shù)為funObj,綁定函數(shù)為funBind.即

var funBind = funObj.bind(context);
var obj = new funBind();
上面代碼具有如下繼承關(guān)系(這里畫出繼承關(guān)系圖更容易理解):
obj instanceof funBind // true

funBind.prototype instanceof F //true

F.prototype = self.prototyep
a instanceof B原理，是判斷B.prototype是否存在于a的原型鏈中。因此有
obj instanceof F // true
此外，要點(diǎn)2這里還用到了借用構(gòu)造函數(shù)來實(shí)現(xiàn)繼承，如下代碼
self.apply(this,finalArgs)
要點(diǎn)3，解釋

這里實(shí)際上是將類數(shù)組對(duì)象轉(zhuǎn)化為數(shù)組，因?yàn)轭悢?shù)組對(duì)象，比如arguments、nodelist;雖然很像數(shù)組，比如具有length屬性，但是不是數(shù)組，比如，沒有concat、slice這些方法.
常用的將類數(shù)組對(duì)象轉(zhuǎn)為數(shù)組的方法有
(1).Array.prototype.slice.call
(2).擴(kuò)展運(yùn)算符...，比如[...arguments]
(3). Array.from();

版本二測(cè)試
測(cè)試1

可見，版本二并沒有解決版本一的問題1和3
測(cè)試2

可見版本二解決了版本一的問題2
版本二的精簡(jiǎn)版
版本二中要點(diǎn)1和要點(diǎn)2看著很不爽，于是，我給精簡(jiǎn)了一下，測(cè)試結(jié)果與版本二相同。
Function.prototype.bind = function(context){
    var args = Array.prototype.slice.call(arguments,1),//要點(diǎn)3
        self = this,
        //F = function(){};//要點(diǎn)1
        bound = function(){
            var innerArgs = Array.prototype.slice.call(arguments);
            var finalArgs = args.concat(innerArgs);
            //return self.apply((this instanceof F ? this : context),finalArgs);//要點(diǎn)2
            return self.apply((this instanceof self ? this : context),finalArgs);//要點(diǎn)2
        };
        //F.prototype = self.prototype;
        //bound.prototype = new F();
        bound.prototype = self.prototype;
        return bound;
}
測(cè)試結(jié)果如下：

二、bind函數(shù)應(yīng)用
關(guān)于bind函數(shù)的應(yīng)用這里只提兩點(diǎn)在我使用這個(gè)方法的時(shí)候，遇到的讓我剛開始比較懵逼仔細(xì)一想還真是這么回事的問題。
一段神奇的代碼
var unBindSlice = Array.prototype.slice;
var bindSlice = Function.prototype.call.bind(unBindSlice);
...

bindSlice(arguments);
測(cè)試一下

這段代碼的作用就是將一個(gè)類數(shù)組對(duì)象轉(zhuǎn)化為真正的數(shù)組，是下面這段代碼的另一種寫法而已
Array.prototype.slice.call(arguments);
將一個(gè)函數(shù)對(duì)象作為bind的context，這種寫法的作用是，為需要特定this值的函數(shù)創(chuàng)造捷徑。

bind函數(shù)只創(chuàng)建一個(gè)新函數(shù)而不執(zhí)行
私以為這是bind和call與apply方法的一個(gè)重要差別，call和apply這兩個(gè)方法都會(huì)立即執(zhí)行函數(shù)，返回的是函數(shù)執(zhí)行后的結(jié)果。而bind函數(shù)只創(chuàng)建一個(gè)新函數(shù)而不執(zhí)行。
之前看過一段錯(cuò)誤的代碼，就是用apply改變一個(gè)構(gòu)造函數(shù)的this，緊接著又用這個(gè)構(gòu)造函數(shù)創(chuàng)建新對(duì)象，毫無疑問這是錯(cuò)誤的，遺憾的是找不到這段錯(cuò)誤代碼的出處了。
三、函數(shù)柯里化
函數(shù)柯里化是與函數(shù)綁定緊密相關(guān)的一個(gè)主題，它用于創(chuàng)建已經(jīng)設(shè)置好了一個(gè)或者多個(gè)參數(shù)的函數(shù)。函數(shù)柯里化的基本方法與函數(shù)綁定是一樣的：使用一個(gè)閉包返回一個(gè)函數(shù)。
柯里化函數(shù)通常創(chuàng)建步驟如下：調(diào)用另一個(gè)函數(shù)并為它傳入要柯里化的函數(shù)和必要參數(shù)。同樣方式如下：

function curry(fn){
    var args = Array.prototype.slice.call(arguments,1);
    return function(){
        var innerArgs = Array.prototype.slice.call(arguments);
        var finalArgs = args.concat(innerArgs);
        return fn.apply(null, finalArgs);
    };
}
有沒有感到很熟悉，其實(shí)上面bind方法的兩個(gè)實(shí)現(xiàn)版本都用到了函數(shù)柯里化，區(qū)別在于，這里的通用函數(shù)沒用考慮到執(zhí)行環(huán)境。
曾經(jīng)看過一段類似函數(shù)柯里化的代碼，私以為很巧妙，如下：

假如有一個(gè)對(duì)象數(shù)組，想要根據(jù)對(duì)象的某個(gè)屬性來對(duì)其進(jìn)行排序。而傳遞給sort方法的比較函數(shù)只能接受兩個(gè)參數(shù)，即比較的值，這樣就無法指定排序的對(duì)象屬性了。如何將需要三個(gè)參數(shù)的函數(shù)轉(zhuǎn)化為滿足要求的僅需要兩個(gè)參數(shù)？要解決這個(gè)問題，可以定義一個(gè)函數(shù)，它接收一個(gè)屬性名，然后根據(jù)這個(gè)屬性名創(chuàng)建并返回一個(gè)比較函數(shù)，如下：
function createComparisionFunction(property){
    return function(obj1,obj2){
        return obj1[property]-obj2[property];
    };
}
四、參考文獻(xiàn)
1.Javascript中bind()方法的使用與實(shí)現(xiàn).
2.javascript原生一步步實(shí)現(xiàn)bind分析.
3.JS中的bind方法與函數(shù)柯里化.