Generator函数时ES6提供的一种异步编程的解决方案。
在语法上,我们可以把Generator函数理解为一个状态机,封装了很多内部状态。执行Generator函数会返回一个遍历器对象。
Generator函数区别于普通函数的特征在:
1.function命令与函数名之间有一个星号
2.函数体内部使用yield语句定义不同状态
例如:
function* helloWorld(){
yield 'hello';
yield 'world';
return 'goodbye';
}
var p = helloWorld();
调用Generator函数会并不会立即执行,返回的也不是函数运行的结果,而是一个返回一个指向内部状态的指针对象,即遍历器对象。
必须调用遍历器的next方法,使指针移向下一个状态。即每次调用next方法,内部指针从函数头部或上一次停下来的地方开始执行,直到遇到下一条yield语句(或return语句为止)。Generator函数是分段执行的,yield语句是暂停执行的标记,而next方法可以恢复执行。
console.log(p.next());//{value:'hello',done:false}
console.log(p.next());//{value:'world',done:false}
console.log(p.next());//{value:'goodbye',done:true}
调用生成器的过程做了什么?
第一次调用Generator函数开始执行,直到遇到第一条yield语句为止。next方法返回一个对象,它的value属性就是当前yield语句的值hello,done属性的值false表示遍历还没有结束。
第二次调用,Generator函数从上次yield语句停下的地方,一直执行到下一条yield语句,next方法返回独享的value属性就是当前yield语句的值world,done属性的值false表示遍历还没结束。
第三次调用,Generator函数从上次yield语句停下地方一直执行到return 语句,next方法返回的对象的value属性就是紧跟在return语句后面的表达式的值,done属性为true表示遍历已经结束。
当我们调用一个生成器的它并不是立即执行,而是返回一个已经暂停的生成器对象。我们可以将这个生成器对象视为一次函数调用,只不过立即冻结了,它恰好在生成器函数的最顶端的第一行代码之前被冻结了。
每当我们调用.next()方法时,函数调用自身解冻并执行到下一个yiled表达式,再次暂停。最终抵达生成器的末尾,所以返回的结果中的done值为true,next方法返回的对象的value属性就是紧跟在return语句后面的表达式的值(如果没有return语句,则value属性的值为undefined)。
每当生成器执行yields语句,生成器的堆栈结构(本地变量,参数,临时值,生成器内部当前的执行位置)被移除堆栈。然而生成器对象保留了对这个堆栈结构的引用(备份),所以稍后调用.next()可以重新激活堆栈结构并继续执行。
值得一提的点
生成器不是线程,在支持线程的语言中,多段代码可以同时运行,通常导致静态条件和非确定性,不过同时也能带来不错的性能。生成器则完全不同。当生成器运行的时,它和调用者处于同一线程中,拥有确定的执行顺序,永不并发。与系统线程不同的是,生成器只有在其函数体内标记为yield的点才会暂停。
Generator函数的用法
Generator执行结束后会将控制权交还给调用者
Generator实际上是一种特殊的迭代器,不过Nodejs主流的场景是将异步回调变成同步模式。
用TJ大神开发的co模块来解释Generator的用途:
1.基于co函数实现自定义延迟时间
var require('co');
co(function*(){
var now = Date.now();
yield sleep(500);
console.log(Date.now()-now);
})();
function sleep(ms){
return function(cb){
setTimeout(cb,ms);
}
}
基于co,我们就可以写出类似这样的业务代码:
co(function *(){
var rs = yield db.query('select url from xxx');
rs.forEach(rs){
var content = yield getUrl(rs.url);
...
}
})();
在这之前,我们只能用洋葱式回调写法:
db.query('select url from xxx', function(rs){
rs.forEach(r){
getUrl(r.url, function(content){
...
});
}
});
co实现原理
看一个简化版的co代码,算是co的一个框架
co(function* (input){
var now = Date.now();
yield sleep200;
cobsole.log(Date.now() - now);
});
function co(fn){
var gen = fn();
next();
function next(res){
var ret;
ret = gen.next(res);
if(ret.done){
return;
}
//执行回调
if(typeof ret.value == 'function'){
ret.value(function(){
next.apply(this.arguments);
});
return;
}
throw 'yield target no supported';
}
}
function sleep200(cb){
setTimeout(cb,200);
}
代码的核心在Generator的流程控制以及回调函数的执行