前言
第三次阅读阮一峰老师的《ES6标准入门》了,以前阅读时不细心,很多地方都是一目十行。最近这次阅读都是逐个逐个字来读,发现很多以前都没有注意到的知识点,为了方便记忆和预览全部ES6特性
,所以写下本文。
以下提到的《ES6标准入门》统一使用《ES6》这个名称来代替,而最新的ES6版本也是截止到当前的ES2020
本文的知识点完全是参考或摘录《ES6》里的语句,有部分语句为了方便理解和记忆,进行了相同意思的转义,同时对知识点进行归类划分。为了让大家能集中精力来记住这些特性,全文一句废话和题外话都没有,全部模块以笔记的形式进行书写,如果看得不是很惯建议对照《ES6》的内容来学习。
本文整理出来的笔记都是书中的精华内容,囊括了整个ES6体系
的所有特性,非常方便大家重新认识全部ES6特性
。半小时的阅读就可对ES6
有一个全面的了解,可认为是一本ES6特性小字典
,收藏后可随时查阅。即使看不完也要拉到本文末尾喔,有个大彩蛋,嘻嘻!
![ES6缩略](https://i-blog.csdnimg.cn/blog_migrate/1cb4e3bf77092c6038eab8b5c30dbcb7.png)
修正
ES6是ECMA
为JavaScript
制定的第6个标准版本,相关历史可查看此章节《ES6-ECMAScript6简介》。
标准委员会最终决定,标准在每年6月正式发布并作为当年的正式版本,接下来的时间里就在此版本的基础上进行改动,直到下一年6月草案就自然变成新一年的版本,这样一来就无需以前的版本号,只要用年份标记即可。ECMAscript 2015
是在2015年6月
发布ES6的第一个版本。以此类推,ECMAscript 2016
是ES6的第二个版本、 ECMAscript 2017
是ES6的第三个版本。ES6既是一个历史名词也是一个泛指,含义是5.1版本
以后的JavaScript下一代标准
,目前涵盖了ES2015
、ES2016
、ES2017
、ES2018
、ES2019
、ES2020
。
所以有些文章上提到的ES7
(实质上是ES2016
)、ES8
(实质上是ES2017
)、ES9
(实质上是ES2018
)、ES10
(实质上是ES2019
)、ES11
(实质上是ES2020
),实质上都是一些不规范的概念。从ES1到ES6,每个标准都是花了好几年甚至十多年才制定下来,你一个ES6到ES7,ES7到ES8,才用了一年,按照这样的定义下去,那不是很快就ES20了。用正确的概念来说ES6目前涵盖了ES2015、ES2016、ES2017、ES2018、ES2019、ES2020。
![ES6组成](https://i-blog.csdnimg.cn/blog_migrate/7e0508854444fe1f9905ef84eea3647d.png)
另外,ES6更新的内容主要分为以下几点
- 表达式:声明、解构赋值
- 内置对象:字符串扩展、数值扩展、对象扩展、数组扩展、函数扩展、正则扩展、Symbol、Set、Map、Proxy、Reflect
- 语句与运算:Class、Module、Iterator
- 异步编程:Promise、Generator、Async
ES2015
![ES2015](https://i-blog.csdnimg.cn/blog_migrate/e15a37ad5382b67e31e5035415c78665.png)
声明
- const命令:声明常量
- let命令:声明变量
作用
- 作用域
- 全局作用域
- 函数作用域:
function() {}
- 块级作用域:
{}
- 作用范围
var命令
在全局代码中执行const命令
和let命令
只能在代码块中执行
- 赋值使用
const命令
声明常量后必须立马赋值let命令
声明变量后可立马赋值或使用时赋值
- 声明方法:
var
、const
、let
、function
、class
、import
重点难点
- 不允许重复声明
- 未定义就使用会报错:
const命令
和let命令
不存在变量提升 - 暂时性死区:在代码块内使用
const命令
和let命令
声明变量之前,该变量都不可用
解构赋值
- 字符串解构:
const [a, b, c, d, e] = "hello"
- 数值解构:
const { toString: s } = 123
- 布尔解构:
const { toString: b } = true
- 对象解构
- 形式:
const { x, y } = { x: 1, y: 2 }
- 默认:
const { x, y = 2 } = { x: 1 }
- 改名:
const { x, y: z } = { x: 1, y: 2 }
- 形式:
- 数组解构
- 规则:数据结构具有
Iterator接口
可采用数组形式的解构赋值 - 形式:
const [x, y] = [1, 2]
- 默认:
const [x, y = 2] = [1]
- 规则:数据结构具有
- 函数参数解构
- 数组解构:
function Func([x = 0, y = 1]) {}
- 对象解构:
function Func({ x = 0, y = 1 } = {}) {}
- 数组解构:
应用场景
- 交换变量值:
[x, y] = [y, x]
- 返回函数多个值:
const [x, y, z] = Func()
- 定义函数参数:
Func([1, 2])
- 提取JSON数据:
const { name, version } = packageJson
- 定义函数参数默认值:
function Func({ x = 1, y = 2 } = {}) {}
- 遍历Map结构:
for (let [k, v] of Map) {}
- 输入模块指定属性和方法:
const { readFile, writeFile } = require("fs")
重点难点
- 匹配模式:只要等号两边的模式相同,左边的变量就会被赋予对应的值
- 解构赋值规则:只要等号右边的值不是对象或数组,就先将其转为对象
- 解构默认值生效条件:属性值严格等于
undefined
- 解构遵循匹配模式
- 解构不成功时变量的值等于
undefined
undefined
和null
无法转为对象,因此无法进行解构
字符串扩展
- Unicode表示法:
大括号包含
表示Unicode字符(\u{0xXX}
或\u{0XXX}
) - 字符串遍历:可通过
for-of
遍历字符串 - 字符串模板:可单行可多行可插入变量的增强版字符串
- 标签模板:函数参数的特殊调用
- String.raw():返回把字符串所有变量替换且对斜杠进行转义的结果
- String.fromCodePoint():返回码点对应字符
- codePointAt():返回字符对应码点(
String.fromCodePoint()
的逆操作) - normalize():把字符的不同表示方法统一为同样形式,返回
新字符串
(Unicode正规化) - repeat():把字符串重复n次,返回
新字符串
- matchAll():返回正则表达式在字符串的所有匹配
- includes():是否存在指定字符串
- startsWith():是否存在字符串头部指定字符串
- endsWith():是否存在字符串尾部指定字符串
重点难点
- 以上扩展方法均可作用于由
4个字节储存
的Unicode字符
上
数值扩展
- 二进制表示法:
0b或0B开头
表示二进制(0bXX
或0BXX
) - 八进制表示法:
0o或0O开头
表示二进制(0oXX
或0OXX
) - Number.EPSILON:数值最小精度
- Number.MIN_SAFE_INTEGER:最小安全数值(
-2^53
) - Number.MAX_SAFE_INTEGER:最大安全数值(
2^53
) - Number.parseInt():返回转换值的整数部分
- Number.parseFloat():返回转换值的浮点数部分
- Number.isFinite():是否为有限数值
- Number.isNaN():是否为NaN
- Number.isInteger():是否为整数
- Number.isSafeInteger():是否在数值安全范围内
- Math.trunc():返回数值整数部分
- Math.sign():返回数值类型(
正数1
、负数-1
、零0
) - Math.cbrt():返回数值立方根
- Math.clz32():返回数值的32位无符号整数形式
- Math.imul():返回两个数值相乘
- Math.fround():返回数值的32位单精度浮点数形式
- Math.hypot():返回所有数值平方和的平方根
- Math.expm1():返回
e^n - 1
- Math.log1p():返回
1 + n
的自然对数(Math.log(1 + n)
) - Math.log10():返回以10为底的n的对数
- Math.log2():返回以2为底的n的对数
- Math.sinh():返回n的双曲正弦
- Math.cosh():返回n的双曲余弦
- Math.tanh():返回n的双曲正切
- Math.asinh():返回n的反双曲正弦
- Math.acosh():返回n的反双曲余弦
- Math.atanh():返回n的反双曲正切
对象扩展
- 简洁表示法:直接写入变量和函数作为对象的属性和方法(
{ prop, method() {} }
) - 属性名表达式:字面量定义对象时使用
[]
定义键([prop]
,不能与上同时使用) - 方法的name属性:返回方法函数名
- 取值函数(getter)和存值函数(setter):
get/set 函数名
(属性的描述对象在get
和set
上) - bind返回的函数:
bound 函数名
- Function构造函数返回的函数实例:
anonymous
- 取值函数(getter)和存值函数(setter):
- 属性的可枚举性和遍历:描述对象的
enumerable
- super关键字:指向当前对象的原型对象(只能用在对象的简写方法中
method() {}
) - Object.is():对比两值是否相等
- Object.assign():合并对象(浅拷贝),返回原对象
- Object.getPrototypeOf():返回对象的原型对象
- Object.setPrototypeOf():设置对象的原型对象
- __proto__:返回或设置对象的原型对象
属性遍历
- 描述:
自身
、可继承
、可枚举
、非枚举
、Symbol
- 遍历
for-in
:遍历对象自身可继承可枚举
属性Object.keys()
:返回对象自身可枚举
属性键组成的数组Object.getOwnPropertyNames()
:返回对象自身非Symbol
属性键组成的数组Object.getOwnPropertySymbols()
:返回对象自身Symbol
属性键组成的数组Reflect.ownKeys()
:返回对象自身全部
属性键组成的数组
- 规则
- 首先遍历所有数值键,按照数值升序排列
- 其次遍历所有字符串键,按照加入时间升序排列
- 最后遍历所有Symbol键,按照加入时间升序排列
数组扩展
- 扩展运算符(...):转换数组为用逗号分隔的参数序列(
[...arr]
,相当于rest/spread参数
的逆运算) - Array.from():转换具有
Iterator接口
的数据结构为真正数组,返回新数组- 类数组对象:
包含length的对象
、Arguments对象
、NodeList对象
- 可遍历对象:
String
、Set结构
、Map结构
、Generator函数
- 类数组对象:
- Array.of():转换一组值为真正数组,返回新数组
- copyWithin():把指定位置的成员复制到其他位置,返回原数组
- find():返回第一个符合条件的成员
- findIndex():返回第一个符合条件的成员索引值
- fill():根据指定值填充整个数组,返回原数组
- keys():返回以索引值为遍历器的对象
- values():返回以属性值为遍历器的对象
- entries():返回以索引值和属性值为遍历器的对象
- 数组空位:ES6明确将数组空位转为
undefined
(空位处理规不一,建议避免出现)
扩展应用
- 克隆数组:
const arr = [...arr1]
- 合并数组:
const arr = [...arr1, ...arr2]
- 拼接数组:
arr.push(...arr1)
- 代替apply:
Math.max.apply(null, [x, y])
=>Math.max(...[x, y])
- 转换字符串为数组:
[..."hello"]
- 转换类数组对象为数组:
[...Arguments, ...NodeList]
- 转换可遍历对象为数组:
[...String, ...Set, ...Map, ...Generator]
- 与数组解构赋值结合:
const [x, ...rest/spread] = [1, 2, 3]
- 计算Unicode字符长度:
Array.from("hello").length
=>[..."hello"].length
重点难点
- 使用
keys()
、values()
、entries()
返回的遍历器对象,可用for-of
自动遍历或next()
手动遍历
函数扩展
- 参数默认值:为函数参数指定默认值
- 形式:
function Func(x = 1, y = 2) {}
- 参数赋值:惰性求值(函数调用后才求值)
- 参数位置:尾参数
- 参数作用域:函数作用域
- 声明方式:默认声明,不能用
const
或let
再次声明 - length:返回没有指定默认值的参数个数
- 与解构赋值默认值结合:
function Func({ x = 1, y = 2 } = {}) {}
- 应用
- 指定某个参数不得省略,省略即抛出错误:
function Func(x = throwMissing()) {}
- 将参数默认值设为
undefined
,表明此参数可省略:Func(undefined, 1)
- 指定某个参数不得省略,省略即抛出错误:
- 形式:
- rest/spread参数(...):返回函数多余参数
- 形式:以数组的形式存在,之后不能再有其他参数
- 作用:代替
Arguments对象
- length:返回没有指定默认值的参数个数但不包括
rest/spread参数
- 严格模式:在严格条件下运行JS
- 应用:只要函数参数使用默认值、解构赋值、扩展运算符,那么函数内部就不能显式设定为严格模式
- name属性:返回函数的函数名
- 将匿名函数赋值给变量:
空字符串
(ES5)、变量名
(ES6) - 将具名函数赋值给变量:
函数名
(ES5和ES6) - bind返回的函数:
bound 函数名
(ES5和ES6) - Function构造函数返回的函数实例:
anonymous
(ES5和ES6)
- 将匿名函数赋值给变量:
- 箭头函数(=>):函数简写
- 无参数:
() => {}
- 单个参数:
x => {}
- 多个参数:
(x, y) => {}
- 解构参数:
({x, y}) => {}
- 嵌套使用:部署管道机制
- this指向固定化
- 并非因为内部有绑定
this
的机制,而是根本没有自己的this
,导致内部的this
就是外层代码块的this
- 因为没有
this
,因此不能用作构造函数
- 并非因为内部有绑定
- 无参数:
- 尾调用优化:只保留内层函数的调用帧
- 尾调用
- 定义:某个函数的最后一步是调用另一个函数
- 形式:
function f(x) { return g(x); }
- 尾递归
- 定义:函数尾调用自身
- 作用:只要使用尾递归就不会发生栈溢出,相对节省内存
- 实现:把所有用到的内部变量改写成函数的参数并使用参数默认值
- 尾调用
箭头函数误区
- 函数体内的
this
是定义时所在的对象
而不是使用时所在的对象
- 可让
this
指向固定化,这种特性很有利于封装回调函数 - 不可当作
构造函数
,因此箭头函数不可使用new命令
- 不可使用
yield命令
,因此箭头函数不能用作Generator函数
- 不可使用
Arguments对象
,此对象在函数体内不存在(可用rest/spread参数
代替) - 返回对象时必须在对象外面加上括号
正则扩展
- 变更RegExp构造函数入参:允许首参数为
正则对象
,尾参数为正则修饰符
(返回的正则表达式会忽略原正则表达式的修饰符) - 正则方法调用变更:字符串对象的
match()
、replace()
、search()
、split()
内部调用转为调用RegExp
实例对应的RegExp.prototype[Symbol.方法]
- u修饰符:Unicode模式修饰符,正确处理大于
\uFFFF
的Unicode字符
点字符
(.)Unicode表示法
量词
预定义模式
i修饰符
转义
- y修饰符:粘连修饰符,确保匹配必须从剩余的第一个位置开始全局匹配(与
g修饰符
作用类似) - unicode:是否设置
u修饰符
- sticky:是否设置
y修饰符
- flags:返回正则表达式的修饰符
重点难点
y修饰符
隐含头部匹配标志^
- 单单一个
y修饰符
对match()
只能返回第一个匹配,必须与g修饰符
联用才能返回所有匹配
Symbol
- 定义:独一无二的值
- 声明:
const set = Symbol(str)
- 入参:字符串(可选)
- 方法
- Symbol():创建以参数作为描述的
Symbol值
(不登记在全局环境) - Symbol.for():创建以参数作为描述的
Symbol值
,如存在此参数则返回原有的Symbol值
(先搜索后创建,登记在全局环境) - Symbol.keyFor():返回已登记的
Symbol值
的描述(只能返回Symbol.for()
的key
) - Object.getOwnPropertySymbols():返回对象中所有用作属性名的
Symbol值
的数组
- Symbol():创建以参数作为描述的
- 内置
- Symbol.hasInstance:指向一个内部方法,当其他对象使用
instanceof运算符
判断是否为此对象的实例时会调用此方法 - Symbol.isConcatSpreadable:指向一个布尔,定义对象用于
Array.prototype.concat()
时是否可展开 - Symbol.species:指向一个构造函数,当实例对象使用自身构造函数时会调用指定的构造函数
- Symbol.match:指向一个函数,当实例对象被
String.prototype.match()
调用时会重新定义match()
的行为 - Symbol.replace:指向一个函数,当实例对象被
String.prototype.replace()
调用时会重新定义replace()
的行为 - Symbol.search:指向一个函数,当实例对象被
String.prototype.search()
调用时会重新定义search()
的行为 - Symbol.split:指向一个函数,当实例对象被
String.prototype.split()
调用时会重新定义split()
的行为 - Symbol.iterator:指向一个默认遍历器方法,当实例对象执行
for-of
时会调用指定的默认遍历器 - Symbol.toPrimitive:指向一个函数,当实例对象被转为原始类型的值时会返回此对象对应的原始类型值
- Symbol.toStringTag:指向一个函数,当实例对象被
Object.prototype.toString()
调用时其返回值会出现在toString()
返回的字符串之中表示对象的类型 - Symbol.unscopables:指向一个对象,指定使用
with
时哪些属性会被with环境
排除
- Symbol.hasInstance:指向一个内部方法,当其他对象使用
数据类型
- Undefined
- Null
- String
- Number
- Boolean
- Object(包含
Array
、Function
、Date
、RegExp
、Error
) - Symbol
应用场景
- 唯一化对象属性名:属性名属于Symbol类型,就都是独一无二的,可保证不会与其他属性名产生冲突
- 消除魔术字符串:在代码中多次出现且与代码形成强耦合的某一个具体的字符串或数值
- 遍历属性名:无法通过
for-in
、for-of
、Object.keys()
、Object.getOwnPropertyNames()
、JSON.stringify()
返回,只能通过Object.getOwnPropertySymbols
返回 - 启用模块的Singleton模式:调用一个类在任何时候返回同一个实例(
window
和global
),使用Symbol.for()
来模拟全局的Singleton模式
重点难点
Symbol()
生成一个原始类型的值不是对象,因此Symbol()
前不能使用new命令
Symbol()
参数表示对当前Symbol值
的描述,相同参数的Symbol()
返回值不相等Symbol值
不能与其他类型的值进行运算Symbol值
可通过String()
或toString()
显式转为字符串Symbol值
作为对象属性名时,此属性是公开属性,但不是私有属性Symbol值
作为对象属性名时,只能用方括号运算符([]
)读取,不能用点运算符(.
)读取Symbol值
作为对象属性名时,不会被常规方法遍历得到,可利用此特性为对象定义非私有但又只用于内部的方法
Set
Set
- 定义:类似于数组的数据结构,成员值都是唯一且没有重复的值
- 声明:
const set = new Set(arr)
- 入参:具有
Iterator接口
的数据结构 - 属性
- constructor:构造函数,返回Set
- size:返回实例成员总数
- 方法
- add():添加值,返回实例
- delete():删除值,返回布尔
- has():检查值,返回布尔
- clear():清除所有成员
- keys():返回以属性值为遍历器的对象
- values():返回以属性值为遍历器的对象
- entries():返回以属性值和属性值为遍历器的对象
- forEach():使用回调函数遍历每个成员
应用场景
- 去重字符串:
[...new Set(str)].join("")
- 去重数组:
[...new Set(arr)]
或Array.from(new Set(arr))
- 集合数组
- 声明:
const a = new Set(arr1)
、const b = new Set(arr2)
- 并集:
new Set([...a, ...b])
- 交集:
new Set([...a].filter(v => b.has(v)))
- 差集:
new Set([...a].filter(v => !b.has(v)))
- 声明:
- 映射集合
- 声明:
let set = new Set(arr)
- 映射:
set = new Set([...set].map(v => v * 2))
或set = new Set(Array.from(set, v => v * 2))
- 声明:
重点难点
- 遍历顺序:插入顺序
- 没有键只有值,可认为键和值两值相等
- 添加多个
NaN
时,只会存在一个NaN
- 添加相同的对象时,会认为是不同的对象
- 添加值时不会发生类型转换(
5 !== "5"
) keys()
和values()
的行为完全一致,entries()
返回的遍历器同时包括键和值且两值相等
WeakSet
- 定义:和Set结构类似,成员值只能是对象
- 声明:
const set = new WeakSet(arr)
- 入参:具有
Iterator接口
的数据结构 - 属性
- constructor:构造函数,返回WeakSet
- 方法
- add():添加值,返回实例
- delete():删除值,返回布尔
- has():检查值,返回布尔
应用场景
- 储存DOM节点:DOM节点被移除时自动释放此成员,不用担心这些节点从文档移除时会引发内存泄漏
- 临时存放一组对象或存放跟对象绑定的信息:只要这些对象在外部消失,它在
WeakSet结构
中的引用就会自动消
重点难点
- 成员都是
弱引用
,垃圾回收机制不考虑WeakSet结构
对此成员的引用 - 成员不适合引用,它会随时消失,因此ES6规定
WeakSet结构不可遍历
- 其他对象不再引用成员时,垃圾回收机制会自动回收此成员所占用的内存,不考虑此成员是否还存在于
WeakSet结构
中
Map
Map
- 定义:类似于对象的数据结构,成员键是任何类型的值
- 声明:
const set = new Map(arr)
- 入参:具有
Iterator接口
且每个成员都是一个双元素数组的数据结构 - 属性
- constructor:构造函数,返回Map
- size:返回实例成员总数
- 方法
- get():返回键值对
- set():添加键值对,返回实例
- delete():删除键值对,返回布尔
- has():检查键值对,返回布尔
- clear():清除所有成员
- keys():返回以键为遍历器的对象
- values():返回以值为遍历器的对象
- entries():返回以键和值为遍历器的对象
- forEach():使用回调函数遍历每个成员
重点难点
- 遍历顺序:插入顺序
- 对同一个键多次赋值,后面的值将覆盖前面的值
- 对同一个对象的引用,被视为一个键
- 对同样值的两个实例,被视为两个键
- 键跟内存地址绑定,只要内存地址不一样就视为两个键
- 添加多个以
NaN
作为键时,只会存在一个以NaN
作为键的值 Object结构
提供字符串—值
的对应,Map结构
提供值—值
的对应
WeakMap
- 定义:和Map结构类似,成员键只能是对象
- 声明:
const set = new WeakMap(arr)
- 入参:具有
Iterator接口
且每个成员都是一个双元素数组的数据结构 - 属性
- constructor:构造函数,返回WeakMap
- 方法
- get():返回键值对
- set():添加键值对,返回实例
- delete():删除键值对,返回布尔
- has():检查键值对,返回布尔
应用场景
- 储存DOM节点:DOM节点被移除时自动释放此成员键,不用担心这些节点从文档移除时会引发内存泄漏
- 部署私有属性:内部属性是实例的弱引用,删除实例时它们也随之消失,不会造成内存泄漏
重点难点
- 成员键都是
弱引用
,垃圾回收机制不考虑WeakMap结构
对此成员键的引用 - 成员键不适合引用,它会随时消失,因此ES6规定
WeakMap结构不可遍历
- 其他对象不再引用成员键时,垃圾回收机制会自动回收此成员所占用的内存,不考虑此成员是否还存在于
WeakMap结构
中 - 一旦不再需要,成员会自动消失,不用手动删除引用
- 弱引用的
只是键而不是值
,值依然是正常引用 - 即使在外部消除了成员键的引用,内部的成员值依然存在
Proxy
- 定义:修改某些操作的默认行为
- 声明:
const proxy = new Proxy(target, handler)
- 入参
- target:拦截的目标对象
- handler:定制拦截行为
- 方法
- Proxy.revocable():返回可取消的Proxy实例(返回
{ proxy, revoke }
,通过revoke()取消代理)
- Proxy.revocable():返回可取消的Proxy实例(返回
- 拦截方式
- get():拦截对象属性读取
- set():拦截对象属性设置,返回布尔
- has():拦截对象属性检查
k in obj
,返回布尔 - deleteProperty():拦截对象属性删除
delete obj[k]
,返回布尔 - defineProperty():拦截对象属性定义
Object.defineProperty()
、Object.defineProperties()
,返回布尔 - ownKeys():拦截对象属性遍历
for-in
、Object.keys()
、Object.getOwnPropertyNames()
、Object.getOwnPropertySymbols()
,返回数组 - getOwnPropertyDescriptor():拦截对象属性描述读取
Object.getOwnPropertyDescriptor()
,返回对象 - getPrototypeOf():拦截对象原型读取
instanceof
、Object.getPrototypeOf()
、Object.prototype.__proto__
、Object.prototype.isPrototypeOf()
、Reflect.getPrototypeOf()
,返回对象 - setPrototypeOf():拦截对象原型设置
Object.setPrototypeOf()
,返回布尔 - isExtensible():拦截对象是否可扩展读取
Object.isExtensible()
,返回布尔 - preventExtensions():拦截对象不可扩展设置
Object.preventExtensions()
,返回布尔 - apply():拦截Proxy实例作为函数调用
proxy()
、proxy.apply()
、proxy.call()
- construct():拦截Proxy实例作为构造函数调用
new proxy()
应用场景
Proxy.revocable()
:不允许直接访问对象,必须通过代理访问,一旦访问结束就收回代理权不允许再次访问get()
:读取未知属性报错、读取数组负数索引的值、封装链式操作、生成DOM嵌套节点set()
:数据绑定(Vue数据绑定实现原理)、确保属性值设置符合要求、防止内部属性被外部读写has()
:隐藏内部属性不被发现、排除不符合属性条件的对象deleteProperty()
:保护内部属性不被删除defineProperty()
:阻止属性被外部定义ownKeys()
:保护内部属性不被遍历
重点难点
- 要使
Proxy
起作用,必须针对实例
进行操作,而不是针对目标对象
进行操作 - 没有设置任何拦截时,等同于
直接通向原对象
- 属性被定义为
不可读写/扩展/配置/枚举
时,使用拦截方法会报错 - 代理下的目标对象,内部
this
指向Proxy代理
Reflect
- 定义:保持
Object方法
的默认行为 - 方法
- get():返回对象属性
- set():设置对象属性,返回布尔
- has():检查对象属性,返回布尔
- deleteProperty():删除对象属性,返回布尔
- defineProperty():定义对象属性,返回布尔
- ownKeys():遍历对象属性,返回数组(
Object.getOwnPropertyNames()
+Object.getOwnPropertySymbols()
) - getOwnPropertyDescriptor():返回对象属性描述,返回对象
- getPrototypeOf():返回对象原型,返回对象
- setPrototypeOf():设置对象原型,返回布尔
- isExtensible():返回对象是否可扩展,返回布尔
- preventExtensions():设置对象不可扩展,返回布尔
- apply():绑定this后执行指定函数
- construct():调用构造函数创建实例
设计目的
- 将
Object
属于语言内部的方法
放到Reflect
上 - 将某些Object方法报错情况改成返回
false
- 让
Object操作
变成函数行为
Proxy
与Reflect
相辅相成
废弃方法
Object.defineProperty()
=>Reflect.defineProperty()
Object.getOwnPropertyDescriptor()
=>Reflect.getOwnPropertyDescriptor()
重点难点
Proxy方法
和Reflect方法
一一对应Proxy
和Reflect
联合使用,前者负责拦截赋值操作
,后者负责完成赋值操作
数据绑定:观察者模式
const observerQueue = new Set();
const observe = fn => observerQueue.add(fn);
const observable = obj => new Proxy(obj, {
set(tgt, key, val, receiver) {
const result = Reflect.set(tgt, key, val, receiver);
observerQueue.forEach(v => v());
return result;
}
});
const person = observable({ age: 25, name: "Yajun" });
const print = () => console.log(`${person.name} is ${person.age} years old`);
observe(print);
person.name = "Joway";
复制代码
Class
- 定义:对一类具有共同特征的事物的抽象(构造函数语法糖)
- 原理:类本身指向构造函数,所有方法定义在
prototype
上,可看作构造函数的另一种写法(Class === Class.prototype.constructor
) - 方法和关键字
- constructor():构造函数,
new命令
生成实例时自动调用 - extends:继承父类
- super:新建父类的
this
- static:定义静态属性方法
- get:取值函数,拦截属性的取值行为
- set:存值函数,拦截属性的存值行为
- constructor():构造函数,
- 属性
- __proto__:
构造函数的继承
(总是指向父类
) - __proto__.__proto__:子类的原型的原型,即父类的原型(总是指向父类的
__proto__
) - prototype.__proto__:
属性方法的继承
(总是指向父类的prototype
)
- __proto__:
- 静态属性:定义类完成后赋值属性,该属性
不会被实例继承
,只能通过类来调用 - 静态方法:使用
static
定义方法,该方法不会被实例继承
,只能通过类来调用(方法中的this
指向类,而不是实例) - 继承
- 实质
- ES5实质:先创造子类实例的
this
,再将父类的属性方法添加到this
上(Parent.apply(this)
) - ES6实质:先将父类实例的属性方法加到
this
上(调用super()
),再用子类构造函数修改this
- ES5实质:先创造子类实例的
- super
- 作为函数调用:只能在构造函数中调用
super()
,内部this
指向继承的当前子类
(super()
调用后才可在构造函数中使用this
) - 作为对象调用:在
普通方法
中指向父类的原型对象
,在静态方法
中指向父类
- 作为函数调用:只能在构造函数中调用
- 显示定义:使用
constructor() { super(); }
定义继承父类,没有书写则显示定义
- 子类继承父类:子类使用父类的属性方法时,必须在构造函数中调用
super()
,否则得不到父类的this
- 父类静态属性方法可被子类继承
- 子类继承父类后,可从
super
上调用父类静态属性方法
- 实质
- 实例:类相当于
实例的原型
,所有在类中定义的属性方法都会被实例继承- 显式指定属性方法:使用
this
指定到自身上(使用Class.hasOwnProperty()
可检测到) - 隐式指定属性方法:直接声明定义在对象原型上(使用
Class.__proto__.hasOwnProperty()
可检测到)
- 显式指定属性方法:使用
- 表达式
- 类表达式:
const Class = class {}
- name属性:返回紧跟
class
后的类名 - 属性表达式:
[prop]
- Generator方法:
* mothod() {}
- Async方法:
async mothod() {}
- 类表达式:
- this指向:解构实例属性或方法时会报错
- 绑定this:
this.mothod = this.mothod.bind(this)
- 箭头函数:
this.mothod = () => this.mothod()
- 绑定this:
- 属性定义位置
- 定义在构造函数中并使用
this
指向 - 定义在
类最顶层
- 定义在构造函数中并使用
- new.target:确定构造函数是如何调用
原生构造函数
- String()
- Number()
- Boolean()
- Array()
- Object()
- Function()
- Date()
- RegExp()
- Error()
重点难点
- 在实例上调用方法,实质是调用原型上的方法
Object.assign()
可方便地一次向类添加多个方法(Object.assign(Class.prototype, { ... })
)- 类内部所有定义的方法是不可枚举的(
non-enumerable
) - 构造函数默认返回实例对象(
this
),可指定返回另一个对象 - 取值函数和存值函数设置在属性的
Descriptor对象
上 - 类不存在变量提升
- 利用
new.target === Class
写出不能独立使用必须继承后才能使用的类 - 子类继承父类后,
this
指向子类实例,通过super
对某个属性赋值,赋值的属性会变成子类实例的属性 - 使用
super
时,必须显式指定是作为函数还是作为对象使用 extends
不仅可继承类还可继承原生的构造函数
私有属性方法
const name = Symbol("name");
const print = Symbol("print");
class Person {
constructor(age) {
this[name] = "Bruce";
this.age = age;
}
[print]() {
console.log(`${this[name]} is ${this.age} years old`);
}
}
复制代码
继承混合类
function CopyProperties(target, source) {
for (const key of Reflect.ownKeys(source)) {
if (key !== "constructor" && key !== "prototype" && key !== "name") {
const desc = Object.getOwnPropertyDescriptor(source, key);
Object.defineProperty(target, key, desc);
}
}
}
function MixClass(...mixins) {
class Mix {
constructor() {
for (const mixin of mixins) {
CopyProperties(this, new mixin());
}
}
}
for (const mixin of mixins) {
CopyProperties(Mix, mixin);
CopyProperties(Mix.prototype, mixin.prototype);
}
return Mix;
}
class Student extends MixClass(Person, Kid) {}
复制代码
Module
- 命令
- export:规定模块对外接口
- 默认导出:
export default Person
(导入时可指定模块任意名称,无需知晓内部真实名称) - 单独导出:
export const name = "Bruce"
- 按需导出:
export { age, name, sex }
(推荐) - 改名导出:
export { name as newName }
- 默认导出:
- import:导入模块内部功能
- 默认导入:
import Person from "person"
- 整体导入:
import * as Person from "person"
- 按需导入:
import { age, name, sex } from "person"
- 改名导入:
import { name as newName } from "person"
- 自执导入:
import "person"
- 复合导入:
import Person, { name } from "person"
- 默认导入:
- 复合模式:
export命令
和import命令
结合在一起写成一行,变量实质没有被导入当前模块,相当于对外转发接口,导致当前模块无法直接使用其导入变量- 默认导入导出:
export { default } from "person"
- 整体导入导出:
export * from "person"
- 按需导入导出:
export { age, name, sex } from "person"
- 改名导入导出:
export { name as newName } from "person"
- 具名改默认导入导出:
export { name as default } from "person"
- 默认改具名导入导出:
export { default as name } from "person"
- 默认导入导出:
- export:规定模块对外接口
- 继承:
默认导出
和改名导出
结合使用可使模块具备继承性 - 设计思想:尽量地静态化,使得编译时就能确定模块的依赖关系,以及输入和输出的变量
- 严格模式:ES6模块自动采用严格模式(不管模块头部是否添加
use strict
)
模块方案
- CommonJS:用于服务器(动态化依赖)
- AMD:用于浏览器(动态化依赖)
- CMD:用于浏览器(动态化依赖)
- UMD:用于浏览器和服务器(动态化依赖)
- ESM:用于浏览器和服务器(静态化依赖)
加载方式
- 运行时加载
- 定义:整体加载模块生成一个对象,再从对象上获取需要的属性和方法进行加载(全部加载)
- 影响:只有运行时才能得到这个对象,导致无法在编译时做静态优化
- 编译时加载
- 定义:直接从模块中获取需要的属性和方法进行加载(按需加载)
- 影响:在编译时就完成模块加载,效率比其他方案高,但无法引用模块本身(本身不是对象),可拓展JS高级语法(宏和类型校验)
加载实现
- 传统加载:通过
<script>
进行同步或异步加载脚本- 同步加载:
<script src=""></script>
- Defer异步加载:
<script src="" defer></script>
(顺序加载,渲染完再执行) - Async异步加载:
<script src="" async></script>
(乱序加载,下载完就执行)
- 同步加载:
- 模块加载:
<script type="module" src=""></script>
(默认是Defer异步加载)
CommonJS和ESM的区别
CommonJS
输出值的拷贝
,ESM
输出值的引用
CommonJS
一旦输出一个值,模块内部的变化就影响不到这个值ESM
是动态引用且不会缓存值,模块里的变量绑定其所在的模块,等到脚本真正执行时,再根据这个只读引用到被加载的那个模块里去取值
CommonJS
是运行时加载,ESM
是编译时加载CommonJS
加载模块是对象(即module.exports
),该对象只有在脚本运行完才会生成ESM
加载模块不是对象,它的对外接口只是一种静态定义,在代码静态解析阶段就会生成
Node加载
- 背景:
CommonJS
和ESM
互不兼容,目前解决方案是将两者分开,采用各自的加载方案 - 区分:要求
ESM
采用.mjs
后缀文件名require()
不能加载.mjs文件
,只有import命令
才可加载.mjs文件
.mjs文件
里不能使用require()
,必须使用import命令
加载文件
- 驱动:
node --experimental-modules file.mjs
- 限制:Node的
import命令
目前只支持加载本地模块(file:协议
),不支持加载远程模块 - 加载优先级
- 脚本文件省略后缀名:依次尝试加载四个后缀名文件(
.mjs
、.js
、.json
、node
) - 以上不存在:尝试加载
package.json
的main字段
指定的脚本 - 以上不存在:依次尝试加载名称为
index
四个后缀名文件(.mjs
、.js
、.json
、node
) - 以上不存在:报错
- 脚本文件省略后缀名:依次尝试加载四个后缀名文件(
- 不存在的内部变量:
arguments
、exports
、module
、require
、this
、__dirname
、__filename
- CommonJS加载ESM
- 不能使用
require()
,只能使用import()
- 不能使用
- ESM加载CommonJS
- 自动将
module.exports
转化成export default
CommonJS
输出缓存机制在ESM
加载方式下依然有效- 采用
import命令
加载CommonJS模块
时,不允许采用按需导入
,应使用默认导入
或整体导入
- 自动将
循环加载
- 定义:
脚本A
的执行依赖脚本B
,而脚本A
的执行又依赖脚本B
- 加载原理
- CommonJS:
require()
首次加载脚本就会执行整个脚本,在内存里生成一个对象缓存下来,二次加载脚本时直接从缓存中获取 - ESM:
import命令
加载变量不会被缓存,而是成为一个指向被加载模块的引用
- CommonJS:
- 循环加载
- CommonJS:只输出已经执行的部分,还未执行的部分不会输出
- ESM:需开发者自己保证真正取值时能够取到值(可把变量写成函数形式,函数具有提升作用)
重点难点
- ES6模块中,顶层
this
指向undefined
,不应该在顶层代码使用this
- 一个模块就是一个独立的文件,该文件内部的所有变量,外部无法获取
export命令
输出的接口与其对应的值是动态绑定关系
,即通过该接口可获取模块内部实时的值import命令
大括号里的变量名必须与被导入模块对外接口的名称相同import命令
输入的变量只读(本质是输入接口),不允许在加载模块的脚本里改写接口import命令
命令具有提升效果,会提升到整个模块的头部,首先执行- 重复执行同一句
import语句
,只会执行一次 export default
命令只能使用一次export default命令
导出的整体模块,在执行import命令
时其后不能跟大括号
export default命令
本质是输出一个名为default
的变量,后面不能跟变量声明语句
export default命令
本质是将后面的值赋给名为default
的变量,可直接将值写在其后export default命令
和export {}命令
可同时存在,对应复合导入
export命令
和import命令
可出现在模块任何位置,只要处于模块顶层即可,不能处于块级作用域import()
加载模块成功后,此模块会作为一个对象,当作then()
的参数,可使用对象解构赋值
来获取输出接口- 同时动态加载多个模块时,可使用
Promise.all()
和import()
相结合来实现 import()
和结合async/await
来书写同步操作的代码
单例模式:跨模块常量
// 常量跨文件共享
// person.js
const NAME = "Bruce";
const AGE = 25;
const SEX = "male";
export { AGE, NAME, SEX };
复制代码
// file1.js
import { AGE } from "person";
console.log(AGE);
复制代码
// file2.js
import { AGE, NAME, SEX } from "person";
console.log(AGE, NAME, SEX);
复制代码
默认导入互换整体导入
import Person from "person";
console.log(Person.AGE);
复制代码
import * as Person from "person";
console.log(Person.default.AGE);
复制代码
Iterator
- 定义:为各种不同的数据结构提供统一的访问机制
- 原理:创建一个指针指向首个成员,按照次序使用
next()
指向下一个成员,直接到结束位置(数据结构只要部署Iterator接口
就可完成遍历操作) - 作用
- 为各种数据结构提供一个统一的简便的访问接口
- 使得数据结构成员能够按某种次序排列
- ES6创造了新的遍历命令
for-of
,Iterator接口
主要供for-of
消费
- 形式:
for-of
(自动去寻找Iterator接口) - 数据结构
- 集合:
Array
、Object
、Set
、Map
- 原生具备接口的数据结构:
String
、Array
、Set
、Map
、TypedArray
、Arguments
、NodeList
- 集合:
- 部署:默认部署在
Symbol.iterator
(具备此属性被认为可遍历的iterable
) - 遍历器对象
- next():下一步操作,返回
{ done, value }
(必须部署) - return():
for-of
提前退出调用,返回{ done: true }
- throw():不使用,配合
Generator函数
使用
- next():下一步操作,返回
ForOf循环
- 定义:调用
Iterator接口
产生遍历器对象(for-of
内部调用数据结构的Symbol.iterator()
) - 遍历字符串:
for-in
获取索引
,for-of
获取值
(可识别32位UTF-16字符) - 遍历数组:
for-in
获取索引
,for-of
获取值
- 遍历对象:
for-in
获取键
,for-of
需自行部署 - 遍历Set:
for-of
获取值
=>for (const v of set)
- 遍历Map:
for-of
获取键值对
=>for (const [k, v] of map)
- 遍历类数组:
包含length的对象
、Arguments对象
、NodeList对象
(无Iterator接口的类数组
可用Array.from()
转换) - 计算生成数据结构:
Array
、Set
、Map
- keys():返回遍历器对象,遍历所有的键
- values():返回遍历器对象,遍历所有的值
- entries():返回遍历器对象,遍历所有的键值对
- 与
for-in
区别- 有着同
for-in
一样的简洁语法,但没有for-in
那些缺点、 - 不同于
forEach()
,它可与break
、continue
和return
配合使用 - 提供遍历所有数据结构的统一操作接口
- 有着同
应用场景
- 改写具有
Iterator接口
的数据结构的Symbol.iterator
- 解构赋值:对Set进行结构
- 扩展运算符:将部署
Iterator接口
的数据结构转为数组 - yield*:
yield*
后跟一个可遍历的数据结构,会调用其遍历器接口 - 接受数组作为参数的函数:
for-of
、Array.from()
、new Set()
、new WeakSet()
、new Map()
、new WeakMap()
、Promise.all()
、Promise.race()
Promise
- 定义:包含异步操作结果的对象
- 状态
- 进行中:
pending
- 已成功:
resolved
- 已失败:
rejected
- 进行中:
- 特点
- 对象的状态不受外界影响
- 一旦状态改变就不会再变,任何时候都可得到这个结果
- 声明:
new Promise((resolve, reject) => {})
- 出参
- resolve:将状态从
未完成
变为成功
,在异步操作成功时调用,并将异步操作的结果作为参数传递出去 - reject:将状态从
未完成
变为失败
,在异步操作失败时调用,并将异步操作的错误作为参数传递出去
- resolve:将状态从
- 方法
- then():分别指定
resolved状态
和rejected状态
的回调函数- 第一参数:状态变为
resolved
时调用 - 第二参数:状态变为
rejected
时调用(可选)
- 第一参数:状态变为
- catch():指定发生错误时的回调函数
- Promise.all():将多个实例包装成一个新实例,返回全部实例状态变更后的结果数组(齐变更再返回)
- 入参:具有
Iterator接口
的数据结构 - 成功:只有全部实例状态变成
fulfilled
,最终状态才会变成fulfilled
- 失败:其中一个实例状态变成
rejected
,最终状态就会变成rejected
- 入参:具有
- Promise.race():将多个实例包装成一个新实例,返回全部实例状态优先变更后的结果(先变更先返回)
- 入参:具有
Iterator接口
的数据结构 - 成功失败:哪个实例率先改变状态就返回哪个实例的状态
- 入参:具有
- Promise.resolve():将对象转为Promise对象(等价于
new Promise(resolve => resolve())
)- Promise实例:原封不动地返回入参
- Thenable对象:将此对象转为Promise对象并返回(Thenable为包含
then()
的对象,执行then()
相当于执行此对象的then()
) - 不具有then()的对象:将此对象转为Promise对象并返回,状态为
resolved
- 不带参数:返回Promise对象,状态为
resolved
- Promise.reject():将对象转为状态为
rejected
的Promise对象(等价于new Promise((resolve, reject) => reject())
)
- then():分别指定
应用场景
- 加载图片
- AJAX转Promise对象
重点难点
- 只有异步操作的结果可决定当前状态是哪一种,其他操作都无法改变这个状态
- 状态改变只有两种可能:从
pending
变为resolved
、从pending
变为rejected
- 一旦新建
Promise对象
就会立即执行,无法中途取消 - 不设置回调函数,内部抛错不会反应到外部
- 当处于
pending
时,无法得知目前进展到哪一个阶段 - 实例状态变为
resolved
或rejected
时,会触发then()
绑定的回调函数 resolve()
和reject()
的执行总是晚于本轮循环的同步任务then()
返回新实例,其后可再调用另一个then()
then()
运行中抛出错误会被catch()
捕获reject()
的作用等同于抛出错误- 实例状态已变成
resolved
时,再抛出错误是无效的,不会被捕获,等于没有抛出 - 实例状态的错误具有
冒泡
性质,会一直向后传递直到被捕获为止,错误总是会被下一个catch()
捕获 - 不要在
then()
里定义rejected
状态的回调函数(不使用其第二参数) - 建议使用
catch()
捕获错误,不要使用then()
第二个参数捕获 - 没有使用
catch()
捕获错误,实例抛错不会传递到外层代码,即不会有任何反应
- 作为参数的实例定义了
catch()
,一旦被rejected
并不会触发Promise.all()
的catch()
Promise.reject()
的参数会原封不动地作为rejected
的理由,变成后续方法的参数
Generator
- 定义:封装多个内部状态的异步编程解决方案
- 形式:调用
Generator函数
(该函数不执行)返回指向内部状态的指针对象(不是运行结果) - 声明:
function* Func() {}
- 方法
- next():使指针移向下一个状态,返回
{ done, value }
(入参会被当作上一个yield命令表达式
的返回值) - return():返回指定值且终结遍历
Generator函数
,返回{ done: true, value: 入参 }
- throw():在
Generator函数
体外抛出错误,在Generator函数
体内捕获错误,返回自定义的new Errow()
- next():使指针移向下一个状态,返回
- yield命令:声明内部状态的值(
return
声明结束返回的值)- 遇到
yield命令
就暂停执行后面的操作,并将其后表达式的值作为返回对象的value
- 下次调用
next()
时,再继续往下执行直到遇到下一个yield命令
- 没有再遇到
yield命令
就一直运行到Generator函数
结束,直到遇到return语句
为止并将其后表达式的值作为返回对象的value
Generator函数
没有return语句
则返回对象的value
为undefined
- 遇到
- yield*命令:在一个
Generator函数
里执行另一个Generator函数
(后随具有Iterator接口
的数据结构) - 遍历:通过
for-of
自动调用next()
- 作为对象属性
- 全写:
const obj = { method: function*() {} }
- 简写:
const obj = { * method() {} }
- 全写:
- 上下文:执行产生的
上下文环境
一旦遇到yield命令
就会暂时退出堆栈(但并不消失),所有变量和对象会冻结在当前状态
,等到对它执行next()
时,这个上下文环境
又会重新加入调用栈,冻结的变量和对象恢复执行
方法异同
- 相同点:
next()
、throw()
、return()
本质上是同一件事,作用都是让函数恢复执行且使用不同的语句替换yield命令
- 不同点
- next():将
yield命令
替换成一个值
- return():将
yield命令
替换成一个return语句
- throw():将
yield命令
替换成一个throw语句
- next():将
应用场景
- 异步操作同步化表达
- 控制流管理
- 为对象部署Iterator接口:把
Generator函数
赋值给对象的Symbol.iterator
,从而使该对象具有Iterator接口
- 作为具有Iterator接口的数据结构
重点难点
- 每次调用
next()
,指针就从函数头部
或上次停下的位置
开始执行,直到遇到下一个yield命令
或return语句
为止 - 函数内部可不用
yield命令
,但会变成单纯的暂缓执行函数
(还是需要next()
触发) yield命令
是暂停执行的标记,next()
是恢复执行的操作yield命令
用在另一个表达式中必须放在圆括号
里yield命令
用作函数参数或放在赋值表达式的右边,可不加圆括号
yield命令
本身没有返回值,可认为是返回undefined
yield命令表达式
为惰性求值,等next()
执行到此才求值- 函数调用后生成遍历器对象,此对象的
Symbol.iterator
是此对象本身 - 在函数运行的不同阶段,通过
next()
从外部向内部注入不同的值,从而调整函数行为 - 首个
next()
用来启动遍历器对象,后续才可传递参数 - 想首次调用
next()
时就能输入值,可在函数外面再包一层 - 一旦
next()
返回对象的done
为true
,for-of
遍历会中止且不包含该返回对象 - 函数内部部署
try-finally
且正在执行try
,那么return()
会导致立刻进入finally
,执行完finally
以后整个函数才会结束 - 函数内部没有部署
try-catch
,throw()
抛错将被外部try-catch
捕获 throw()
抛错要被内部捕获,前提是必须至少执行过一次next()
throw()
被捕获以后,会附带执行下一条yield命令
- 函数还未开始执行,这时
throw()
抛错只可能抛出在函数外部
首次next()可传值
function Wrapper(func) {
return function(...args) {
const generator = func(...args);
generator.next();
return generator;
}
}
const print = Wrapper(function*() {
console.log(`First Input: ${yield}`);
return "done";
});
print().next("hello");
复制代码
ES2016
![ES2016](https://i-blog.csdnimg.cn/blog_migrate/29d0977484b5962063c1551fd3760f2f.png)
数值扩展
- 指数运算符(**):数值求幂(相当于
Math.pow()
)
数组扩展
- includes():是否存在指定成员
ES2017
![ES2017](https://i-blog.csdnimg.cn/blog_migrate/8e022d2403864c542976cb951e56c385.png)
声明
- 共享内存和原子操作:由全局对象
SharedArrayBuffer
和Atomics
实现,将数据存储在一块共享内存空间中,这些数据可在JS主线程
和web-worker线程
之间共享
字符串扩展
- padStart():把指定字符串填充到字符串头部,返回新字符串
- padEnd():把指定字符串填充到字符串尾部,返回新字符串
对象扩展
- Object.getOwnPropertyDescriptors():返回对象所有自身属性(非继承属性)的描述对象
- Object.values():返回以值组成的数组
- Object.entries():返回以键和值组成的数组
函数扩展
- 函数参数尾逗号:允许函数最后一个参数有尾逗号
Async
- 定义:使异步函数以同步函数的形式书写(Generator函数语法糖)
- 原理:将
Generator函数
和自动执行器spawn
包装在一个函数里 - 形式:将
Generator函数
的*
替换成async
,将yield
替换成await
- 声明
- 具名函数:
async function Func() {}
- 函数表达式:
const func = async function() {}
- 箭头函数:
const func = async() => {}
- 对象方法:
const obj = { async func() {} }
- 类方法:
class Cla { async Func() {} }
- 具名函数:
- await命令:等待当前Promise对象状态变更完毕
- 正常情况:后面是Promise对象则返回其结果,否则返回对应的值
- 后随
Thenable对象
:将其等同于Promise对象返回其结果
- 错误处理:将
await命令Promise对象
放到try-catch
中(可放多个)
Async对Generator改进
- 内置执行器
- 更好的语义
- 更广的适用性
- 返回值是Promise对象
应用场景
- 按顺序完成异步操作
重点难点
Async函数
返回Promise对象
,可使用then()
添加回调函数- 内部
return返回值
会成为后续then()
的出参 - 内部抛出错误会导致返回的Promise对象变为
rejected状态
,被catch()
接收到 - 返回的Promise对象必须等到内部所有
await命令Promise对象
执行完才会发生状态改变,除非遇到return语句
或抛出错误
- 任何一个
await命令Promise对象
变为rejected状态
,整个Async函数
都会中断执行 - 希望即使前一个异步操作失败也不要中断后面的异步操作
- 将
await命令Promise对象
放到try-catch
中 await命令Promise对象
跟一个catch()
- 将
await命令Promise对象
可能变为rejected状态
,最好把其放到try-catch
中- 多个
await命令Promise对象
若不存在继发关系,最好让它们同时触发 await命令
只能用在Async函数
之中,否则会报错- 数组使用
forEach()
执行async/await
会失效,可使用for-of
和Promise.all()
代替 - 可保留运行堆栈,函数上下文随着
Async函数
的执行而存在,执行完成就消失
ES2018
![ES2018](https://i-blog.csdnimg.cn/blog_migrate/b3abdb68e3c3c294c8a779e7da0fdc96.png)
字符串扩展
- 放松对标签模板里字符串转义的限制:遇到不合法的字符串转义返回
undefined
,并且从raw
上可获取原字符串
对象扩展
- 扩展运算符(...):转换对象为用逗号分隔的参数序列(
{ ...obj }
,相当于rest/spread参数
的逆运算)
扩展应用
- 克隆对象:
const obj = { __proto__: Object.getPrototypeOf(obj1), ...obj1 }
- 合并对象:
const obj = { ...obj1, ...obj2 }
- 转换字符串为对象:
{ ..."hello" }
- 转换数组为对象:
{ ...[1, 2] }
- 与对象解构赋值结合:
const { x, ...rest/spread } = { x: 1, y: 2, z: 3 }
(不能复制继承自原型对象的属性) - 修改现有对象部分属性:
const obj = { x: 1, ...{ x: 2 } }
正则扩展
- s修饰符:dotAll模式修饰符,使
.
匹配任意单个字符(dotAll模式
) - dotAll:是否设置
s修饰符
- 后行断言:
x
只有在y
后才匹配 - 后行否定断言:
x
只有不在y
后才匹配 - Unicode属性转义:匹配符合
Unicode某种属性
的所有字符- 正向匹配:
\p{PropRule}
- 反向匹配:
\P{PropRule}
- 限制:
\p{...}
和\P{...}
只对Unicode字符
有效,使用时需加上u修饰符
- 正向匹配:
- 具名组匹配:为每组匹配指定名字(
?<GroupName>
)- 形式:
str.exec().groups.GroupName
- 解构赋值替换
- 声明:
const time = "2017-09-11"
、const regexp = /(?<year>\d{4})-(?<month>\d{2})-(?<day>\d{2})/u
- 匹配:
time.replace(regexp, "$<day>/$<month>/$<year>")
- 声明:
- 形式:
Promise
- finally():指定不管最后状态如何都会执行的回调函数
Async
- 异步迭代器(for-await-of):循环等待每个
Promise对象
变为resolved状态
才进入下一步
ES2019
![ES2019](https://i-blog.csdnimg.cn/blog_migrate/4d624e71a3f0abe83a7d88694bda1045.png)
字符串扩展
- 直接输入U+2028和U+2029:字符串可直接输入
行分隔符
和段分隔符
- JSON.stringify()改造:可返回不符合UTF-8标准的字符串
- trimStart():消除字符串头部空格,返回新字符串
- trimEnd():消除字符串尾部空格,返回新字符串
对象扩展
- Object.fromEntries():返回以键和值组成的对象(
Object.entries()
的逆操作)
数组扩展
- sort()稳定性:排序关键字相同的项目其排序前后的顺序不变,默认为
稳定
- flat():扁平化数组,返回新数组
- flatMap():映射且扁平化数组,返回新数组(只能展开一层数组)
函数扩展
- toString()改造:返回函数原始代码(与编码一致)
- catch()参数可省略:
catch()
中的参数可省略
Symbol
- description:返回
Symbol值
的描述
ES2020
![ES2020](https://i-blog.csdnimg.cn/blog_migrate/9679a1d1f97c21f6c517821960160933.png)
声明
- globalThis:作为顶层对象,指向全局环境下的
this
- Browser:顶层对象是
window
- Node:顶层对象是
global
- WebWorker:顶层对象是
self
- 以上三者:通用顶层对象是
globalThis
- Browser:顶层对象是
数值扩展
- BigInt:任何位数的整数(新增的数据类型,使用
n
结尾)- BigInt():转换普通数值为BigInt类型
- BigInt.asUintN():转换BigInt为0到2n-1之间对应的值
- BigInt.asIntN():转换BigInt为-2n-1 到2n-1-1
- BigInt.parseInt():近似于
Number.parseInt()
,将一个字符串转换成指定进制的BigInt类型
重点难点
- BigInt同样可使用各种进制表示,都要加上后缀
- BigInt与普通整数是两种值,它们之间并不相等
- typeof运算符对于BigInt类型的数据返回
bigint
对象扩展
- 链判断操作符(?.):是否存在对象属性(不存在返回
undefined
且不再往下执行)- 对象属性:
obj?.prop
、obj?.[expr]
- 函数调用:
func?.(...args)
- 对象属性:
- 空判断操作符(??):是否值为
undefined
或null
,是则使用默认值
正则扩展
- matchAll():返回所有匹配的遍历器
Module
- import():动态导入(返回
Promise
)- 背景:
import命令
被JS引擎静态分析,先于模块内的其他语句执行,无法取代require()
的动态加载功能,提案建议引入import()
来代替require()
- 位置:可在任何地方使用
- 区别:
require()
是同步加载,import()
是异步加载 - 场景:按需加载、条件加载、模块路径动态化
- 背景:
Iterator
- for-in遍历顺序:不同的引擎已就如何迭代属性达成一致,从而使行为标准化
Promise
- Promise.allSettled():将多个实例包装成一个新实例,返回全部实例状态变更后的状态数组(齐变更再返回)
- 入参:具有
Iterator接口
的数据结构 - 成功:成员包含
status
和value
,status
为fulfilled
,value
为返回值 - 失败:成员包含
status
和reason
,status
为rejected
,value
为错误原因
- 入参:具有
ES提案
![ES提案](https://i-blog.csdnimg.cn/blog_migrate/59f635acd54d8bb3918ae28884b1ec14.png)
声明
- do表达式:封装块级作用域的操作,返回内部最后执行表达式的值(
do{}
) - throw表达式:直接使用
throw new Error()
,无需()
或{}
包括 - !#命令:指定脚本执行器(写在文件首行)
数值扩展
- 数值分隔符(_):使用
_
作为千分位分隔符(增加数值的可读性) - Math.signbit():返回数值符号是否设置
函数扩展
- 函数部分执行:复用函数功能(
?
表示单个参数占位符,...
表示多个参数占位符) - 管道操作符(|>):把左边表达式的值传入右边的函数进行求值(
f(x)
=>x |> f
) - 绑定运算符(::):函数绑定(左边是对象右边是函数,取代
bind
、apply
、call
调用)- bind:
bar.bind(foo)
=>foo::bar
- apply:
bar.apply(foo, arguments)
=>foo::bar(...arguments)
- bind:
Realm
- 定义:提供
沙箱功能
,允许隔离代码,防止被隔离的代码拿到全局对象 - 声明:
new Realm().global
Class
- 静态属性:使用
static
定义属性,该属性不会被实例继承
,只能通过类来调用 - 私有属性:使用
#
定义属性,该属性只能在类内部访问 - 私有方法:使用
#
定义方法,该方法只能在类内部访问 - 装饰器:使用
@
注释或修改类和类方法
Module
- import.meta:返回脚本元信息
Promise
- Promise.any():将多个实例包装成一个新实例,返回全部实例状态变更后的结果数组(齐变更再返回)
- 入参:具有
Iterator接口
的数据结构 - 成功:其中一个实例状态变成
fulfilled
,最终状态就会变成fulfilled
- 失败:只有全部实例状态变成
rejected
,最终状态才会变成rejected
- 入参:具有
- Promise.try():不想区分是否同步异步函数,包装函数为实例,使用
then()
指定下一步流程,使用catch()
捕获错误
Async
- 顶层Await:允许在模块的顶层独立使用
await命令
(借用await
解决模块异步加载的问题)
总结
最后送大家一张完整的ES6特性图,记得给我点个赞喔,算是对我的一种鼓励。因为图片实在太大无法上传,请关注IQ前端
或扫描文章底部二维码
,后台回复ES6
,获取高清的ES6全部特性记忆图,助你轻松记住ES6全部特性。