手写generator核心原理,再也不怕面试官问我generator原理

先自我介绍一下,小编浙江大学毕业,去过华为、字节跳动等大厂,目前阿里P7

深知大多数程序员,想要提升技能,往往是自己摸索成长,但自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

因此收集整理了一份《2024年最新Web前端全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友。
img
img
img
img
img
img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上前端开发知识点,真正体系化!

由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新

如果你需要这些资料,可以添加V获取:vip1024c (备注前端)
img

正文

但是nextStep应该是一个自动增加的函数,应该不是我们传进去的。所以这里应该用一个闭包来实现

function gen$() {

var nextStep = 0

return function () {

while (1) {

switch (nextStep) {

case 0:

nextStep = 2;

return ‘result1’;

case 2:

nextStep = 4;

return ‘result2’;

case 4:

nextStep = 6;

return ‘result3’;

case 6:

return undefined

}

}

}

}

现在我们可以通过

var a = gen$()

获得内函数。

这样每次执行

a()

nextStep就会改成下一次执行a()应该对应的值,并且返回相应的result了。

但是generator的底层原理不是用闭包的。而是用一个全局变量,因为这样为了后面的实现方便很多,为了遵循原理,我们改成用全局变量来实现。

先定义一个全局变量

context = {

prev:0,

next:0

}

function gen$(context) {

while (1) {

switch (context.prev = context.next) {

case 0:

context.next = 2;

return ‘result1’;

case 2:

context.next = 4;

return ‘result2’;

case 4:

context.next = 6;

return ‘result3’;

case 6:

return undefined

}

}

}

第一次执行gen$(context),swtich判断的时候,是用prev来判断这一次应该执行那个case,执行case时再改变next的值,next表示下次应该执行哪个case。第二次执行gen$(context)的时候,将next的值赋给prev。

但是直接返回这么一个值是不对的。我们看前面的例子是返回一个对象。那该怎么实现呢?

再把例子搬下来:

function* foo() {

yield ‘result1’

yield ‘result2’

yield ‘result3’

}

const gen = foo()

console.log(gen.next()) //{value: “result1”, done: false}

console.log(gen.next()) //{value: “result2”, done: false}

console.log(gen.next()) //{value: “result3”, done: false}

console.log(gen.next()) //{value: undefined, done: true}

我们发现 gen 有next这个方法。所以可以判断出 执行foo返回的应该是一个对象,这个对象有next这个方法。所以我们初步实现foo的转化后的函数。

let foo = function () {

return {

next: function () {

}

}

}

而每次执行next,就会返回拥有value和done的对象,

所以,可以完善返回值

let foo = function () {

return {

next: function () {

return {

value,

done

}

}

}

}

但是我们这里还没定义这value和done啊,该怎么定义呢?

我们先看value的实现。我们在上面实现gen 的 时 候 , 就 发 现 它 返 回 的 是 v a l u e 了 。 所 以 可 以 在 这 里 获 取 ‘ 的时候,就发现它返回的是value了。所以可以在这里获取` 的时候,就发现它返回的是value了。所以可以在这里获取‘gen`的返回值作为value。

let foo = function () {

return {

next: function () {

value = gen$(context)

return {

value,

done

}

}

}

}

那done怎么定义呢?

其实done作为一个全局状态表示generator是否执行结束,因此,我们可以在

context里定义,默认值为false。

var context = {

next:0,

prev: 0,

done: false,

}

所以,每次返回,直接返回context.done就可以了

let foo = function () {

return {

next: function () {

value = gen$(context);

done = context.done

return {

value,

done

}

}

}

}

那done是怎么改变为true的。我们知道,generator执行到后面,就会返回done:true。我们可以看例子的第四个执行结果

function* foo() {

yield ‘result1’

yield ‘result2’

yield ‘result3’

}

const gen = foo()

console.log(gen.next()) //{value: “result1”, done: false}

console.log(gen.next()) //{value: “result2”, done: false}

console.log(gen.next()) //{value: “result3”, done: false}

console.log(gen.next()) //{value: undefined, done: true}

因此,我们需要在最后一次执行gen$的时候改变context.done的值。

思路,给context添加一个stop方法。用来改变自身的done为true。在执行$gen的时时候让context执行stop就好

var context = {

next:0,

prev: 0,

done: false,

新增代码

stop: function stop () {

this.done = true

}

}

function gen$(context) {

while (1) {

switch (context.prev = context.next) {

case 0:

context.next = 2;

return ‘result1’;

case 2:

context.next = 4;

return ‘result2’;

case 4:

context.next = 6;

return ‘result3’;

case 6:

新增代码

context.stop();

return undefined

}

}

}

let foo = function () {

return {

next: function () {

value = gen$(context);

done = context.done

return {

value,

done

}

}

}

}

这样执行到case为6的时候就会改变done的值了。

实际上这就是generator的大致原理

并不难理解,我们分析一下流程:

我们定义的function*生成器函数被转化为以上代码

转化后的代码分为三大块:

gen$(_context)由yield分割生成器函数代码而来

context对象用于储存函数执行上下文

迭代器法定义next(),用于执行gen$(_context)来跳到下一步

从中我们可以看出,「Generator实现的核心在于上下文的保存,函数并没有真的被挂起,每一次yield,其实都执行了一遍传入的生成器函数,只是在这个过程中间用了一个context对象储存上下文,使得每次执行生成器函数的时候,都可以从上一个执行结果开始执行,看起来就像函数被挂起了一样」

3.参照源码实现Context类


不过,我们这里的context是个全局对象啊?我们都知道如果是下面这种情况:

function* g() {

var o = 1;

yield o++;

yield o++;

yield o++;

}

var gen = g();

console.log(gen.next()); // 1

var xxx = g();

console.log(gen.next()); // 2

console.log(xxx.next()); // 1

console.log(gen.next()); // 3

我们发现 每个迭代器之间互不干扰,作用域独立。

也就是说每个迭代器的context是独立的。但是与我们目前实现的一个全局context不一致,这个我是百思不得其解,所以看下源码。

利用babel将下面代码转化一下

function* foo() {

yield ‘result1’

yield ‘result2’

yield ‘result3’

}

我们可以在babel官网上在线转化这段代码,看看ES5环境下是如何实现Generator的:

“use strict”;

var _marked =

/#PURE/

regeneratorRuntime.mark(foo);

function foo() {

return regeneratorRuntime.wrap(function foo$(_context) {

while (1) {

switch (_context.prev = _context.next) {

case 0:

_context.next = 2;

return ‘result1’;

case 2:

_context.next = 4;

return ‘result2’;

case 4:

_context.next = 6;

return ‘result3’;

case 6:

case “end”:

return _context.stop();

}

}

}, _marked);

}

看源码,你可能觉得跟我们实现的有点不一样,实际上结构是基本一样的,基本都是分成那三部分

发现源码是将我们的gen$(context)方法传入了wrap中。

我们看下wrap方法

function wrap(innerFn, outerFn, self) {

var generator = Object.create(outerFn.prototype);

var context = new Context([]);

generator._invoke = makeInvokeMethod(innerFn, self, context);

return generator;

}

发现它是每生foo()执行一次 ,就会执行一次wrap方法,而在wrap方法里就会new 一个Context对象。这就说明了每个迭代器的context是独立的。

Soga原来如此~~~

也就是说如果我们要实现独立context还是 把context改成一个类。

在执行var gen = g();的时候再生成context实例即可:

class Context {

constructor() {

this.next = 0

this.prev = 0

this.done = false

}

top() {

this.done = true

}

}

let foo = function () {

var context = new Context() 新增代码

return {

next: function () {

value = gen$(context);

done = context.done

return {

value,

done

}

}

}

}

4.参照源码实现参数值的保存


好了,这个独立context问题解决。但是发现哈有一个问题:

function* foo() {

var a = yield ‘result1’

console.log(a);

yield ‘result2’

yield ‘result3’

}

const gen = foo()

console.log(gen.next().value)

console.log(gen.next(222).value)

console.log(gen.next().value)

我们发现这里用var a 来接收传入的参数。

当我们第一次执行gen.next(),foo内部会执行到yield这里。还没给a赋值

当我们第二次执行gen.next(),foo内部会再第一个yield这里执行。把传入的参数222赋值给a

那原理是怎么实现的呢?我依旧百思不得其解,不得不再看下源码。

将下面代码babel一下

function* foo() {

var a = yield ‘result1’

console.log(a);

yield ‘result2’

yield ‘result3’

}

“use strict”;

var _marked = /#PURE/regeneratorRuntime.mark(foo);

function foo() {

var a; 在这里定义

return regeneratorRuntime.wrap(function foo$(_context) {

while (1) {

switch (_context.prev = _context.next) {

case 0:

_context.next = 2;

return ‘result1’;

case 2:

a = _context.sent; 在这里赋值

console.log(a);

_context.next = 6;

return ‘result2’;

case 6:

_context.next = 8;

return ‘result3’;

case 8:

case “end”:

return _context.stop();

}

}

}, _marked);

}

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-7Cgk9n5i-1597050561704)(https://imgkr2.cn-bj.ufileos.com/6d5ba3f1-0ae6-41b9-b848-cc4dbc064100.png?UCloudPublicKey=TOKEN_8d8b72be-579a-4e83-bfd0-5f6ce1546f13&Signature=sDcsrCFZ70mTR%252Bf8WR9e4o6Pvew%253D&Expires=1597127921)]

可见。是将我们在generator定义的变量提到foo函数顶部了。作为一个闭包的变量。

因此,居于这个思路,我们可以完善一下我们的代码。

如果我们在nenerator定义了xxx这个变量,那么就会被提升到函数顶部

function gen$(context) {

var xxx;新增代码

while (1) {

switch (context.prev = context.next) {

case 0:

context.next = 2;

return ‘result1’;

case 2:

context.next = 4;

return ‘result2’;

case 4:

context.next = 6;

return ‘result3’;

case 6:

context.stop();

return undefined

}

}

}

如果我们将出传入的参数赋值给这个变量

那么

参数就会作为Context的参数。将传入的参数保存到context中。

let foo = function () {

var context = new Context(222) //修改代码

return {

next: function () {

value = gen$(context);

done = context.done

return {

最后

中年危机是真实存在的,即便有技术傍身,还是难免对自己的生存能力产生质疑和焦虑,这些年职业发展,一直在寻求消除焦虑的依靠。

  • 技术要深入到什么程度?

  • 做久了技术总要转型管理?

  • 我能做什么,我想做什么?

  • 一技之长,就是深耕你的专业技能,你的专业技术。(重点)

  • 独立做事,当你的一技之长达到一定深度的时候,需要开始思考如何独立做事。(创业)

  • 拥有事业,选择一份使命,带领团队实现它。(创业)

一技之长分五个层次

  • 栈内技术 - 是指你的前端专业领域技术

  • 栈外技术 - 是指栈内技术的上下游,领域外的相关专业知识

  • 工程经验 - 是建设专业技术体系的“解决方案”

  • 带人做事 - 是对团队协作能力的要求

  • 业界发声 - 工作经验总结对外分享,与他人交流

永远不要放弃一技之长,它值得你长期信仰持有

主要内容包括html,css,html5,css3,JavaScript,正则表达式,函数,BOM,DOM,jQuery,AJAX,vue 等等。

网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。

需要这份系统化的资料的朋友,可以添加V获取:vip1024c (备注前端)
img

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!

如果我们将出传入的参数赋值给这个变量

那么

参数就会作为Context的参数。将传入的参数保存到context中。

let foo = function () {

var context = new Context(222) //修改代码

return {

next: function () {

value = gen$(context);

done = context.done

return {

最后

中年危机是真实存在的,即便有技术傍身,还是难免对自己的生存能力产生质疑和焦虑,这些年职业发展,一直在寻求消除焦虑的依靠。

  • 技术要深入到什么程度?

  • 做久了技术总要转型管理?

  • 我能做什么,我想做什么?

  • 一技之长,就是深耕你的专业技能,你的专业技术。(重点)

  • 独立做事,当你的一技之长达到一定深度的时候,需要开始思考如何独立做事。(创业)

  • 拥有事业,选择一份使命,带领团队实现它。(创业)

一技之长分五个层次

  • 栈内技术 - 是指你的前端专业领域技术

  • 栈外技术 - 是指栈内技术的上下游,领域外的相关专业知识

  • 工程经验 - 是建设专业技术体系的“解决方案”

  • 带人做事 - 是对团队协作能力的要求

  • 业界发声 - 工作经验总结对外分享,与他人交流

永远不要放弃一技之长,它值得你长期信仰持有

主要内容包括html,css,html5,css3,JavaScript,正则表达式,函数,BOM,DOM,jQuery,AJAX,vue 等等。

网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。

需要这份系统化的资料的朋友,可以添加V获取:vip1024c (备注前端)
[外链图片转存中…(img-L7BSELCq-1713609944796)]

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!

  • 23
    点赞
  • 19
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值