es6新增功能

声明命令

1. let命令

ES6新增了let命令，用来声明变量。它的用法类似于var，但是所声明的变量，只在let命令所在的代码块内有效。下面代码在代码块之中，分别用let和var声明了两个变量。然后在代码块之外调用这两个变量，结果let声明的变量报错，var声明的变量返回了正确的值。这表明，let声明的变量只在它所在的代码块有效。

{

let a = 10;

var b = 1;

}

console.log(b); // 1

console.log(a); // 报错a没有定义

for循环的计数器，就很合适使用let命令，计数器i只在for循环体内有效，在循环体外引用就会报错：

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时，就在上一轮循环的基础上进行计算：

var a = [];

for (var i = 0; i < 10; i++) {

a[i] = function () {

console.log(i);

};

}

a[6](); // 10

var a = [];

for (let i = 0; i < 10; i++) {

a[i] = function () {

console.log(i);

};

}

a[6](); // 6

let不允许在相同作用域内，重复声明同一个变量，不能在函数内部相同模块范围重新声明参数。

let a = 10;// 即使声明是var a = 10;后面一样报错

let a = 1;// 报错

function func(arg) {

let arg; // 调用时报错

}

function func(arg) {

{

let arg; // 不报错，因为对上一个arg来看在子模块中

}

另外，for循环还有一个特别之处，就是设置循环变量的那部分是一个单独的父作用域，而循环体内部是子作用域：

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的“变量提升”影响）：

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

}

[3]

2. const命令

const声明一个只读的常量。一旦声明，常量的值就不能改变，且声明时必须立即初始化，不能留到以后赋值。const的作用域与let命令相同：只在声明所在的块级作用域内有效。

const PI = 3.1415;

PI = 3; //报错，赋值给常量

const a; //报错，缺少初始化

const实际上保证的，并不是变量的值不得改动，而是变量指向的那个内存地址不得改动。对于简单类型的数据（数值、字符串、布尔值），值就保存在变量指向的那个内存地址，因此等同于常量。但对于复合类型的数据（主要是对象和数组），变量指向的内存地址，保存的只是一个指针，const只能保证这个指针是固定的，至于它指向的数据结构是不是可变的，就完全不能控制了。因此，将一个对象声明为常量必须非常小心。

const foo = {}; // const foo = []同理，可以正常使用push等功能

foo.prop = 123; // 为foo添加一个属性，可以成功

console.log(foo.prop); //123

foo = {}; // 将foo指向另一个对象，就会报错

如果真的想将对象或对象属性冻结，应该使用Object.freeze方法 [4] 。

3.Class命令

ES6 提供了更接近传统语言的写法，引入了Class（类）这个概念（类的数据类型就是函数，类本身就指向构造函数），作为对象的模板。通过class关键字，可以定义类。class可以看作只是一个语法糖，它的绝大部分功能，ES5都可以做到，新的class写法只是让对象原型的写法更加清晰、更像面向对象编程的语法而已：

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）：

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"]

类的属性名，可以采用表达式：

let methodName = 'getArea';

class Square {

[methodName]() {

}

与函数一样，类也可以使用表达式的形式定义。下面代码使用表达式定义了一个类。需要注意的是，这个类的名字是MyClass而不是Me，Me只在 Class 的内部代码可用，指代当前类：

const MyClass = class Me { // 如果类的内部没用到的话，可以省略Me

getClassName() {

return Me.name;

}

};

let inst = new MyClass();

console.log(inst.getClassName()) // Me

Me.name // 报错，Me没有定义

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

class Foo {

static classMethod() {

return 'hello';

}

Foo.classMethod() // 'hello'

var foo = new Foo();

foo.classMethod() // 报错foo.classMethod不是一个函数（不存在该方法）

如果静态方法包含this关键字，这个this指的是类，而不是实例。静态方法可以与非静态方法重名，父类的静态方法，可以被子类继承：

class Foo {

static bar () {

this.baz(); //等同于调用Foo.baz

}

static baz () {

console.log('hello');

}

baz () {

console.log('world');

}

Foo.bar() // hello

class Bar extends Foo {

}

Bar.classMethod() // hello

[5]

4.import命令

import虽然属于声明命令，但它是和export命令配合使用的。export命令用于规定模块的对外接口，import命令用于输入其他模块提供的功能。

一个模块就是一个独立的文件。该文件内部的所有变量，外部无法获取。如果外部能够读取模块内部的某个变量、函数或类，就必须使用export关键字输出。export输出的变量就是本来的名字，但是可以使用as关键字重命名：

// profile.js

export 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命令可以出现在模块的任何位置，只要处于模块顶层就可以。如果处于块级作用域内，就会报错：

export var foo = 'bar';

setTimeout(() => foo = 'baz', 500); // 输出变量foo，值为bar，500毫秒之后变成baz

function foo() {

export default 'bar' // 语法错误

}

使用export命令定义了模块的对外接口以后，其他JS文件就可以通过import命令加载这个模块，变量名必需与被导入模块（profile.js）对外接口的名称相同。import命令可以使用as关键字，将输入的变量重命名。除了指定加载某个输出值，还可以使用整体加载，即用*指定一个对象，所有输出值都加载在这个对象上面。

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是静态执行，所以不能使用表达式和变量，这些只有在运行时才能得到结果的语法结构。

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语句，那么只会执行一次其全局代码，但变量均会正常引入（相当于合并处理）。

foo();

import { foo } from '/my_module.js'; // 不会报错，因为import的执行早于foo的调用

import '/modules/my-module.js'; // 不引入变量，但执行其中全局代码

import { a } from '/modules/my-module.js'; // 重复引入不执行全局代码，但引入变量a

除了用大括号引入变量，import还可以直接自定义引入默认变量：

// export-default.js

export default function () {

console.log('foo');

}

// import-default.js

import customName from './export-default.js'; //customName可以是任意名字

customName(); // 'foo'

[6]

解构赋值

ES6允许按照一定模式，从数组和对象中提取值，对变量进行赋值，这被称为解构（Destructuring）。本质上，这种写法属于“模式匹配”，只要等号两边的模式相同，左边的变量就会被赋予对应的值。

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 // 1

tail // [2, 3, 4]

let [x, y, ...z] = ['a'];

x // "a"

y // 变量解构不成功，赋值为undefined

z // 数组解构不成功，赋值为[]

解构赋值允许指定默认值，只有当一个数组成员严格等于undefined，默认值才会生效：

let [foo = true] = []; // foo = true

let [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

解构不仅可以用于数组，还可以用于对象。对象的解构与数组有一个重要的不同。数组的元素是按次序排列的，变量的取值由它的位置决定；而对象的属性没有次序，变量必须与属性同名，才能取到正确的值。

let { bar, foo } = { foo: "aaa", bar: "bbb" };

foo // "aaa"

bar // "bbb"

let { abc } = { foo: "aaa", bar: "bbb" };

abc // undefined

let { 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 // 1

loc // Object {start: Object}

start // Object {line: 1, column: 5}

解构赋值用途示例：

//交换变量的值

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

[7]

兼容问题

编辑

不同浏览器的不同版本对ES6的支持度不同，而Babel是一个广泛使用的ES6转码器，可以将ES6代码转为ES5代码，从而在现有环境执行，例如：

/// 转码前

input.map(item => item + 1);

// 转码后

input.map(function (item) {

return item + 1;

});

上面的原始代码用了箭头函数，Babel 将其转为普通函数，就能在不支持箭头函数的JavaScript环境执行了 [8] 。

另外，使用Google公司的Traceur转码器，也可以将ES6代码转为ES5代码，需要提前引入其js库：

<script src="https://google.github.io/traceur-compiler/bin/traceur.js"></script>

<script src="https://google.github.io/traceur-compiler/bin/BrowserSystem.js"></script>

<script src="https://google.github.io/traceur-compiler/src/bootstrap.js"></script>

第一个是加载Traceur的库文件，第二个和第三个是将这个库文件用于浏览器环境。然后就可以加载ES6的用户脚本了，如：

//引用外部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的行为有精确控制，可以采用下面参数配置的写法：

<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>

上面代码中，首先生成Traceur的全局对象window.System，然后System.import方法可以用来加载ES6。加载的时候，需要传入一个配置对象metadata，该对象的traceurOptions属性可以配置支持ES6功能。如果设为experimental:true，就表示除了ES6以外，还支持一些实验性的新功能 [9] 。