从一道面试题,到“我可能看了假源码[2]
上一篇從一道面試題,到“我可能看了假源碼”中,由淺入深介紹了關于一篇經典面試題的解法。
最后在皆大歡喜的結尾中,突生變化,懸念又起。這一篇,就是為了解開這個懸念。
如果你還沒有看過前傳,可以參看前情回顧:
回顧1. 題目是模擬實現(xiàn)ES5中原生bind函數(shù);
回顧2. 我們通過4種遞進實現(xiàn)達到了完美狀態(tài);
回顧3. 可是ES5-shim中的實現(xiàn),又讓我們大跌眼鏡...
ES5-shim的懸念
ES5-shim實現(xiàn)方式源碼貼在了最后,我們看看他做了什么奇怪的事情:
1)從結果上看,返回了bound函數(shù)。
2)bound函數(shù)是這樣子聲明的:
3)bound使用了系統(tǒng)自己的構造函數(shù)Function來聲明,第一個參數(shù)是binder,函數(shù)體內又binder.apply(this, arguments)。
我們知道這種動態(tài)創(chuàng)建函數(shù)的方式,類似eval。最好不要使用它,因為用它定義函數(shù)比用傳統(tǒng)方式要慢得多。
4)那么ES5-shim抽風了嗎?
追根問底
答案肯定是沒抽風,他這樣做是有理由的。
神秘的函數(shù)的length屬性
你可能不知道,每個函數(shù)都有l(wèi)ength屬性。對,就像數(shù)組和字符串那樣。函數(shù)的length屬性,用于表示函數(shù)的形參個數(shù)。更重要的是函數(shù)的length屬性值是不可重寫的。我寫了個測試代碼來證明:
function test (){} test.length // 輸出0 test.hasOwnProperty('length') // 輸出true Object.getOwnPropertyDescriptor('test', 'length') // 輸出: // configurable: false, // enumerable: false, // value: 4, // writable: false撥云見日
說到這里,那就好解釋了。
ES5-shim是為了最大限度的進行兼容,包括對返回函數(shù)length屬性的還原。如果按照我們之前實現(xiàn)的那種方式,length值始終為零。
所以:既然不能修改length的屬性值,那么在初始化時賦值總可以吧!
于是我們可通過eval和new Function的方式動態(tài)定義函數(shù)來。
同時,很有意思的是,源碼里有這樣的注釋:
他解釋了為什么要使用動態(tài)函數(shù),就如同我們上邊所講的那樣,是為了保證length屬性的合理值。但是在一些瀏覽器中出于安全考慮,使用eval或者Function構造器都會被拋出異常。但是,巧合也就是這些瀏覽器基本上都實現(xiàn)了bind函數(shù),這些異常又不會被觸發(fā)。
So, What a coincidence!
嘆為觀止
我們明白了這些,再看他的進一步實現(xiàn):
if (!isCallable(target)) {throw new TypeError('Function.prototype.bind called on incompatible ' + target); }這是為了保證調用的正確性,他使用了isCallable做判斷,isCallable很好實現(xiàn):
isCallable = function isCallable(value) { if (typeof value !== 'function') { return false; } }重設綁定函數(shù)的length屬性:
var boundLength = max(0, target.length - args.length);構造函數(shù)調用情況,在binder中也有效兼容。如果你不明白什么是構造函數(shù)調用情況,可以參考上一篇。
if (this instanceof bound) { ... // 構造函數(shù)調用情況 } 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的源碼實現(xiàn)bind方法,結合前一篇,希望讀者能對bind和JS包括閉包,原型原型鏈,this等一系列知識點能有更深刻的理解。
同時在程序設計上,尤其是邏輯的嚴密性上,有所積累。
PS:百度知識搜索部大前端繼續(xù)招兵買馬,有意向者火速聯(lián)系。。。
總結
以上是生活随笔為你收集整理的从一道面试题,到“我可能看了假源码[2]的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: RxJS/Cycle.js 与 Reac
- 下一篇: Glide核心设计一:皮皮虾,我们走