ECMAScript 6 新特性简介

简介

ECMAScript 6.0（以下简称 ES6）是 JavaScript 语言的下一代标准，正式发布与2015年6月。它的目标，是使得JavaScript语言可以用来编写复杂的大型应用程序，成为企业级开发语言。

今天我们将会讲解一下ES6中引入的语法新特性。

ECMAScript和JavaScript的关系

1996年11月，JavaScript 的创造者 Netscape 公司，决定将 JavaScript 提交给国际标准化组织ECMA.

1997年, ECMA 发布262号标准文件 ECMAScript 1.0。

ECMAScript 和 JavaScript 的关系是，前者是后者的规格，后者是前者的一种实现。

我们看一下ECMAScript的发行历史：

从2015年ES2015，也就是ES6发布以来，ECMAScript以每年一个版本的发行速度发行到了ES2020。

后面的文章我们会讲解一下这些新版本的ECMAScript的新特性。

let和const

ES6中引入了let和const,是为了解决之前的var变量的种种问题。

在ES6之前，JS中变量的作用域有两种：全局作用域和函数作用域。

全局作用域很好理解，我们在浏览器控制台或者 Node.js 交互终端中开始编写 JavaScript 时，即进入了所谓的全局作用域。

全局作用域的变量可以在任何其他作用域中访问。

函数作用域就是定义在函数内部的变量，在函数内部都可以访问到该变量。

这两种作用域会有一些问题：

• 变量提升

var命令会发生”变量提升”现象，即变量可以在声明之前使用，值为undefined.

// var 的情况 
console.log(foo);  // 输出undefined 
var foo = 2; 

• 变量覆盖

当我们在函数作用域使用全局变量的时候，如果函数作用域中定义了同样名字的变量，不管是在哪里定义的，都会覆盖掉全局的变量。如下所示：

var tmp = new Date(); 
function f() { 
console.log(tmp); 
if (false) { var tmp = "hello world"; 
} } 
f(); // undefined

• 变量泄露

变量泄露的意思是，我们本来只希望在小范围作用域使用的变量，结果泄露到了范围外面，如下所示：

var s = 'hello'; 
for (var i = 0; i < s.length; i++) { 
console.log(s[i]); 
} 
console.log(i); // 5
~~

为了解决上面两个问题，ES6引入了let和const。
这两个都是块级作用域。不同的是const定义的变量初始化之后就不能变化了。
什么是块级作用域呢？类似于 if、switch 条件选择或者 for、while 这样的循环体即是所谓的块级作用域,或者更简单一点使用大括号括起来的就叫做块级作用域。
块级作用域的最大好处就是不会产生作用域提升，如下所示：

{
let a = 10;
var b = 1;
}
a // ReferenceError: a is not defined.
b // 1

解构赋值

什么是解构赋值呢？
ES6 允许按照一定模式，从数组和对象中提取值，对变量进行赋值，这被称为解构。
如下所示：

let [a, b, c] = [1, 2, 3];
let [ , , third] = ["foo", "bar", "baz"];
let [x, , y] = [1, 2, 3];
let [head, ...tail] = [1, 2, 3, 4];
let [x, y] = [1, 2, 3];

解构赋值还可以设定默认值，我们来看下面的几个例子：

let [foo = true] = [];
foo // true
let [x, y = 'b'] = ['a'];
// x='a', y='b'
let [x, y = 'b'] = ['a', undefined];
// x='a', y='b’
let [x = 1] = [undefined];
x // 1
let [x = 1] = [null];
x // null

如果解构的默认值是一个函数，那么可以触发惰性赋值：

function f() {
console.log('aaa');
}
let [x = f()] = [1];

上面的例子中，f函数将不会被执行。
除了结构变量之外，还可以结构对象：

let { bar, foo } = { foo: "aaa", bar: "bbb" };
foo // "aaa"
bar // "bbb"
let { baz } = { foo: "aaa", bar: "bbb" };
baz // undefined
var { foo: baz } = { foo: 'aaa', bar: 'bbb' };
baz // "aaa"
let obj = { first: 'hello', last: 'world' };
let { first: f, last: l } = obj;
f // 'hello'
l // 'world'

解构还支持嵌套的结构：

let obj = { p: [ 'Hello', { y: 'World' } ] };
let { p: [x, { y }] } = obj;
x // "Hello"
y // "World"

解构赋值有两个非常重要的作用。
第一就是交换变量：

let x = 1;
let y = 2;
[x, y] = [y, x];

我们就可以不再使用中间变量，直接进行两个变量值的交互。
第二个作用就是从函数中返回多个值：

// 返回一个数组
function example() { return [1, 2, 3]; }
let [a, b, c] = example();
// 返回一个对象
function example() { return { foo: 1, bar: 2 }; }
let { foo, bar } = example();
//提取JSON数据
let jsonData = { id: 42, status: "OK", data: [867, 5309] };
let { id, status, data: number } = jsonData;

数组的扩展

ES6中的Array.from方法用于将下面两类对象转为真正的数组：
类似数组的对象（array-like object）
可遍历（iterable）的对象（包括ES6新增的数据结构Set和Map）。
什么是类似数组对象呢？
所谓类似数组的对象，本质特征只有一点，即必须有length属性。因此，任何有length属性的对象，都可以通过Array.from方法转为数组。
下面的变量就是类数组变量：

let arrayLike = { '0': 'a', '1': 'b', '2': 'c', length: 3 };

这个类数组对象怎么转换成为数组呢？

// ES5的写法
var arr1 = [].slice.call(arrayLike);
// ['a', 'b', 'c']
// ES6的写法 let arr2 = Array.from(arrayLike);
// ['a', 'b', 'c']

我们看下通常的使用场景：

// NodeList对象
let ps = document.querySelectorAll('p');
Array.from(ps).forEach(function (p) { console.log(p); });
// arguments对象
function foo() { var args = Array.from(arguments);
// ...
}

什么是可遍历对象呢？
只要是部署了Iterator接口的数据结构，都叫做可遍历对象。
我们看下下面的例子：

Array.from('hello') // ['h', 'e', 'l', 'l', 'o']
let namesSet = new Set(['a', 'b'])
Array.from(namesSet) // ['a', 'b']

同时还引入了扩展运算符（...），通过扩展运算符，也可以很方便的转换为数组对象：

function foo() { var args = [...arguments]; } // arguments对象
[...document.querySelectorAll('div')] // NodeList对象

Array.from方法还可以接收第二个参数，用来对数组中的元素进行操作：

Array.from(arrayLike, x => x * x);
// 等同于
Array.from(arrayLike).map(x => x * x);
Array.from([1, 2, 3], (x) => x * x)
// [1, 4, 9]

Array.of方法可以很方便的创建新的数组：

Array.of(3, 11, 8) // [3,11,8]
Array.of(3) // [3]
Array.of(3).length // 1
Array() // []
Array(3) // [, , ,]
Array(3, 11, 8) // [3, 11, 8]

函数的扩展

ES6，可以支持函数的默认值了：

function log(x, y = 'World') { console.log(x, y); }
function Point(x = 0, y = 0) { this.x = x; this.y = y; }

函数的默认值可以和解构赋值默认值组合起来使用：

function foo({x, y = 5}) { console.log(x, y); }
foo({}) // undefined, 5
foo({x: 1}) // 1, 5
foo({x: 1, y: 2}) // 1, 2
foo() // TypeError: Cannot read property 'x' of undefined

接下来，我们看一个复杂的例子：

// 写法一
function m1({x = 0, y = 0} = {})
{ return [x, y]; }
// 写法二
function m2({x, y} = { x: 0, y: 0 })
{ return [x, y]; }

我们来看一下，上面的两种写法有什么不同呢？
当函数没有参数的情况：

m1() // [0, 0]
m2() // [0, 0]

当x和y都有值的情况：

m1({x: 3, y: 8}) // [3, 8]
m2({x: 3, y: 8}) // [3, 8]

当x有值，y无值的情况 ：

m1({x: 3}) // [3, 0]
m2({x: 3}) // [3, undefined]

当x和y都无值的情况：

m1({}) // [0, 0];
m2({}) // [undefined, undefined]
m1({z: 3}) // [0, 0]
m2({z: 3}) // [undefined, undefined]

看出区别了吗？ m1的解构赋值，对于x,y来说是有默认值0的。而m2的解构赋值对于x,y来说是没有默认值的。

 

原文链接

本文为阿里云原创内容，未经允许不得转载。