Thunk函數(shù)
求值策略
var x = 1;
function f(m){
return m * 2;
}
f(x + 5)
傳值調(diào)用:
f(x + 5)
// 傳值調(diào)用時，等同于
f(6)
先把參數(shù)的值算出來，然后傳到函數(shù)中。
傳名調(diào)用：
f(x + 5)
// 傳名調(diào)用時，等同于
(x + 5) * 2
直接把 x+5 傳進(jìn)去 然后在函數(shù)被調(diào)用的時候計算值
傳值調(diào)用和傳名調(diào)用，哪一種比較好？回答是各有利弊。傳值調(diào)用比較簡單，但是對參數(shù)求值的時候，實際上還沒用到這個參數(shù)，有可能造成性能損失。
function f(a, b){
return b;
}
f(3 * x * x - 2 * x - 1, x);
上面代碼中f 傳入了一個很復(fù)雜的參數(shù) 但是在函數(shù)中根本沒用到，如果我們先計算在傳入，那么就是在浪費性能。
Thunk 函數(shù)的含義
把一個參數(shù)放入到一個臨時函數(shù)中，然后把這個函數(shù)當(dāng)作參數(shù)傳入到另一個函數(shù)中，這個臨時函數(shù)就叫做Thunk函數(shù)。
function f(m){
return m * 2;
}
f(x + 5);
// 等同于
var thunk = function () {
return x + 5;
};
function f(thunk){
return thunk() * 2;
}
上面代碼把 x+5 放入到臨時函數(shù)中，然后傳入到f中。
js中使用Thunk函數(shù)
在 JavaScript 語言中，Thunk 函數(shù)替換的不是表達(dá)式，而是多參數(shù)函數(shù)，將其替換成單參數(shù)的版本，且只接受回調(diào)函數(shù)作為參數(shù)。
// 正常版本的readFile（多參數(shù)版本）
fs.readFile(fileName, callback);
// Thunk版本的readFile（單參數(shù)版本）
var readFileThunk = Thunk(fileName);
readFileThunk(callback);
var Thunk = function (fileName){
return function (callback){
return fs.readFile(fileName, callback);
};
};
上面函數(shù)就相當(dāng)于柯里化， 先固定一個非回調(diào)函數(shù)的參數(shù)，返回一個函數(shù)，這個函數(shù)接受剩下的那個回調(diào)函數(shù)作為參數(shù)。
一個簡單的Thunk函數(shù)轉(zhuǎn)換器
var Thunk = function(fn){
return function (){
var args = Array.prototype.slice.call(arguments);//獲取第一次傳入的參數(shù)（下面的fileA），組成數(shù)組。
return function (callback){ //第一次傳入?yún)?shù)后會返回一個函數(shù) 這個函數(shù)接受一個回調(diào)作為參數(shù)
args.push(callback); //把回調(diào)也放入數(shù)組中
return fn.apply(this, args); //把這個數(shù)組用apply的調(diào)用方式傳入最開始的函數(shù)中
}
};
};
var readFileThunk = Thunk(fs.readFile);
readFileThunk(fileA)(callback);
Thunkify 模塊
安裝：
$ npm install thunkify
使用：
var thunkify = require('thunkify');
var fs = require('fs');
var read = thunkify(fs.readFile);
read('package.json')(function(err, str){
// ...
});
Thunkify 的源碼:
function thunkify(fn){
return function(){
var args = new Array(arguments.length);
var ctx = this;
for(var i = 0; i < args.length; ++i) {
args[i] = arguments[i];
}
return function(done){
var called;
args.push(function(){ //傳入這個函數(shù)作為回調(diào)函數(shù)
if (called) return;
called = true; //調(diào)用第一次后 called 變?yōu)閠rue 無法調(diào)用第二次
done.apply(null, arguments); //這段代碼等于 console.log.apply(null,arguments) arguments 是一個數(shù)組 就是sum的值
});
try {
fn.apply(ctx, args);
} catch (err) {
done(err);
}
}
}
};
function f(a, b, callback){
var sum = a + b;
callback(sum);
callback(sum);
}
var ft = thunkify(f);
ft(1, 2)(console.log);
// 3
上面代碼中做了個判斷 防止回調(diào)重復(fù)調(diào)用
Thunk 函數(shù)現(xiàn)在可以用于 Generator 函數(shù)的自動流程管理
var fs = require('fs');
var thunkify = require('thunkify');
var readFile = thunkify(fs.readFile); //得到一個Thunk函數(shù)
var gen = function* (){
var r1 = yield readFile('/etc/fstab'); //先傳入第一個非回調(diào)參數(shù) ，其返回值是一個函數(shù) 并且這個函數(shù)接受一個回調(diào)作為參數(shù)
console.log(r1.toString());
var r2 = yield readFile('/etc/shells');
console.log(r2.toString());
};
var g = gen();
//變量 g 是 Generator 函數(shù)的內(nèi)部指針，表示目前執(zhí)行到哪一步。next 方法負(fù)責(zé)將指針移動到下一步，并返回該步的信息（value 屬性和 done 屬性）。
var r1 = g.next(); // 運行到r1 部分
r1.value(function(err, data){ //r1.value 返回的就是一個函數(shù) 接受一個回調(diào)作為參數(shù)
if (err) throw err;
var r2 = g.next(data);//data就是上一階段異步操作的返回結(jié)果傳入到 r2中
r2.value(function(err, data){ //r2 部分同樣接受到回調(diào)函數(shù) 并且 把接受到的數(shù)據(jù)傳入到下一個next中
if (err) throw err;
g.next(data); //傳入數(shù)據(jù) 函數(shù)最后階段結(jié)束
});
});
Thunk 函數(shù)真正的威力，在于可以自動執(zhí)行 Generator 函數(shù)。
function run(fn) {
var gen = fn();
function next(err, data) {
var result = gen.next(data); //第一次data沒有參數(shù)，且done為false
if (result.done) return; //done為false 時候繼續(xù)下面的代碼
result.value(next); //那next當(dāng)作回調(diào)傳入到 f1 的返回函數(shù)中當(dāng)f1 的異步操作結(jié)束時候會調(diào)用這個回調(diào)函數(shù) 并且把data傳入到gen.next(data)中 就這樣遞歸運行
}
next(); //1.先運行next
}
run(gen);
var gen = function* (){
var f1 = yield readFile('fileA');
var f2 = yield readFile('fileB');
// ...
var fn = yield readFile('fileN');
};
run(gen);
當(dāng)Thunk函數(shù)傳入第一個非回調(diào)參數(shù)，并且異步操作結(jié)束時，會調(diào)用第二個回調(diào)函數(shù)參數(shù)，根據(jù)這一點 我們可以在Thunk函數(shù)結(jié)束第一階段的異步操作時，拿到異步結(jié)果讓不到next()中 在把next(data)放入到回調(diào)函數(shù)中，讓他自動觸發(fā)進(jìn)行下一步。
