声明命令
1. let命令
ES6新增了let命令，用来声明变量。它的用法类似于var，但是所声明的变量，只在let命令所在的代码块内有效。下面代码在代码块之中，分别用let和var声明了两个变量。然后在代码块之外调用这两个变量，结果let声明的变量报错，var声明的变量返回了正确的值。这表明，let声明的变量只在它所在的代码块有效。
|
1
2
3
4
5
6
|
{ let a = 10; var b = 1;}console.log(b); // 1console.log(a); // 报错a没有定义 |
for循环的计数器，就很合适使用let命令，计数器i只在for循环体内有效，在循环体外引用就会报错：
|
1
2
3
4
|
for (let i = 0; i < 10; i++) { // ...}console.log(i); // 报错i没有定义 |
下面的代码如果使用var，最后输出的是10。因为变量i是var命令声明的，在全局范围内都有效，每一次循环，变量i的值都会发生改变，而循环内被赋给数组a的函数内部的console.log(i)，里面的i指向的就是全局的i。也就是说，所有数组a的成员里面的i，指向的都是同一个i，导致运行时输出的是最后一轮的i的值，也就是10。
如果使用let，声明的变量仅在块级作用域内有效，最后输出的是6。因为变量i是let声明的，当前的i只在本轮循环有效，所以每一次循环的i其实都是一个新的变量，所以最后输出的是6。由于JavaScript引擎内部会记住上一轮循环的值，初始化本轮的变量i时，就在上一轮循环的基础上进行计算：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
var a = [];for (var i = 0; i < 10; i++) { a[i] = function () { console.log(i); };}a[6](); // 10var a = [];for (let i = 0; i < 10; i++) { a[i] = function () { console.log(i); };}a[6](); // 6 |
let不允许在相同作用域内，重复声明同一个变量，不能在函数内部相同模块范围重新声明参数。
|
1
2
3
4
5
6
7
8
9
10
11
12
|
let a = 10;// 即使声明是var a = 10;后面一样报错let a = 1;// 报错function func(arg) { let arg; // 调用时报错}function func(arg) { { let arg; // 不报错，因为对上一个arg来看在子模块中 }} |
另外，for循环还有一个特别之处，就是设置循环变量的那部分是一个单独的父作用域，而循环体内部是子作用域：
|
1
2
3
4
5
6
7
8
9
10
11
|
let i = 123;console.log(i);for (let i = 0; i < 2; i++,console.log(i)) { let i = 'abc'; console.log(i);}// 123// abc// 1// abc// 2 |
var命令会发生“变量提升”现象，即变量可以在声明之前使用，值为undefined。为了纠正这种现象，let命令改变了语法行为，它所声明的变量一定要在声明后使用，否则报错。这在语法上，称为“暂时性死区”（temporal dead zone，简称TDZ）。
|
1
2
|
typeof x; // 报错：同一块作用域在let x之前，x无法进行任何操作let x; |
let实际上为JavaScript新增了块级作用域，在{}被包围的范围外，不受内层的let变量影响（但会受var的“变量提升”影响）：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
function text1(){ let n = 5; //或var n = 5; if (true) { let n = 10; } console.log(n); // 5}function text2(){ var n = 5; if (true) { var n = 10; } console.log(n); // 10}function text3(){ let n = 5; if (true) { var n = 10; //报错，已经声明了n }} |
2. const命令
const声明一个只读的常量。一旦声明，常量的值就不能改变，且声明时必须立即初始化，不能留到以后赋值。const的作用域与let命令相同：只在声明所在的块级作用域内有效。
|
1
2
3
4
|
const PI = 3.1415;PI = 3; //报错，赋值给常量const a; //报错，缺少初始化 |
const实际上保证的，并不是变量的值不得改动，而是变量指向的那个内存地址不得改动。对于简单类型的数据（数值、字符串、布尔值），值就保存在变量指向的那个内存地址，因此等同于常量。但对于复合类型的数据（主要是对象和数组），变量指向的内存地址，保存的只是一个指针，const只能保证这个指针是固定的，至于它指向的数据结构是不是可变的，就完全不能控制了。因此，将一个对象声明为常量必须非常小心。
|
1
2
3
4
|
const foo = {}; // const foo = []同理，可以正常使用push等功能foo.prop = 123; // 为foo添加一个属性，可以成功console.log(foo.prop); //123foo = {}; // 将foo指向另一个对象，就会报错 |
3.Class命令
ES6 提供了更接近传统语言的写法，引入了Class（类）这个概念（类的数据类型就是函数，类本身就指向构造函数），作为对象的模板。通过class关键字，可以定义类。class可以看作只是一个语法糖，它的绝大部分功能，ES5都可以做到，新的class写法只是让对象原型的写法更加清晰、更像面向对象编程的语法而已：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
function Point(x, y) { this.x = x; this.y = y;}Point.prototype.toString = function () { return '(' + this.x + ', ' + this.y + ')';};// 上面为原先写法，下面为ES6的Class写法class Point { constructor(x, y) { // 构造方法，this关键字代表实例对象 this.x = x; this.y = y; } toString() { // 自定义方法，方法之间不需要逗号分隔，加了会报错 return '(' + this.x + ', ' + this.y + ')'; }} |
构造函数的prototype属性，在ES6的类上面继续存在。事实上，类的所有方法都定义在类的prototype属性上面。但类的内部所有定义的方法，都是不可枚举的（non-enumerable）：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
class Point { constructor() { } toString() { } toValue() { }}console.log(Object.keys(Point.prototype)); // [] 不可枚举console.log(Object.getOwnPropertyNames(Point.prototype)); // ["constructor", "toString", "toValue"]// 相当于function Point() {}Point.prototype = { constructor() {}, toString() {}, toValue() {},};console.log(Object.keys(Point.prototype)); // ["constructor", "toString", "toValue"] |
类的属性名，可以采用表达式：
|
1
2
3
4
5
|
let methodName = 'getArea';class Square { [methodName]() { }} |
与函数一样，类也可以使用表达式的形式定义。下面代码使用表达式定义了一个类。需要注意的是，这个类的名字是MyClass而不是Me，Me只在 Class 的内部代码可用，指代当前类：
|
1
2
3
4
5
6
7
8
|
const MyClass = class Me { // 如果类的内部没用到的话，可以省略Me getClassName() { return Me.name; }};let inst = new MyClass();console.log(inst.getClassName()) // MeMe.name // 报错，Me没有定义 |
类相当于实例的原型，所有在类中定义的方法，都会被实例继承。如果在一个方法前，加上static关键字，就表示该方法不会被实例继承，而是直接通过类来调用，这就称为“静态方法”。
|
1
2
3
4
5
6
7
8
|
class Foo { static classMethod() { return 'hello'; }}Foo.classMethod() // 'hello'var foo = new Foo();foo.classMethod() // 报错foo.classMethod不是一个函数（不存在该方法） |
如果静态方法包含this关键字，这个this指的是类，而不是实例。静态方法可以与非静态方法重名，父类的静态方法，可以被子类继承：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
class Foo { static bar () { this.baz(); //等同于调用Foo.baz } static baz () { console.log('hello'); } baz () { console.log('world'); }}Foo.bar() // helloclass Bar extends Foo {}Bar.classMethod() // hello |
4.import命令
import虽然属于声明命令，但它是和export命令配合使用的。export命令用于规定模块的对外接口，import命令用于输入其他模块提供的功能。
一个模块就是一个独立的文件。该文件内部的所有变量，外部无法获取。如果外部能够读取模块内部的某个变量、函数或类，就必须使用export关键字输出。export输出的变量就是本来的名字，但是可以使用as关键字重命名：
|
1
2
3
4
5
6
7
8
9
10
|
// profile.jsexport var firstName = 'Michael';export function f() {};export var year = 1958;//写法2，与上等同var firstName = 'Michael';function f() {};var y = 1958;export {firstName, f, y as year}; |
export语句输出的接口，与其对应的值是动态绑定关系，即通过该接口，可以取到模块内部实时的值。这一点与CommonJS规范完全不同，CommonJS模块输出的是值的缓存。export命令可以出现在模块的任何位置，只要处于模块顶层就可以。如果处于块级作用域内，就会报错：
|
1
2
3
4
5
6
|
export var foo = 'bar';setTimeout(() => foo = 'baz', 500); // 输出变量foo，值为bar，500毫秒之后变成bazfunction foo() { export default 'bar' // 语法错误} |
使用export命令定义了模块的对外接口以后，其他JS文件就可以通过import命令加载这个模块，变量名必需与被导入模块（profile.js）对外接口的名称相同。import命令可以使用as关键字，将输入的变量重命名。除了指定加载某个输出值，还可以使用整体加载，即用*指定一个对象，所有输出值都加载在这个对象上面。
|
1
2
3
4
5
6
|
import {firstName as name, f, year} from './profile.js';import * as p from './profile.js'; function setName(element) { element.textContent = name + ' ' + year; // 值等同于p.firstName + ' ' + p.year;} |
import命令输入的变量都是只读的，因为它的本质是输入接口。也就是说，不允许在加载模块的脚本里面，改写接口。但是，如果是一个对象，改写对象的属性是允许的。并且由于import是静态执行，所以不能使用表达式和变量，这些只有在运行时才能得到结果的语法结构。
|
1
2
3
4
5
6
7
8
9
10
11
12
|
import {a} from './xxx.js'; // 也可以是绝对路径，.js后缀可以省略a.foo = 'hello'; // 合法操作a = {}; // 报错：a是只读的import { 'f' + 'oo' } from '/my_module.js';// 报错，语法错误（不能用运算符）if (x === 1) { import { foo } from 'module1'; // 报错，语法错误（import不能在{}内）} else { import { foo } from 'module2';} |
注意，import命令具有提升效果，会提升到整个模块的头部，首先执行。import可以不导入模块中的任何内容，只运行模块中的全局代码。如果多次执行同一模块的import语句，那么只会执行一次其全局代码，但变量均会正常引入（相当于合并处理）。
|
1
2
3
4
|
foo();import { foo } from '/my_module.js'; // 不会报错，因为import的执行早于foo的调用import '/modules/my-module.js'; // 不引入变量，但执行其中全局代码import { a } from '/modules/my-module.js'; // 重复引入不执行全局代码，但引入变量a |
除了用大括号引入变量，import还可以直接自定义引入默认变量：
|
1
2
3
4
5
6
7
8
|
// export-default.jsexport default function () { console.log('foo');}// import-default.jsimport customName from './export-default.js'; //customName可以是任意名字customName(); // 'foo' |
解构赋值
ES6允许按照一定模式，从数组和对象中提取值，对变量进行赋值，这被称为解构（Destructuring）。本质上，这种写法属于“模式匹配”，只要等号两边的模式相同，左边的变量就会被赋予对应的值。
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
let a = 1;let b = 2;let c = 3;// 等价于let [a, b, c] = [1, 2, 3];let [ , third] = ["foo", "bar", "baz"];third // "bar"let [head, ...tail] = [1, 2, 3, 4];head // 1tail // [2, 3, 4]let [x, y, ...z] = ['a'];x // "a"y // 变量解构不成功，赋值为undefinedz // 数组解构不成功，赋值为[] |
解构赋值允许指定默认值，只有当一个数组成员严格等于undefined，默认值才会生效：
|
1
2
3
4
|
let [foo = true] = []; // foo = truelet [x, y = 'b'] = ['a']; // x='a', y='b'let [q = 1, w = 'b'] = ['a', undefined]; // q='a', w='b'let [e = 1] = [null]; // e = null |
解构不仅可以用于数组，还可以用于对象。对象的解构与数组有一个重要的不同。数组的元素是按次序排列的，变量的取值由它的位置决定；而对象的属性没有次序，变量必须与属性同名，才能取到正确的值。
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
let { bar, foo } = { foo: "aaa", bar: "bbb" };foo // "aaa"bar // "bbb"let { abc } = { foo: "aaa", bar: "bbb" };abc // undefinedlet { foo: baz } = { foo: 'aaa', bar: 'bbb' };baz // "aaa"const node = { loc: { start: { line: 1, column: 5 } }};let { loc, loc: { start }, loc: { start: { line }} } = node;line // 1loc // Object {start: Object}start // Object {line: 1, column: 5} |
解构赋值用途示例：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
//交换变量的值let x = 1;let y = 2;[x, y] = [y, x]; //提取 JSON 数据let jsonData = { id: 42, status: "OK", data: [867, 5309]};let { id, status, data: number } = jsonData;console.log(id, status, number); // 42, "OK", [867, 5309]//遍历 Map 结构const map = new Map();map.set('first', 'hello');map.set('second', 'world');for (let [key, value] of map) { console.log(key + " is " + value);}// first is hello// second is world |
不同浏览器的不同版本对ES6的支持度不同，而Babel是一个广泛使用的ES6转码器，可以将ES6代码转为ES5代码，从而在现有环境执行，例如：
|
1
2
3
4
5
6
7
|
/// 转码前input.map(item => item + 1);// 转码后input.map(function (item) { return item + 1;}); |
另外，使用Google公司的Traceur转码器，也可以将ES6代码转为ES5代码，需要提前引入其js库：
|
1
2
3
|
|
第一个是加载Traceur的库文件，第二个和第三个是将这个库文件用于浏览器环境。然后就可以加载ES6的用户脚本了，如：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
//引用外部ES6的js<script type="module"> import './Greeter.js';</script>//直接写ES6的JS<script type="module"> class Calc { constructor() { console.log('Calc constructor'); } add(a, b) { return a + b; } } var c = new Calc(); console.log(c.add(4,5)); //正常情况下，会在控制台打印出9。</script> |
注意，自定义的script标签的type属性的值是module，而不是text/javascript。这是Traceur编译器识别ES6代码的标志，编译器会自动将所有type=module的代码编译为ES5，然后再交给浏览器执行。
如果想对Traceur的行为有精确控制，可以采用下面参数配置的写法：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<script> // 创建系统对象 window.System = new traceur.runtime.BrowserTraceurLoader(); // 设置参数 var metadata = { traceurOptions: { experimental: true, properTailCalls: true, symbols: true, arrayComprehension: true, asyncFunctions: true, asyncGenerators: exponentiation, forOn: true, generatorComprehension: true } }; // 加载模块 System.import('./myModule.js', {metadata: metadata}).catch(function(ex) { console.error('Import failed', ex.stack || ex); });</script> |