ES6是一套JS标准
ECMAScript 6（简称ES6）是于2015年6月正式发布的JavaScript语言的标准，正式名为ECMAScript 2015（ES2015）。它的目标是使得JavaScript语言可以用来编写复杂的大型应用程序，成为企业级开发语言。
另外，一些情况下ES6也泛指ES2015及之后的新增特性，虽然之后的版本应当称为ES7、ES8等。
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）。
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
}
}
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方法。
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.bar() // hello
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'
解构赋值
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
兼容问题
不同浏览器的不同版本对ES6的支持度不同，而Babel是一个广泛使用的ES6转码器，可以将ES6代码转为ES5代码，从而在现有环境执行，例如：
/// 转码前
input.map(item => item + 1);
// 转码后
input.map(function (item) {
return item + 1;
});
上面的原始代码用了箭头函数，Babel 将其转为普通函数，就能在不支持箭头函数的JavaScript环境执行了。
另外，使用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的行为有精确控制，可以采用下面参数配置的写法：
// 创建系统对象
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);
});
上面代码中，首先生成Traceur的全局对象window.System，然后System.import方法可以用来加载ES6。加载的时候，需要传入一个配置对象metadata，该对象的traceurOptions属性可以配置支持ES6功能。如果设为experimental:true，就表示除了ES6以外，还支持一些实验性的新功能。
ES6官方文档
英文文档：http://www.ecma-international.org/ecma-262/6.0/
阮一峰中文：http://es6.ruanyifeng.com/