简介
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来说是没有默认值的。
本文为阿里云原创内容，未经允许不得转载。
