ECMAScript 6功能概述

ECMAScript 6

介绍

ECMAScript 6，也称为ECMAScript 2015，是ECMAScript标准的最新版本。ES6是对该语言的重要更新，也是自2009年对ES5进行标准化以来的首次语言更新。这些功能在主要JavaScript引擎中的实现正在进行中。

有关ECMAScript 6语言的完整规范，请参见ES6标准。

ES6包括以下新功能：

Arrows

箭头是使用 => 语法的功能缩写。它们在语法上类似于C＃，Java 8和CoffeeScript中的相关功能。它们支持语句块主体以及返回表达式值的表达式主体。与函数不同，箭头 this与其周围的代码共享相同的词汇。

// Expression bodies
var odds = evens.map(v => v + 1);
var nums = evens.map((v, i) => v + i);
var pairs = evens.map(v => ({even: v, odd: v + 1}));

// Statement bodies
nums.forEach(v => {
  if (v % 5 === 0)
    fives.push(v);
});

// Lexical this
var bob = {
  _name: "Bob",
  _friends: [],
  printFriends() {
    this._friends.forEach(f =>
      console.log(this._name + " knows " + f));
  }
}

更多信息：MDN箭头功能

Classes

ES6类是对基于原型的OO模式的简单补充。具有单个方便的声明形式使类模式更易于使用，并鼓励了互操作性。类支持基于原型的继承，超级调用，实例以及静态方法和构造函数。

class SkinnedMesh extends THREE.Mesh {
  constructor(geometry, materials) {
    super(geometry, materials);

    this.idMatrix = SkinnedMesh.defaultMatrix();
    this.bones = [];
    this.boneMatrices = [];
    //...
  }
  update(camera) {
    //...
    super.update();
  }
  get boneCount() {
    return this.bones.length;
  }
  set matrixType(matrixType) {
    this.idMatrix = SkinnedMesh[matrixType]();
  }
  static defaultMatrix() {
    return new THREE.Matrix4();
  }
}

更多信息：MDN类

Enhanced Object Literals

对象文字被扩展为支持在构造时设置原型，foo: foo分配简写，定义方法，进行超级调用以及使用表达式计算属性名称。它们在一起也使对象文字和类声明更加紧密地结合在一起，并使基于对象的设计受益于某些便利。

var obj = {
    // __proto__
    __proto__: theProtoObj,
    // Shorthand for ‘handler: handler’
    handler,
    // Methods
    toString() {
     // Super calls
     return "d " + super.toString();
    },
    // Computed (dynamic) property names
    [ 'prop_' + (() => 42)() ]: 42
};

更多信息：MDN语法和类型：对象文字

Template Strings

模板字符串为构造字符串提供了语法糖。这类似于Perl，Python等中的字符串插值功能。可选地，可以添加标签以允许对字符串结构进行自定义，从而避免注入攻击或从字符串内容中构建更高级别的数据结构。

//基本文字字符串的创建
`在JavaScript' \ n '中是换行符。`

//多行字符串
`在JavaScript中这是
不合法的。`

//字符串插值
var name = "Bob", time = "today";
`Hello ${name}, how are you ${time}?`

//构造一个HTTP请求前缀用于解释替换和施工
POST`http://foo.org/bar?a=${a}&b=${b}
     Content-Type: application/json
     X-Credentials: ${credentials}
     { "foo": ${foo},
       "bar": ${bar}}`(myOnReadyStateChangeHandler);

更多信息：MDN模板字符串

Destructuring

解构允许使用模式匹配进行绑定，并支持匹配数组和对象。销毁是故障自动处理的，类似于标准对象查找 foo["bar"]， undefined 当找不到时会产生值。

//列表匹配
var [a, , b] = [1,2,3];

//对象匹配
var { op: a, lhs: { op: b }, rhs: c }
       = getASTNode()

//对象匹配的简写 
//在范围内绑定`op`，`lhs`和`rhs`
var {op, lhs, rhs} = getASTNode()

// 可以在参数位置使用
function g({name: x}) {
  console.log(x);
}
g({name: 5})

// Fail-soft destructuring
var [a] = [];
a === undefined;

// Fail-soft destructuring with defaults
var [a = 1] = [];
a === 1;

更多信息：MDN解构分配

Default + Rest + Spread

被调用方评估的默认参数值。在函数调用中将数组转换为连续的参数。将尾随参数绑定到数组。休息代替了需求，arguments更直接地解决了常见情况。

function f(x, y=12) {
  // 如果未传递（或未定义传递），则y为12
  return x + y;
}
f(3) == 15

function f(x, ...y) {
  //y是数组
  return x * y.length;
}
f(3, "hello", true) == 6

function f(x, y, z) {
  return x + y + z;
}
// 传递数组的每个元素作为参数
f(...[1,2,3]) == 6

更多MDN信息：默认参数，其余参数，扩展运算符

Let + Const

块范围绑定结构。 let是新的var。 const是单人作业。静态限制会阻止分配前使用。

function f() {
  {
    let x;
    {
      // 好吧，块作用域名称
      const x = "sneaky";
      // 报错, const
      x = "foo";
    }
    // 报错, 已经在区块中声明
    let x = "inner";
  }
}

更多MDN信息：let语句，const语句

Iterators + For…Of

迭代器对象启用自定义迭代，例如CLR IEnumerable或Java Iterable。使用泛化for..in为基于定制迭代器的迭代for..of。不需要实现数组即可启用LINQ之类的惰性设计模式。

let fibonacci = {
  [Symbol.iterator]() {
    let pre = 0, cur = 1;
    return {
      next() {
        [pre, cur] = [cur, pre + cur];
        return { done: false, value: cur }
      }
    }
  }
}

for (var n of fibonacci) {
  // 将序列截断为1000
  if (n > 1000)
    break;
  console.log(n);
}

迭代基于以下duck-typed的接口（使用TypeScript类型语法仅用于展示）:

interface IteratorResult {
  done: boolean;
  value: any;
}
interface Iterator {
  next(): IteratorResult;
}
interface Iterable {
  [Symbol.iterator](): Iterator
}

更多信息: MDN for…of

Generators

生成器使用function*和简化迭代器创作yield。声明为function *的函数返回Generator实例。生成器是迭代器的子类型，包括附加 next和throw。这些使值可以流回到生成器中，yield返回值（或引发）的表达式形式也是如此。
注意：也可以用于启用类似“等待”的异步编程，另请参阅ES7 await建议。

var fibonacci = {
  [Symbol.iterator]: function*() {
    var pre = 0, cur = 1;
    for (;;) {
      var temp = pre;
      pre = cur;
      cur += temp;
      yield cur;
    }
  }
}

for (var n of fibonacci) {
  // truncate the sequence at 1000
  if (n > 1000)
    break;
  console.log(n);
}

生成器接口为（使用TypeScript类型语法仅用于展示）：

interface Generator extends Iterator {
    next(value?: any): IteratorResult;
    throw(exception: any);
}

更多信息: MDN Iteration protocols

Unicode

不间断的新增功能支持完整的Unicode，包括字符串中的新Unicode文字形式和u用于处理代码点的新RegExp 模式，以及用于在21位代码点级别处理字符串的新API。这些附加功能支持在JavaScript中构建全局应用。

// 与ES5.1相同
"𠮷".length == 2

// new RegExp behaviour, opt-in ‘u’
"𠮷".match(/./u)[0].length == 2

// new form
"\u{20BB7}"=="𠮷"=="\uD842\uDFB7"

// new String ops
"𠮷".codePointAt(0) == 0x20BB7

// for-of iterates code points
for(var c of "𠮷") {
  console.log(c);
}

更多信息: MDN RegExp.prototype.unicode

Modules

对组件定义模块的语言级别支持。整理来自流行的JavaScript模块加载器（AMD，CommonJS）的模式。由主机定义的默认加载器定义的运行时行为。隐式异步模型–在可用和处理请求的模块之前，不会执行任何代码。

// lib/math.js
export function sum(x, y) {
  return x + y;
}
export var pi = 3.141593;

// app.js
import * as math from "lib/math";
alert("2π = " + math.sum(math.pi, math.pi));

// otherApp.js
import {sum, pi} from "lib/math";
alert("2π = " + sum(pi, pi));

一些其他功能包括 export default 和export *。

// lib/mathplusplus.js
export * from "lib/math";
export var e = 2.71828182846;
export default function(x) {
    return Math.log(x);
}

// app.js
import ln, {pi, e} from "lib/mathplusplus";
alert("2π = " + ln(e)*pi*2);

更多MDN信息: import statement, export statement

Module Loaders

模块加载器支持：

• 动态加载
• 状态隔离
• 全局名称空间隔离
• 编译挂钩
• 嵌套虚拟化

可以配置默认的模块加载器，并且可以构造新的加载器以在隔离或受约束的上下文中评估和加载代码。

// Dynamic loading – ‘System’ is default loader
System.import('lib/math').then(function(m) {
  alert("2π = " + m.sum(m.pi, m.pi));
});

// Create execution sandboxes – new Loaders
var loader = new Loader({
  global: fixup(window) // replace ‘console.log’
});
loader.eval("console.log('hello world!');");

// Directly manipulate module cache
System.get('jquery');
System.set('jquery', Module({$: $})); // WARNING: not yet finalized

Map + Set + WeakMap + WeakSet

通用算法的高效数据结构。WeakMaps提供了无泄漏的对象键控边表。

// Sets
var s = new Set();
s.add("hello").add("goodbye").add("hello");
s.size === 2;
s.has("hello") === true;

// Maps
var m = new Map();
m.set("hello", 42);
m.set(s, 34);
m.get(s) == 34;

// Weak Maps
var wm = new WeakMap();
wm.set(s, { extra: 42 });
wm.size === undefined

// Weak Sets
var ws = new WeakSet();
ws.add({ data: 42 });
// 由于添加的对象没有其他引用，因此不会保存在该集中

更多MDN信息: Map, Set, WeakMap, WeakSet

Proxies

代理使对象的创建具有可用于宿主对象的全部行为。可以用于拦截，对象虚拟化，日志记录/分析等。

//代理普通对象
var target = {};
var handler = {
  get: function (receiver, name) {
    return `Hello, ${name}!`;
  }
};

var p = new Proxy(target, handler);
p.world === 'Hello, world!';

//代理功能对象
var target = function () { return 'I am the target'; };
var handler = {
  apply: function (receiver, ...args) {
    return 'I am the proxy';
  }
};

var p = new Proxy(target, handler);
p() === 'I am the proxy';

对于所有运行时级别的元操作都有可用的陷阱：

var handler =
{
  get:...,
  set:...,
  has:...,
  deleteProperty:...,
  apply:...,
  construct:...,
  getOwnPropertyDescriptor:...,
  defineProperty:...,
  getPrototypeOf:...,
  setPrototypeOf:...,
  enumerate:...,
  ownKeys:...,
  preventExtensions:...,
  isExtensible:...
}

更多信息: MDN Proxy

Symbols

符号启用对对象状态的访问控制。使用符号可以通过string（如ES5）或symbol。符号是一种新的原始类型。description调试中使用的可选参数-但不是标识的一部分。符号是唯一的（例如gensym），但不是私有的，因为它们通过反射特征暴露出来Object.getOwnPropertySymbols。

var MyClass = (function() {

  // module scoped symbol
  var key = Symbol("key");

  function MyClass(privateData) {
    this[key] = privateData;
  }

  MyClass.prototype = {
    doStuff: function() {
      ... this[key] ...
    }
  };

  return MyClass;
})();

var c = new MyClass("hello")
c["key"] === undefined

更多信息: MDN Symbol

Subclassable Built-ins

在ES6中，可以将诸如Array，Date和DOM Element的内置子类化。

现在，名为Ctor的函数的对象构造使用两个阶段（实际上都是分派的）：

• 调用Ctor[@@create]以分配对象，安装任何特殊行为
• 在新实例上调用构造函数以进行初始化

可通过Symbol.create获得已知的@@ create符号。内置插件现在显式公开其@@ create。

// Pseudo-code of Array
class Array {
    constructor(...args) { /* ... */ }
    static [Symbol.create]() {
        // Install special [[DefineOwnProperty]]
        // to magically update 'length'
    }
}

// User code of Array subclass
class MyArray extends Array {
    constructor(...args) { super(...args); }
}

// Two-phase 'new':
// 1) Call @@create to allocate object
// 2) Invoke constructor on new instance
var arr = new MyArray();
arr[1] = 12;
arr.length == 2

Math + Number + String + Array + Object APIs

Many new library additions, including core Math libraries, Array conversion helpers, String helpers, and Object.assign for copying.

Number.EPSILON
Number.isInteger(Infinity) // false
Number.isNaN("NaN") // false

Math.acosh(3) // 1.762747174039086
Math.hypot(3, 4) // 5
Math.imul(Math.pow(2, 32) - 1, Math.pow(2, 32) - 2) // 2

"abcde".includes("cd") // true
"abc".repeat(3) // "abcabcabc"

Array.from(document.querySelectorAll('*')) // Returns a real Array
Array.of(1, 2, 3) // Similar to new Array(...), but without special one-arg behavior
[0, 0, 0].fill(7, 1) // [0,7,7]
[1, 2, 3].find(x => x == 3) // 3
[1, 2, 3].findIndex(x => x == 2) // 1
[1, 2, 3, 4, 5].copyWithin(3, 0) // [1, 2, 3, 1, 2]
["a", "b", "c"].entries() // iterator [0, "a"], [1,"b"], [2,"c"]
["a", "b", "c"].keys() // iterator 0, 1, 2
["a", "b", "c"].values() // iterator "a", "b", "c"

Object.assign(Point, { origin: new Point(0,0) })

更多MDN信息: Number, Math, Array.from, Array.of, Array.prototype.copyWithin, Object.assign

Binary and Octal Literals

为二进制（b）和八进制（o）添加了两个新的数字文字形式。

0b111110111 === 503 // true
0o767 === 503 // true

Promises

承诺是用于异步编程的库。承诺是将来可能提供的值的一流表示。在许多现有的JavaScript库中都使用了Promise。

function timeout(duration = 0) {
    return new Promise((resolve, reject) => {
        setTimeout(resolve, duration);
    })
}

var p = timeout(1000).then(() => {
    return timeout(2000);
}).then(() => {
    throw new Error("hmm");
}).catch(err => {
    return Promise.all([timeout(100), timeout(200)]);
})

更多信息: MDN Promise

Reflect API

全反射API公开了对象上的运行时级别的元操作。这实际上是代理API的逆，并且允许进行与代理陷阱相同的元操作所对应的调用。对实现代理特别有用。

// No sample yet

更多信息: MDN Reflect

Tail Calls

确保尾部位置的调用不会无限制地增加堆栈。面对无限输入，使递归算法安全。

function factorial(n, acc = 1) {
    'use strict';
    if (n <= 1) return acc;
    return factorial(n - 1, n * acc);
}

// Stack overflow in most implementations today,
// but safe on arbitrary inputs in ES6
factorial(100000)

翻译原文章 git.io/es6features