Function.prototype.bind是ES5的API，所以坑爹的IE6/7/8均不支持，所以才有了自己實(shí)現(xiàn)的需求。

只要在百度搜Function.prototype.bind的實(shí)現(xiàn)，一般都能搜到這段代碼。

它能恰好的實(shí)現(xiàn)Function.prototype.bind的功能定義，但通過看es5-shim源碼就會發(fā)現(xiàn)這種方式忽略了一些細(xì)節(jié)。

被忽略的細(xì)節(jié)1：函數(shù)的length屬性，用于表示函數(shù)的形參。
而第一階段的實(shí)現(xiàn)方式，調(diào)用bind所返回的函數(shù)的length屬性只能為0，而實(shí)際上應(yīng)該為fn.length-presetArgs.length才對啊。所以es5-shim里面就通過bound.length=Math.max(fn.length-presetArgs.length, 0)的方式重設(shè)length屬性。

被忽略的細(xì)節(jié)2：函數(shù)的length屬性值是不可重寫的，使用現(xiàn)代瀏覽器執(zhí)行下面的代碼驗(yàn)證吧！

因此es5-shim中的實(shí)現(xiàn)方式是無效的。既然不能修改length的屬性值，那么在初始化時(shí)賦值總可以吧，也就是定義函數(shù)的形參個(gè)數(shù)！于是我們可通過eval和new Function的方式動(dòng)態(tài)定義函數(shù)來。
3. 被忽略的細(xì)節(jié)3：eval和new Function中代碼的執(zhí)行上下文的區(qū)別。
簡單來說在函數(shù)體中調(diào)用eval，其代碼的執(zhí)行上下文會指向當(dāng)前函數(shù)的執(zhí)行上下文；而new Function或Function中代碼的執(zhí)行上下文將一直指向全局的執(zhí)行上下文。
舉個(gè)栗子：

因此這里我們要是用eval來動(dòng)態(tài)定義函數(shù)了。
具體實(shí)現(xiàn)：

現(xiàn)在成功設(shè)置了函數(shù)的length屬性了。不過還有些遺漏。

被忽視的細(xì)節(jié)4：通過Function.prototype.bind生成的構(gòu)造函數(shù)。我在日常工作中沒這樣用過，不過這種情況確實(shí)需要考慮，下面我們先了解原生的Function.prototype.bind生成的構(gòu)造函數(shù)的行為吧！請用現(xiàn)代化瀏覽器執(zhí)行下面的代碼：

test("ctor produced by native Function.prototype.bind", function(){
 var Ctor = function(x, y){
    this.x = x;
    this.y = y;
  }
 var scope = {x: "scopeX", y: "scopeY"};
 var Bound = Ctor.bind(scope);
 var ins = new Bound("insX", "insY");
 ok(ins.x === "insX" && ins.y === "insY" && scope.x === "scopeX" && scope.y === "scopeY", "no presetArgs");

  Bound = Ctor.bind(scope, "presetX");
  ins = new Bound("insY", "insOther");
  ok(ins.x === "presetX" && ins.y === "insY" && scope.x === "scopeX" && scope.y === "scopeY", "with presetArgs");
});

行為如下：

  
this屬性不會被綁定
  
預(yù)設(shè)實(shí)參有效
  

下面是具體實(shí)現(xiàn)

Function.prototype.bind = Function.prototype.bind
   || function(){
     var fn = this, presetArgs = [].slice.call(arguments); 
     var context = presetArgs.shift();
     var strOfThis = fn.toString(); // 函數(shù)反序列化，用于獲取this的形參
     var fpsOfThis = /^function[^()]*((.*?))/i.exec(strOfThis)[1].trim().split(",");// 獲取this的形參
     var lengthOfBound = Math.max(fn.length - presetArgs.length, 0);
     var boundArgs = lengthOfBound && fpsOfThis.slice(presetArgs.length) || [];// 生成bound的形參
     eval("function bound(" 
     + boundArgs.join(",")
     + "){"
     + "if (this instanceof bound){"
     + "var self = new fn();"
     + "fn.apply(self, presetArgs.concat([].slice.call(arguments)));"
     + "return self;"   
     + "}"
     + "return fn.apply(context, presetArgs.concat([].slice.call(arguments)));"
     + "}");
     return bound;         
   };

現(xiàn)在連構(gòu)造函數(shù)作為使用方式都考慮到了，應(yīng)該算是功德圓滿了吧！NO，上面的實(shí)現(xiàn)只是基礎(chǔ)的實(shí)現(xiàn)而已，并且隱藏一些bugs！
潛伏的bugs列表：

  
var self = new fn()，如果fn函數(shù)體存在實(shí)參為空則拋異常呢？
  
bound函數(shù)使用字符串拼接不利于修改和檢查，既不優(yōu)雅又容易長蟲。
  

針對第三階段的問題，最后得到下面的實(shí)現(xiàn)方式

if(!Function.prototype.bind){
var _bound = function(){
    if (this instanceof bound){
          var ctor = function(){};
          ctor.prototype = fn.prototype;
          var self = new ctor();
          fn.apply(self, presetArgs.concat([].slice.call(arguments))); 
          return self;
        }
        return fn.apply(context, presetArgs.concat([].slice.call(arguments)));
}
, _boundStr = _bound.toString();
Function.prototype.bind = function(){
    var fn = this, presetArgs = [].slice.call(arguments);
    var context = presetArgs.shift();

     var strOfThis = fn.toString(); // 函數(shù)反序列化，用于獲取this的形參
     var fpsOfThis = /^function[^()]*((.*?))/i.exec(strOfThis)[1].trim().split(",");// 獲取this的形參
     var lengthOfBound = Math.max(fn.length - presetArgs.length, 0);
     var boundArgs = lengthOfBound && fpsOfThis.slice(presetArgs.length) || [];// 生成bound的形參
     // 通過函數(shù)反序列和字符串替換動(dòng)態(tài)定義函數(shù)    
     var bound = eval("(0," + _boundStr.replace("function()", "function(" + boundArgs.join(",") + ")") + ")"); 

     return bound;
 };

// 分別用impl1,impl2,impl3,impl4代表上述四中實(shí)現(xiàn)方式
var start, end, orig = function(){};

start = (new Date()).getTime();
Function.prototype.bind = impl1;
for(var i = 0, len = 100000; i++ < len;){
   orig.bind({})();
}
end = (new Date()).getTime();
console.log((end-start)/1000); // 輸出1.387秒

start = (new Date()).getTime();
Function.prototype.bind = impl2;
for(var i = 0, len = 100000; i++ < len;){
   orig.bind({})();
}
end = (new Date()).getTime();
console.log((end-start)/1000); // 輸出4.013秒

start = (new Date()).getTime();
Function.prototype.bind = impl3;
for(var i = 0, len = 100000; i++ < len;){
     orig.bind({})();
}
end = (new Date()).getTime();
console.log((end-start)/1000); // 輸出4.661秒

start = (new Date()).getTime();
Function.prototype.bind = impl4;
for(var i = 0, len = 100000; i++ < len;){
    orig.bind({})();
}
end = (new Date()).getTime();
console.log((end-start)/1000); // 輸出4.485秒

由此得知運(yùn)行效率最快是第一階段的實(shí)現(xiàn)，而且證明通過eval動(dòng)態(tài)定義函數(shù)確實(shí)耗費(fèi)資源?。。?！
當(dāng)然我們可以通過空間換時(shí)間的方式（Momoized技術(shù)）來緩存bind的返回值來提高性能，經(jīng)測試當(dāng)?shù)谒碾A段的實(shí)現(xiàn)方式加入緩存后性能測試結(jié)果為1.456，性能與第一階段的實(shí)現(xiàn)相當(dāng)接近了。

eval的用法

new Function的用法

除new操作符外的構(gòu)造函數(shù)的用法

JScript（IE6/7/8）下詭異的命名函數(shù)表達(dá)式

Momoized技術(shù)

在這之前從來沒想過一個(gè)Function.prototype.bind的polyfill會涉及這么多知識點(diǎn)，感謝es5-shim給的啟發(fā)。
我知道還會有更優(yōu)雅的實(shí)現(xiàn)方式，歡迎大家分享出來！一起面對javascript的痛苦與快樂！

如果您覺得本文的內(nèi)容有趣就掃一下吧！捐贈互勉！

??