ES6新特性解读

982 阅读14分钟

一 变量和作用域

1) let 、const、 块级作用域和变量声明

let声明的变量只在所在块中生效let声明的变量可以解决var与for循环结合使用产生的无法取得最新变量值的问题(以往都需要通过闭包来解决这个问题)let声明的变量不存在变量提升(从undefined->ReferenceError,其实也是一种暂时性死区)、会造成变量暂时性死区(在声明let变量之前都不能用它)、也不允许重复声明;

const声明的变量行为与let类似,只是多了两点更强的约束:1.声明时必须赋值;2.声明的变量内存地址不可变,需要注意的是:对于用const声明基本类型,值就保存在内存地址之中,意味着变量不可重新赋值;对于用const声明的对象,对象内容还是可以更改的,只是不能改变其指向。(冻结对象应该用Object.freeze())

从ES5时代的全局作用域、函数作用域到ES6的增加的块级作用域,大家不禁问为什么要引入块级作用域?当然是为了解决已有机制的问题,在这之前程序员发明了匿名立即执行函数来模拟块级作用域,问题举例:内层作用域覆盖了外层作用域的变量、内层作用域的变量跑到外层来了。

变量声明的6种方式var function let const import class

另外值得注意的一点是:var function声明的全局变量属于顶层对象的属性;但let const class声明的全局对象不属于顶层对象的属性。

3) 解构赋值(按照一定的结构解析出来进行赋值)

解构赋值的使用场景:变量快捷赋值、提取数据、函数参数定义和默认值、遍历某结构

什么样的数据可以进行解构赋值?——任何具有Iterator接口的数据类型,常见的解构赋值作用的数据有:数组、对象、字符串、布尔、数只类型;null和undefined不能进行解构赋值

解构赋值过程可以指定默认值

二 原生对象的方法扩展

1)String

加强了对unicode的支持、支持字符串遍历(后面有讲到实际上是部署了iterator接口)、repeat()等方法的支持、模板字符串

2)  RegExp

构造函数第一个参数是正则表达式,指定第二个参数不再报错、u修饰符、y修饰符、s修饰符

3) Number

二进制和八进制新写法、新方法parseInt()、Number.EPSILON极小常量、安全整数、Math新方法

4) Function

函数参数默认值、rest参数、函数内部严格模式、函数的name属性、箭头函数

5) Array

扩展运算符...

6) Object 和 Symbol

(1) Object对象

支持简写:同名属性K-V可以省略一个、函数声明可以省略function;支持属性名表达式、函数名表达式。(注意:以上2个——表达式和简写不能同时使用)。

对象的方法的name属性返回方法名,但有几个例外情况要小心。新增了Object方法

  • Object.is()——用于解决==和===的部分兼容问题
  • Object.assign()——将src的所有可枚举对象属性复制到dest对象上(浅复制)
  • Object.setPrototypeOf()、Object.getPrototypeOf() (Object.__proto属性)
  • Object.entries()、Object.keys()、Object.values()
ES6中5种遍历对象属性的方法
  1. for-in——自身和继承的可枚举属性(除Symbol)
  2. Object.keys()——自身非继承的可枚举属性(除Symbol)
  3. Object.getOwnPropertyNames()——自身所有属性键名(包括不可枚举、除Symbol)
  4. Object.getOwnPropertySymbols()——自身的所有 Symbol 属性的键名
  5. Reflect.ownKeys()——自身的所有键名
对象的...运算符(待补充)

(2)Symbol类型

ES5以前,对象属性都只能是字符串,容易造成重命名导致的冲突。Symbol提供了一种机制,可以保存属性名是独一无二的。Symbol类型的使用注意:1)创建是调用函数,而不是new关键字 2)Symbol类型的属性不会被for-*、Object.keys()、Object.getPropertyNames()返回,可以用后面两种方法遍历。

Symbol类型的内置方法用法(待补充熟悉)

三 数据结构Set和Map

Set是一种类似数组的数据结构,区别在于其存储的成员都是不重复的,由此带来了它的一个应用就是:去重。Set通过new关键字实例化,入参可以是数组or类数组的对象。

值得注意的是:在Set中,只能存储一个NaN,这说明在Set数据结构中,NaN等于NaN

Set实例的方法:操作方法add()、delete()、has()和clear();遍历方法:keys()、values()、entries()和forEach();扩展运算符...、数组方法map()、filter()方法也可以用于Set结构。由此它可以很方便的实现数组的交、并、差集。

WeakSet类似于Set,主要区别在于1.成员只能是对象类型;2.对象都是弱引用(如果其他对象都不再引用该对象,垃圾回收机制会自动回收该对象所占的内存,不可预测何时会发生,故WeakSet不可被遍历)

JavaScript对象Object都是键值K-V对的集合,但K取值只能是字符串和Symbol,Map也是K-V的集合,然而其K可以取任意类型。如果需要键值对的集合,Map比Object更适合。Map通过new关键字实例化。

Map实例的方法:set()、get()、has()、delete()和clear();遍历方法同Set。

Map与其它数据结构的互相转换:Map <---> 数组| Map <---> 对象| Map <---> JSON。

WeakMap类似于Map,主要区别在于:1.只接受对象作为键名;2.键名所指向的对象不计入垃圾回收机制

四 元编程相关Proxy和Reflect

1)Proxy  

对目标对象加一层“拦截”(“代理”),外界对对象的访问、修改都必须先通过这层拦截层。因而它提供了一个机制可以对外界的访问进行过滤和改写。

用法:var proxy = new Proxy(p1,p2); p1是要被代理的目标对象,p2是配置对象。

Proxy实例可以作为其它对象的原型对象。支持13个拦截方法,列表如下:

get set has ownKeys getOwnPropertyDescriptor defineProperty deleteProperty getPrototypeOf setPrototypeOf isExtensible preventExtensions apply construct

值得注意的是:Proxy不是对目标对象透明的代理——即使不做任何拦截的情况下无法保证代理对象与目标对象行为的完全一致。(主要原因在于代理时,目标对象内部的this会指向代理对象)

2)Reflect

与Proxy一样是ES6为语言层面的用于操作对象提供的新API,目前它所拥有的对象方法与Proxy对象一一对应,引入目的:1.将Object对象上一些属于语言内部的方法放在Reflect上(目前都可以放)2.修改Object对象上某些方法的返回值,使得更加合理化(健壮)3.让Object对象的操作从命令式完全转化为函数式

五 异步编程Promise、Generator和Async

在JavaScript的世界里,对于异步编程存在如下几种方案:1.回调函数;2.事件触发监听;3.发布订阅者模式;4.Promise。首先介绍Promise,然后介绍ES6提供的生成器函数,async函数。

Promise来源于社区,代表一个对象,它代表异步操作未来的一个结果(承诺)。它总共有三个状态,pending\fulfilled\rejected。另外,它的状态翻转路径只有两个:pending->fulfilled or pending->rejected,一旦状态翻转,就不可变了。它支持链式调用,支持错误传递,支持以同步代码的方式写异步操作。

Promise是一个对象,创建此对象实例的方法如下(可以理解resolve和reject是已返回的承诺对象未来回调函数的占位)

var p = new Promise(function(resolve,reject){
    //异步操作
    if( /*异步操作成功*/ ){
        resolve(value); //pending->fulfilled时调用,并将异步操作的结果作为参数value传递出去
    } else {
        reject(error); //pending->rejected是调用,将异步操作失败的报错作为参数传递
    }
})

p.then(function(value){ //成功时的回调
    console.log("success" + value);
},function(error){//失败时的回调
    console.log("error" + error);
});

Promise.prototype方法then() ->用于为Promise对象实例添加状态改变时的回调函数;值得注意的是,承诺对象实例的then()方法返回的也是一个Promise对象实例(全新的实例),因而可以链式调用then()方法catch()方法其实是then(null,reject)的别名,用于异步操作发生错误时指定错误处理回调函数。

Proimise对象方法:all()、race()、reject()和resolve():all()用于将多个Promise实例包装成一个新的Promise实例,只有当所有的Promise实例的状态都为fulfilled,新实例才会变为fulfilled,否则就取第一个rejected的状态作为新的实例的状态;同理可得,race()包装的新Promise实例会根据第一个率先改变状态的实例来决定其状态。resolve()和reject()用于将现有的非Promise对象转换为Promise对象。

Generator函数是ES6提供的异步编程解决方案。对于Generator函数,可以将它理解为一个状态机,封装了多个内部状态;此外它还是一个遍历器生成函数,这个函数可以遍历出状态机的所有状态。

函数特征:关键字function与函数名之间有*,函数体内部yeild关键字。

生成器函数与普通函数的区别:函数调用后不执行,而是返回一个指针对象(遍历器对象)。调用对象的next()方法,执行一段yield逻辑。故函数的分段执行的,yield是暂停执行的标志,next()可以恢复执行

yield与return的区别:yield有记忆功能,return没有;一个函数可以多次执行yeild,但只会return一次

可以将生成器函数赋值给对象的Symbol.iterator属性,使得对象可遍历。生成器函数实现了可以在函数运行的不同阶段从外部注入不同的值,从而调整函数的行为。Generator函数是ES6对协程的实现(不完全实现)。可以将生成器函数作为异步任务的容器,所有需要异步操作的地方都用yeild来标明。此外,生成器函数具有如下特性:函数内外的参数交换(next函数又可以输入参数又可以返回值)和错误处理机制(函数体可以捕获函数体外抛出的错误)。Generator需要Thunk函数来执行、进行流程管理。

进程、线程和协程(待补充):协程是相互协作的线程,既可以用单线程实现也可以用多线程来实现。

生成器函数的应用:1.异步操作的同步化表达;2.控制流管理;3.部署iterator结口;4.作为数据结构

async函数是Generator函数的语法糖,它进行了改进:1.自带执行器;2.返回值是Promise;

三家对比:使用Promise的异步代码存在大量自有API的调用,操作本身的语义夹杂其中,不是很清晰;Generator函数实现的异步代码语义比Promise清晰,但需要一个执行器;async函数的写法最简洁、符合语义,不需要执行器

六 语言层面类、模块的支持

1)class

曾有一种声音说JS不是面向对象的,而是基于对象,JS是基于原型继承的。JS自诞生之日起就走向了与其它面向对象语言不同的理念,对象常见,类却不常见。关注分类VS关注相似性对应了基于类VS基于原型的面向对象。从 ES6 开始,JavaScript 提供了 class 关键字来定义类,尽管,这样的方案仍然是基于原型运行时系统的模拟,大部分功能ES5可以实现。

构造函数的prototype属性在 ES6 的“类”上面继续存在。事实上,类中所有方法都定义在类的prototype属性上面(因而也是不可枚举的)。

constructor方法是类的默认方法,通过new命令生成对象实例时,自动调用该方法。一个类必须有constructor方法,如果没有显式定义,一个空的constructor方法会被默认添加。(默认构造函数);constructor方法默认返回实例对象(即this),完全可以指定返回另外一个对象。

注意区别:类必须使用new调用,否则会报错。这是它跟普通构造函数的一个主要区别,后者不用new也可以执行。

类和模块的内部,默认就是严格模式,所以不需要使用use strict指定运行模式。

类相当于实例的原型,所有在类中定义的方法,都会被实例继承。如果在一个方法前,加上static关键字,就表示该方法不会被实例继承,而是直接通过类来调用,这就称为“静态方法”。

实例属性除了定义在constructor()方法里面的this上面,也可以定义在类的最顶层。

私有属性和方法如何实现?1.命名上加以区别 2.将私有方法移出模块,利用公有方法调用;3.Symbol属性上(都不完美)

ES6 为new命令引入了一个new.target属性,该属性一般用在构造函数之中,返回new命令作用于的那个构造函数。如果构造函数不是通过new命令或Reflect.construct()调用的,new.target会返回undefined,因此这个属性可以用来确定构造函数是怎么调用的。

2) module

在 ES6 之前,社区制定了一些模块加载方案,最主要的有 CommonJS 和 AMD 两种。前者用于服务器,后者用于浏览器。ES6 模块的设计思想是尽量的静态化,使得编译时就能确定模块的依赖关系,以及输入和输出的变量。CommonJS 和 AMD 模块,都只能在运行时确定。

编译时加载VS运行时加载——对象VS代码

模块命令:export和import;一个文件即为一个模块,除非导入否则外部无法读取模块属性;

export支持:变量、函数和类

export命令可以出现在模块的任何位置,只要处于模块顶层就可以。如果处于块级作用域内,就会报错,下一节的import命令也是如此。

输入的变量都是只读的,因为它的本质是输入接口。也就是说,不允许在加载模块的脚本里面,改写接口。由于import是静态执行,所以不能使用表达式和变量,这些只有在运行时才能得到结果的语法结构。

使用import命令的时候,用户需要知道所要加载的变量名或函数名,否则无法加载。但是,用户肯定希望快速上手,未必愿意阅读文档,去了解模块有哪些属性和方法。为了给用户提供方便,让他们不用阅读文档就能加载模块,就要用到export default命令,为模块指定默认输出。

模块之间也可以继承。

七 JS中对象分类、及其它原生对象


八 Iterator

ES6之前在JS中只有Array和对象可以表示“集合”这种数据结构,ES6中增加了:Set和Map。由此,四种之间互相组合又可以定义新的数据结构。那么问题来了?这些新定义的数据结构如何访问呢?遍历器(Iterator)就是这样一种机制。它是一种接口,为各种不同的数据结构提供统一的访问机制。任何数据结构只要部署 Iterator 接口,就可以完成遍历操作。遍历器对象本质上是一个指针对象。

只要为某个数据结构部署 了Iterator接口,则可以称此数据结构是可遍历的。iterator属性部署在Symbol上。如下对象默认部署了Iterator结口:Array Set Map String等。部署iterator结构的要点:1)在Symbol.iterator上部署;2)必须包含next()函数默认调用iterator接口的场景:解构赋值、...扩展运算符、yeild* 。for-of循环内部调用的即是调用数据机构内部的Symbol.iterator方法。

for-in和for-of循环

for-in用于遍历对象属性,对象自身和继承的可枚举属性(不可遍历Symbol属性)

for-of循环是一种遍历所有数据机构的统一方法。实现原理是数据结构上部署的Symbol.iterator属性。


参考文章&&相关阅读:

es6.ruanyifeng.com/#README

www.ruanyifeng.com/blog/2012/1…