1. Iterator|Generator|await
1.1 Iterator 语法
Iterator 是一个接口(规范),为不同的数据结构提供统一的访问机制
ES6 当中并不存在Iterator 类
1.1.1 Iterator 特点
- 任何数据结构只要部署了 Iterator 接口,就可以实现遍历操作,依次处理每个成员
- 拥有 next 方法,用于依次遍历数据结构成员
- 每一次遍历都会返回一个对象 {done: false, value: xxx}
- done 键会记录着当前数据结构是否遍历完成
- value 记录着本次遍历拿到的值
1.1.2 Iterator 模拟
class Iterator {
constructor(arr) {
this.arr = arr
this.index = 0
}
// next方法用于遍历结构,返回 {}
next = () => {
if (this.index > this.arr.length - 1) {
// 如果说当前数据结构中内容都已遍历完成则不会再遍历
return {
done: true,
value: undefined
}
}
return {
done: false,
value: this.arr[this.index++]
}
}
}
const arr = [1, 2, 3, 4]
const it = new Iterator(arr)
console.log(it.next())
console.log(it.next())
console.log(it.next())
console.log(it.next())
console.log(it.next())
1.1.3 可遍历结构
虽然 ES6当中并没有内置 Iterator 类,但是有些数据默认拥有 Symbol.iterator 属性,此时数据就被称之为遍历结构,采用 for of 循环处理
Array String Set Map NodeList Arguments 或者是基于 generator 创建的对象...
对象本身并不满足 Iterator 接口规范
const arr = [1, 2, 3, 4, 5, 6, 7, 8]
arr[Symbol.iterator] = function () {
// 此接口符合 Iterator 规范,因此要返回一个对象,且具备 next 方法
let index = 0
let self = this
return {
next() {
if (index > self.length - 1) {
return {
done: true,
value: undefined
}
}
let ret = {
done: false,
value: self[index]
}
index += 2
return ret
}
}
}
for (let item of arr) {
console.log(item)
}
1.1.4 遍历类数组对象
对象默认没有实现 Iterator 接口
const obj = {
0: '100',
1: 200,
2: 300,
length: 3,
//[Symbol.iterator]: Array.prototype[Symbol.iterator]
[Symbol.iterator]: function () {
let index = 0
let self = this
return {
next() {
return index > self.length - 1 ? {
done: true,
value: undefined
} : {
done: false,
value: self[index++]
}
}
}
}
}
for (let item of obj) {
console.log(item)
}
1.1.5 遍历键值对对象
const obj = {
name: 'zce',
age: 40,
gender: '男',
length: 3,
[Symbol.iterator]: function () {
let self = this
let keys = [
...Object.getOwnPropertyNames(self),
...Object.getOwnPropertySymbols(self)
]
let index = 0
return {
next() {
return index > self.length - 1 ? {
done: true,
value: undefined
} : {
done: false,
value: self[keys[index++]]
}
}
}
}
}
for (let item of obj) {
console.log(item)
}
1.2 Generator 语法
生成器对象是由一个 generator function 返回,并且符合可迭代协议和迭代器协议
1.2.1 生成器对象特点
- 生成器对象,由生成器函数默认返回,且生成器函数不能执行 new 的实例化操作
- 生成器实例对象的原型身上会存在
- next 方法,用于遍历对应的值
- return 结束遍历并且返回 return 指定的值
- 沿着原型链向上查找可以在原型对象上找到 Symbol.iterator 属性
function* foo() {
return 100
}
const iterator = foo()
console.log(iterator) // 生成器对象, 由生成器函数默认返回
console.log(iterator instanceof foo) // 检测生成器对象是否为生成器函数实例对象
console.log(iterator.__proto__ == foo.prototype) // 生成器对象的显式和隐式原型
// new foo() // 生成器函数不能执行 new 操作
1.2.2 yield 基础语法
function* foo() {
console.log('aa')
const m = yield 1
console.log(m, '<----')
console.log('bb')
yield 2
console.log('cc')
yield 3
return 100
}
const iterator = foo()
console.log(iterator.next())
console.log(iterator.next(1000))
console.log(iterator.next())
console.log(iterator.next())
console.log(iterator.next())
console.log(iterator.next())
for (let item of iterator) {
console.log(item)
}
1.2.3 yield 嵌套和this
function* fn1() {
console.log(this, '<-----')
yield 1
yield 2
}
function* fn2() {
yield 3
yield* fn1()
yield 4
}
const iterator = fn2()
console.log(iterator.next())
console.log(iterator.next())
console.log(iterator.next())
console.log(iterator.next())
1.3 await 语法
2. 异步编程
2.1 名词说明
JS 当中是否存在异步编程
JS 是否能同时处理多件事情(JS是多线程的?)
事件循环是为了解决什么问题或者达到了什么效果
事件循环中的循环是如何体现的
2.1.1 进程与线程
- 进程可以看做是一个应用程序(例如打开浏览器或者浏览器打开一个页面)
- 线程是程序当中具体做事情的人,每个线程同一时刻只能做一件事
- 一个进程当中可以包含多个线程
2.1.2 同步异步
- 同步编程:一件事一件事的去做,上一件没有完成,下一件不会被处理(单线程)
- 异步编程:上一件事没有处理完,下一件事可以可以继续去处理(多线程)
- JS是单线程,基于 EventLoop 机制来实现异步编程的
2.1.3 JS 中的异步操作
- promise(then)
- async/await(generator)
- requestAnimationFrame
- 定时器操作
- ajax(网络请求)
- 事件线绑定
2.1.4 JS 单线程
- 浏览器是多线程的,GUI 渲染线程、JS引擎线程、事件触发线程、异步HTTP请求线程
- 浏览器平台下的 JS 代码是由 JS引擎执行的,所以它是单线程
- JS 中大部分代码都是同步编程,可以基于单线程的 EventLoop 实现异步效果
2.2 EventLoop与EventQueue
2.2.1 代码执行顺序
- 浏览器加载界面之后会分配一个线程来执行 JS代码,称之叫 JS引擎(主线程)
- JS引擎会自下而下执行 JS 代码,此过程会遇到(定时器、网络请求、事件绑定、promise)
- 遇到上述的代码之后,浏览器会开启一个 Event Queue(任务|事件)队列 优先级队列结构
- 在队列中存在二个任务队列:微任务micro task | 宏任务 macro task
- 最终会将遇到的异步任务放到 Event Queue队列当中(未执行)
- 主线程会继续向下执行同步代码,直到所有同步代码执行完就会处理异步任务
- 进入 Event Queue 当中查找异步任务,找到之后放入主线程里执行(此时主线程又被步用)
- 执行完一个异步任务之后,主线程再次空闲,此时再进入 Event Queue 查找余下的异步任务
2.2.2 异步任务执行顺序
- 先执行微任务(只要有微任务就不会处理宏任务)
- 微任务(一般是谁先放置谁先执行)
- 宏任务(一般是谁先到达的谁先执行)
2.2.3 整体顺序
- 同步任务
- 异步微任务
- 异步宏任务
- 如果同步任务执行过程中遇到可执行的异步任务,此时依然需要等到同步任务执行完
- 如果同步任务执行完,还没有可执行的异步任务,此时也只能等待
- 不论何时放入的微任务,只要异步微任务存在,就永远不会执行异步宏任务(已经放入到微任务队列)
2.2.4 setTimeout 补充
- 设置定义时器这个操作是同步的
- 放置在 Event Queue 中的任务是异步宏任务
- 函数调用返回数字,表示当前是第几个定时器
- 等待时间设置为0时,也不是立即执行,因为浏览器存在最快的反应时间
- 定时器的等待时间到了之后,它的代码可能还会执行(处于异步队列中,同步任务还未完成执行)
2.3 流程练习
2.3.1 执行流程
setTimeout(() => {
console.log('1')
}, 30)
console.log(2)
setTimeout(() => {
console.log(3)
}, 20)
console.log(4)
console.time('AA')
// 消耗95ms
for (let i = 0; i < 88888888; i++) { }
console.timeEnd('AA')
console.log(5)
setTimeout(() => {
console.log(6)
}, 18)
console.log(7)
setTimeout(() => {
console.log(8)
}, 25)
console.log(9)
2.3.2 主线程占用
// 死循环是将主线程彻底占用,其它所有事情不在处理
// 抛出异常只会影响下面的同步任务,已经放置在队列当中的任务会继续执行
setTimeout(() => {
console.log(1)
}, 0)
console.log(2)
// while (true) { }
throw new Error('手动抛出异常')
// console.log(a)
console.log(3)
setTimeout(() => {
console.log(4)
}, 10)
console.log(5)
2.3 Promise
Promise 是ES6 当中新增的一个类,Promise 是一种承诺,约定的模式,基于这种模式可以有效的处理异步编程
可以有效的管理异步编程当中的代码,让代码开发起来更便捷,维护更方便,可读性更强
2.3.1 语法
- executor函数
- 执行 new 操作时必须传入参数
- executor 函数接收两个函数作为参数,且会立即执行
- executor 函数一般用于管理异步操作, 也可写同步
- Promise 实例
- new 操作执行之后会返回一个 Promise 实例对象
- [[PromiseState]] promise状态:pending(准备态), fulfilled(成功态),rejected(失败态)
- [[PromiseResult]] promise值:默认是undefined, 一般用于存储成功的结果或者失败的原因
- proto:查找 Promise.prototype 原型,存在 then catch finally 三个常见的方法
- 状态切换
- 执行 resolve 将实例状态改变成功态,传递的值是成功结果
- 执行 reject 将实例状态改为 rejected,传递的值是失败结果
- 如果 executor 函数中的代码执行报错,则状态也会切换至失败态,报错原因是 value 值
- promise 状态一旦从pending态完成了切换,都无法再次改变状态
- 异步处理
- new Promise 之后会立即执行 executor 函数
- 在 executor 函数中管理了一个异步编程代码,此时状态是 pending(如果是异步操作)
- 当异步操作达到执行时机时,开始执行(看做是异步操作成功),调用 reject或者resolve修改状态
- 状态明确之后就可以执行后续的代码, 成功态调用第一个方法,失败态调用第二个方法
const p1 = new Promise((resolve, reject) => {
console.log('executor函数必须传且立即执行')
// resolve('1000')
// reject('10')
// console.log(a)
// 管理异步操作
setTimeout(() => {
resolve('1s之后')
}, 1000)
})
console.log(p1)
p1.then((result) => {
console.log('成功态-->', result)
}, (reason) => {
console.log('失败态-->', reason)
})
- 执行顺序总结
let p1 = new Promise((resolve, reject) => {
console.log(1)
// resolve('ok')
// console.log('2')
setTimeout(() => {
resolve('ok')
console.log('2')
}, 1000)
})
p1.then((ret) => {
console.log('success--->', ret)
}, (reason) => {
console.log('failed--->', reason)
})
console.log(3)
- 执行 new Promise 操作
- 执行 executor 函数: 执行同步代码 + 执行异步操作(如果有)
- 执行 p1.then 注入两个方法(是否立即添加至微任务队列取决于当前 p1 状态是否明确,不考虑 pending)
- 同步代码执行完成,等到异步任务也达到可执行状态
- 先从队列中查找微任务,如果有则拉入主进程执行,如果没有则查找宏任务,如果有则执行
2.3.2 状态和值整理
- new Promise 获取实例
- 通过调用 resolve 或 reject 控制 [[PromiseState]] 和 [[PromiseResult]]
- executor 函数执行失败, 状态为 rejected 值为报错信息
- 执行 then 返回实例
- then 注入的两个方法不论执行哪个,只要执行不报错,新实例状态就是 fulfilled,反之就是 rejected,新实例的值就是方法的返回值
- 如果方法执行返回新promise实例,则此实例最后的成功或者失败就决定了then拿到的实例是成功还是失败,值都是一样的
let p1 = new Promise((resolve, reject) => {
resolve('ok')
})
let p2 = p1.then((result) => {
console.log('success-->', result)
// return 10
// console.log(a)
setTimeout(() => {
console.log('okk')
}, 1000)
// return Promise.resolve('000000')
}, (reason) => {
console.log('failed-->', reason)
return 20
})
p2.then((result) => {
console.log('success-->', result)
}, (reason) => {
console.log('failed-->', reason)
})
2.3.3 失败Promise处理
- 对于失败的 promise 实例如果没有编写方法处理其结果,则会在控制台中抛出异常信息(不阻碍其它代码执行)
- then链中的方法处理存在顺延机制,如果某个方法没有传递,则会顺延至下一个then中具备相同状态需要执行的函数
// 此时浏览器会抛出语法异常
Promise.reject('NO').then((result) => {
console.log('只添加了成功态')
})
// 顺延机制
Promise.reject('No').then((result) => {
console.log('成功的方法')
}).then(null, (reason) => {
console.log('第二个then当中的reject 处理方法', reason)
})
// catch 使用
Promise.resolve('拉勾教育').then((result) => {
console.log('成功1-->', result)
return 10
}).then((result) => {
console.log('成功2-->', result)
return Promise.reject('用 catch 最后来处理失败')
}).catch(reason => {
console.log('失败原因是:', reason)
})
2.3.4 Promise与微任务
- then 操作
- 当前实例的状态如果是明确的,则会创建一个异步微任务
- 当前实例的状态如果是pending,此时不会立即创建微任务(可以理解为保存任务)
- reject|resolve执行
- 调用上述方法时会创建一个异步微任务,同步结束后基于状态执行then的相关操作
2.4 async 与 await
2.4.1 async 特点
- 用于修饰函数,默认让函数返回一个 promise 实例
- 如果函数执行报错,则 promise状态为 rejected, 值为报错原因
- 如果函数执行正常则实例状态为 fulfilled,值为函数返回值,如果函数没有返回值则值就是 undefined
async function foo() {
return 10
}
console.log(foo())
foo().then((result) => {
console.log('成功态-->', result)
})
2.4.2 await
- await 要基于 async 配合使用,一般不会单独使用 async
- await 后面一般放置的是 promise 实例,如果不是,则会将它转为 new Promise.resolve() 处理
- await foo() 语法执行规则就是立即执行 foo 函数,接收 foo 的返回值然后处理为 promise 实例
- await 本身是一个异步微任务,把当前上下文中 await 下面要执行的代码整体存储到异步微任务当中,当await 后面的promise 实例状态切换之后再去执行之前的异步微任务
function foo() {
console.log(1)
return new Promise(resolve => {
setTimeout(() => {
resolve(2)
}, 1000)
})
}
console.log(3)
async function fn() {
console.log(4)
let result = await foo()
console.log(result)
console.log(5)
}
fn()
console.log(6)
2.4.3 面试题
async function async1() {
console.log('async1 执行了')
await async2()
console.log('async1 结束了')
}
async function async2() {
console.log('async2')
}
console.log('同步代码执行了')
setTimeout(() => {
console.log('setTimeout')
}, 0)
async1()
new Promise((resolve) => {
console.log('promise1')
resolve()
}).then(() => {
console.log('promise2')
})
console.log('同步代码结束了')
console.log('start')
let timer
Promise.resolve()
.then(() => {
console.log('a')
})
.then(() => {
console.log('b')
})
setTimeout(() => {
Promise.resolve()
.then(() => {
console.log('c')
})
.then(() => {
console.log('d')
})
timer = setInterval(() => {
console.log('loop')
}, 4000)
console.log('setTimeout')
}, 0)
setTimeout(function foo1() {
console.log('1')
})
Promise.resolve().then(function foo2() {
console.log('2')
}).then(function foo3() {
return Promise.resolve('3').then(function foo4(data) {
setTimeout(function foo5() {
console.log('4')
})
console.log('5')
return data
})
}).then(function foo6(ret) {
console.log(ret)
})
function fn1() {
console.log('fn1 start')
return new Promise((resolve) => {
resolve('zcegg1')
})
}
function fn2() {
console.log('fn2 start')
return new Promise((resolve) => {
setTimeout(() => {
resolve('zcegg2')
}, 10)
})
}
console.log('a')
setTimeout(async () => {
console.log('b')
await fn1()
console.log('c')
}, 20)
for (let i = 0; i < 88888888; i++) { } // 90ms
console.log('d')
fn1().then((result) => {
console.log('f')
})
fn2().then((result) => {
console.log('g')
})
setTimeout(() => {
console.log('h')
}, 0)
console.log('end')