this可以看做是forEach()方法的隱含參數.滿足下面這三條規則的對象都可以調用forEach()方法,都可以作為這個隱含的this:
•具有length屬性: this.length
•能夠通過索引訪問對象元素: this[i]
•能夠檢查屬性的存在性: i in this
arguments對象(包含了一次函數調用的所有實參)不是一個Array實例,所以它不能直接調用forEach()方法.但是你它滿足調用forEach方法的三個條件.為了讓該對象能夠調用到forEach()方法,我們只需要讓隱含的this參數作為顯式參數.幸運的是,每個函數都有call()方法讓我們來做件事:
復制代碼 代碼如下:
function printArgs() {
Array.prototype.forEach.call(arguments, function (elem, index) {
console.log(index+". "+elem);
});
}
forEach.call()比forEach()方法多一個參數:它的第一個參數就是指定的this值:
復制代碼 代碼如下:
> printArgs("a", "b")
0. a
1. b
JavaScript中有幾個類似的通用方法都可以以這種方式來調用,這些方法大部分來自Array.prototype.
3.反科裡化this的幾個用途
用例1:通過map()調用一個方法. Array.prototype.map()方法允許你在一個數組中的每個元素上調用一個函數.但如果你想調用的不是函數還是方法呢?可以利用反科裡化this這麼做:
復制代碼 代碼如下:
> var toUpperCase = String.prototype.toUpperCase.uncurryThis();
> [ "foo", "bar", "baz" ].map(toUpperCase)
[ 'FOO', 'BAR', 'BAZ' ]
用例2:將一個通用方法轉換成函數. 利用反科裡化this可以將一個方法轉換成一個用法更簡單的函數.比如:
復制代碼 代碼如下:
Array.forEach = Array.prototype.forEach.uncurryThis();
function printArgs() {
Array.forEach(arguments, function (elem, index) {
console.log(index+". "+elem);
});
}
在未來版本的ECMAScript規范建議中已經有了很多類似的數組方法.
譯者注:Firefox已經實現了Array.map,Array.forEach等方法.
4.實現uncurryThis()
下面是實現uncurryThis方法的三種方式.
實現1: Brendan Eich寫的
復制代碼 代碼如下:
Function.prototype.uncurryThis = function () {
var f = this;
return function () {
var a = arguments;
return f.apply(a[0], [].slice.call(a, 1));
};
};
實現2: 調用反科裡化過的函數相當於在原方法上通過調用它的call()方法來執行.我們可以通過bind()方法把這個call()方法借過來:
復制代碼 代碼如下:
Function.prototype.uncurryThis = function () {
return this.call.bind(this);
};
實現3: 定義的標准方法最好不要依賴過多的外部方法.此外,bind()方法只在ECMAScript 5中可用.因此我們重寫了上面的實現2,如下:
復制代碼 代碼如下:
Function.prototype.uncurryThis = function () {
var f = this;
return function () {
return f.call.apply(f, arguments)
};
};
上面的代碼仍然是隱式的借用了call()方法.
5.反向操作也很有用 – 科裡化this
uncurryThis()的反向操作稱之為curryThis().它將原函數的第一個參數轉換成隱含的this參數.假如有個原函數:
復制代碼 代碼如下:
function(self, arg) {
return self.foo + arg;
}
科裡化this後成為:
復制代碼 代碼如下:
function(arg) {
return this.foo + arg;
}
用例: 讓一個方法把自己的this值傳遞到一個內嵌函數裡.原來的寫法:
復制代碼 代碼如下:
var obj = {
method: function (arg) {
var self = this; // 讓嵌套的函數訪問到this
someFunction(..., function() {
self.otherMethod(arg);
});
},
otherMethod: function (arg) { ... }
}
科裡化後你可以這麼寫:
復制代碼 代碼如下:
var obj = {
method: function (self, arg) { // 附加參數`self`
someFunction(..., function() {
self.otherMethod(arg);
});
}.curryThis(), // 傳入附加參數
otherMethod: function (arg) { ... }
}
我們把隱含的參數this轉換成了顯式的參數self.換句話說:我們把一個動態的this轉換成了一個靜態的變量self.如果this總是作為一個顯式的參數,則JavaScript會變的更簡單點.
實現curryThis():
復制代碼 代碼如下:
Function.prototype.curryThis = function () {
var f = this;
return function () {
var a = Array.prototype.slice.call(arguments);
a.unshift(this);
return f.apply(null, a);
};
};
6.如果你不想擴展函數原型
上面實現的方法都是加在了內置構造函數Function()的原型上.你應該可以輕松的將它們重寫為獨立的函數.
復制代碼 代碼如下:
function uncurryThis(f) {
return function () {
return f.call.apply(f, arguments)
};
}
function curryThis(f) {
return function () {
var a = Array.prototype.slice.call(arguments);
a.unshift(this);
return f.apply(null, a);
};
}
7.在uncurryThis()安全的使用在已經存在的不信任的代碼中
Mark Miller把uncurryThis()作為例子講解了“安全的元編程”:
譯者注:科裡化this就是把函數的第一個參數轉換成方法中的this.反科裡化this就是把方法中的this轉換成函數的第一個參數.