上一篇從一道面試題，到“我可能看了假源碼”中，由淺入深介紹了關于一篇經典面試題的解法。
最后在皆大歡喜的結尾中，突生變化，懸念又起。這一篇，就是為了解開這個懸念。

如果你還沒有看過前傳，可以參看前情回顧：

回顧1. 題目是模擬實現ES5中原生bind函數；
回顧2. 我們通過4種遞進實現達到了完美狀態；
回顧3. 可是ES5-shim中的實現，又讓我們大跌眼鏡...

ES5-shim的懸念

ES5-shim實現方式源碼貼在了最后，我們看看他做了什么奇怪的事情：
1）從結果上看，返回了bound函數。
2）bound函數是這樣子聲明的：

bound = Function('binder', 'return function (' + boundArgs.join(',') + '){ return binder.apply(this, arguments); }')(binder);

3）bound使用了系統自己的構造函數Function來聲明，第一個參數是binder，函數體內又binder.apply(this, arguments)。
我們知道這種動態創建函數的方式，類似eval。最好不要使用它，因為用它定義函數比用傳統方式要慢得多。
4）那么ES5-shim抽風了嗎？

追根問底

答案肯定是沒抽風，他這樣做是有理由的。

神秘的函數的length屬性

你可能不知道，每個函數都有length屬性。對，就像數組和字符串那樣。函數的length屬性，用于表示函數的形參個數。更重要的是函數的length屬性值是不可重寫的。我寫了個測試代碼來證明：

function test (){} test.length // 輸出0 test.hasOwnProperty('length') // 輸出true Object.getOwnPropertyDescriptor('test', 'length') // 輸出： // configurable: false, // enumerable: false, // value: 4, // writable: false

撥云見日

說到這里，那就好解釋了。
ES5-shim是為了最大限度的進行兼容，包括對返回函數length屬性的還原。如果按照我們之前實現的那種方式，length值始終為零。
所以：既然不能修改length的屬性值，那么在初始化時賦值總可以吧！
于是我們可通過eval和new Function的方式動態定義函數來。
同時，很有意思的是，源碼里有這樣的注釋：

// XXX Build a dynamic function with desired amount of arguments is the only // way to set the length property of a function. // In environments where Content Security Policies enabled (Chrome extensions, // for ex.) all use of eval or Function costructor throws an exception. // However in all of these environments Function.prototype.bind exists // and so this code will never be executed.

他解釋了為什么要使用動態函數，就如同我們上邊所講的那樣，是為了保證length屬性的合理值。但是在一些瀏覽器中出于安全考慮，使用eval或者Function構造器都會被拋出異常。但是，巧合也就是這些瀏覽器基本上都實現了bind函數，這些異常又不會被觸發。

So, What a coincidence!

嘆為觀止

我們明白了這些，再看他的進一步實現：

if (!isCallable(target)) {throw new TypeError('Function.prototype.bind called on incompatible ' + target); }

這是為了保證調用的正確性，他使用了isCallable做判斷，isCallable很好實現：

isCallable = function isCallable(value) { if (typeof value !== 'function') { return false; } }

重設綁定函數的length屬性：

var boundLength = max(0, target.length - args.length);

構造函數調用情況，在binder中也有效兼容。如果你不明白什么是構造函數調用情況，可以參考上一篇。

if (this instanceof bound) { ... // 構造函數調用情況 } else {... // 正常方式調用 }if (target.prototype) {Empty.prototype = target.prototype;bound.prototype = new Empty();// Clean up dangling references.Empty.prototype = null; }

無窮無盡

當然，ES5-shim里還歸納了幾項todo...

// TODO // 18. Set the [[Extensible]] internal property of F to true. // 19. Let thrower be the [[ThrowTypeError]] function Object (13.2.3). // 20. Call the [[DefineOwnProperty]] internal method of F with // arguments "caller", PropertyDescriptor {[[Get]]: thrower, [[Set]]: // thrower, [[Enumerable]]: false, [[Configurable]]: false}, and // false. // 21. Call the [[DefineOwnProperty]] internal method of F with // arguments "arguments", PropertyDescriptor {[[Get]]: thrower, // [[Set]]: thrower, [[Enumerable]]: false, [[Configurable]]: false}, // and false. // 22. Return F.

比較簡單，我就不再翻譯了。

源碼回放

bind: function bind(that) {var target = this;if (!isCallable(target)) {throw new TypeError('Function.prototype.bind called on incompatible ' + target);}var args = array_slice.call(arguments, 1);var bound;var binder = function () {if (this instanceof bound) {var result = target.apply(this,array_concat.call(args, array_slice.call(arguments)));if ($Object(result) === result) {return result;}return this;} else {return target.apply(that,array_concat.call(args, array_slice.call(arguments)));}};var boundLength = max(0, target.length - args.length);var boundArgs = [];for (var i = 0; i < boundLength; i++) {array_push.call(boundArgs, '$' + i);}bound = Function('binder', 'return function (' + boundArgs.join(',') + '){ return binder.apply(this, arguments); }')(binder);if (target.prototype) {Empty.prototype = target.prototype;bound.prototype = new Empty();Empty.prototype = null;}return bound; }

總結

通過學習ES5-shim的源碼實現bind方法，結合前一篇，希望讀者能對bind和JS包括閉包，原型原型鏈，this等一系列知識點能有更深刻的理解。
同時在程序設計上，尤其是邏輯的嚴密性上，有所積累。

PS：百度知識搜索部大前端繼續招兵買馬，有意向者火速聯系。。。

總結

以上是生活随笔為你收集整理的从一道面试题，到“我可能看了假源码［2］的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。