自從進入七月以來,我的 underscore 源碼解讀系列 更新緩慢,再這樣下去,今年更完的目標似乎要落空,趕緊寫一篇壓壓驚。
前文 跟大家簡單介紹了下 ES5 中的 bind 方法以及使用場景(沒讀過的同學建議先看看),畢竟 bind 是 ES5 的東西,低版本 IE 不支持。今天就根據 underscore 的實現,來聊一聊如何實現一個 bind 的 polyfill。
之前在 ECMAScript 5(ES5) 中 bind 方法簡介備忘 一文中,給出了一個 "窮人版" 的 polyfill,如下。
Function.prototype.bind = Function.prototype.bind || function(context) {
var that = this;
return function() {
return that.apply(context, arguments);
}
}
說實話,基本可以滿足多數的場景需求了。bind 方法返回的還是一個方法(經典閉包),很巧妙地用 apply 改變(綁定)了 this 指向。但是毫無疑問這樣簡單的實現是有問題的。
首先,該方法只支持傳入一個參數,為方法需要綁定的 this 指向,原生的 bind 方法可以傳入多個參數,如果要問這些參數干嘛用,回頭翻翻 前文。如何實現傳參?非常簡單,傳入,然后提取,不就 ok 了?
underscore 源碼中重點看這幾行:
var args = slice.call(arguments, 2);
var bound = function() {
// args.concat(slice.call(arguments))
// 最終函數的實際調用參數由兩部分組成
// 一部分是傳入 _.bind 的參數
// 另一部分是傳入 bound(_.bind 所返回方法)的參數
return executeBound(func, bound, context, this, args.concat(slice.call(arguments)));
};
return bound;
其實核心實現差不多,都是閉包返回函數。第一行將參數(args)提取保存(這些參數將會在方法中被優先調用),返回的是一個叫做 bound 的方法,bound 也能傳參啊,用 args.concat(slice.call(arguments))
將兩個參數合并當做原方法的參數,因為 args 會優先調用,所以合并結果 args 中元素在先。
接著來看 executeBound 函數,為何 "窮人版" 一行的代碼,這里卻要整個函數出來?原因是 "窮人版" 沒有考慮 bind 返回函數被 new 操作的情況。如果不是被 new 操作,那就簡單了,和 "窮人版" 是一樣一樣的,直接看 underscore 源碼。
// 非 new 調用 _.bind 返回的方法(即 bound)
// callingContext 不是 boundFunc 的一個實例
if (!(callingContext instanceof boundFunc))
return sourceFunc.apply(context, args);
如果進行 new 運算操作呢?這里我們還要復習一下 new 運算,有興趣的可以看下我以前的文章 一道有意思的筆試題引發的對于 new 操作符的思考。概括地講,如果構造函數有返回值,且返回值是對象(不能是 null),那么對其進行 new 操作返回該對象,否則返回構造實例。所以在方法 executeBound 中,我們需要進一步判斷這個構造函數有沒有返回值,返回值是不是對象。
var executeBound = function(sourceFunc, boundFunc, context, callingContext, args) {
// 非 new 調用 _.bind 返回的方法(即 bound)
// callingContext 不是 boundFunc 的一個實例
if (!(callingContext instanceof boundFunc))
return sourceFunc.apply(context, args);
// 如果是用 new 調用 _.bind 返回的方法
// self 為 sourceFunc 的實例,繼承了它的原型鏈
// self 理論上是一個空對象(還沒賦值),但是有原型鏈
var self = baseCreate(sourceFunc.prototype);
// 用 new 生成一個構造函數的實例
// 正常情況下是沒有返回值的,即 result 值為 undefined
// 如果構造函數有返回值
// 如果返回值是對象(非 null),則 new 的結果返回這個對象
// 否則返回實例
// @see http://www.cnblogs.com/zichi/p/4392944.html
var result = sourceFunc.apply(self, args);
// 如果構造函數返回了對象
// 則 new 的結果是這個對象
// 返回這個對象
if (_.isObject(result)) return result;
// 否則返回 self
// var result = sourceFunc.apply(self, args);
// self 對象當做參數傳入
// 會直接改變值
return self;
};
關于這部分的源碼,有興趣的同學可以參考 https://github.com/hanzichi/underscore-analysis/blob/master/underscore-1.8.3.js/src/underscore-1.8.3.js#L698-L719。
關于 Function 這部分,接下去的打算是去抖一篇,節流一篇,然后其他零碎的方法概要一篇,希望能在十月中旬左右結束掉吧。