learn ES6

介绍

　　es6，也叫ecmascript2015（以下统称es6），是ecmascript标准的最新版本。这个标准在2015年6月份被正式批准。es6是js语言很有意义的一次更新，也是2009年es5被标准化以来第一次重大的更新。主流javascript引擎中的这些新特性正在开发中。
　　es6特性完整版参见：es6特性完整版说明
　　es6有以下这些新特性：

箭头函数

　　使用=>表示function的简略版。这和c#，java8，coffeescript的语法很像。它可以支持声明体和表达式体，并且表达式体会有一个返回值。不像普通函数，箭头函数和其上下文共享同一个词法作用域的this。
　（译者注：词法作用域即“静态作用域”，）

 1 // expression bodies 表达式体
 2 var odds = evens.map(v => v + 1);
 3 /*v=>v+1相当于function(v){return v+1;}*/
 4 var nums = evens.map((v, i) => v + i);
 5 var pairs = evens.map(v => ({even: v, odd: v + 1}));
 6 
 7 // statement bodies 声明体
 8 nums.foreach(v => {
 9   if (v % 5 === 0)
10     fives.push(v);
11 });
12 /*相当于nums.foreach(function (v) {
13   if (v % 5 === 0) fives.push(v);
14 });*/
15 
16 // lexical this  词法作用域的this
17 var bob = {
18   _name: "bob",
19   _friends: [],
20   printfriends() {
21     this._friends.foreach(f =>
22       console.log(this._name + " knows " + f));
23   }
24 }

类

　　es2015的classes是在基于原型的面向对象模式中的一个简单的语法糖。它有一个简单的声明形式，使得类模式更易于使用，并且这种方式有益于互用性。classes支持基于原型的继承、父类方法的调用、实例化和静态方法、构造函数。
　　（译者注：超级像后端语言。）

 1 class skinnedmesh extends three.mesh {//使用extends来表示继承
 2   constructor(geometry, materials) {
 3     super(geometry, materials);//父类的构造函数
 4 
 5     this.idmatrix = skinnedmesh.defaultmatrix();
 6     this.bones = [];
 7     this.bonematrices = [];
 8     //...
 9   }
10   update(camera) {
11     //...
12     super.update();
13   }
14   get bonecount() {
15     return this.bones.length;
16   }
17   set matrixtype(matrixtype) {
18     this.idmatrix = skinnedmesh[matrixtype]();
19   }
20   static defaultmatrix() {//静态方法
21     return new three.matrix4();
22   }
23 }

增强的对象字面量

　　对象字面量被扩展成可以在构造阶段设置原型、变量名和变量值相同时可以使用简写形式（如foo:foo 可以写成foo）、定义方法、调用父方法、动态计算变量名。同时，这种方式也和上一小节说的类（class）声明十分吻合，也使得基于对象的设计更加便利。

 1 var obj = {
 2     // __proto__  obj的原型
 3     __proto__: theprotoobj,
 4     // shorthand for ‘handler: handler’    简写，翻译过来就是handler : handler,
 5     handler,
 6     // methods
 7     tostring() {
 8      // super calls  调用父类的函数
 9      return "d " + super.tostring(); 
10     },
11     // computed (dynamic) property names 需要计算的动态属性名称
12     [ 'prop_' + (() => 42)() ]: 42
13 };

字符串模板

　　字符串模板提供了一个创建字符串的语法糖。这和perl、python等等语言中的字符串插入功能很类似。有选择性的，它允许在字符串中插入一个标签（tag）使得字符串的构建是可定制化的，这可以避免在字符串里进行注入攻击，或者构造更高级别的结构。

 1 // basic literal string creation  基本的字符串字面量方式创建
 2 `in javascript '\n' is a line-feed.`
 3 
 4 // multiline strings   多行字符串
 5 `in javascript this is
 6  not legal.`
 7 
 8 // string interpolation 插入变量
 9 var name = "bob", time = "today";
10 `hello ${name}, how are you ${time}?`
11 
12 // construct an http request prefix is used to interpret the replacements and construction
13 // 构建一个通用的http请求前缀，其中字段值可以动态替换
14 post`http://foo.org/bar?a=${a}&b=${b}
15      content-type: application/json
16      x-credentials: ${credentials}
17      { "foo": ${foo},
18        "bar": ${bar}}`(myonreadystatechangehandler);

解构（解析结构）

　　解构支持使用模式匹配来匹配数组和对象。结构是弱化失败的，类似于在一个标准的对象中查找foo[“bar”]属性，如果没有找到只是返回undefined。
　　（译者注：fail-soft-字面意思是弱化失败，再这里是指如果解析结构解析不出来不会抛异常，只是返回一个undefined或默认值）

 1 // list matching 匹配数组
 2 var [a, , b] = [1,2,3];
 3 
 4 // object matching 匹配对象
 5 var { op: a, lhs: { op: b }, rhs: c }
 6        = getastnode()
 7 
 8 // object matching shorthand  匹配对象的一部分
 9 // binds `op`, `lhs` and `rhs` in scope 例如getastnode()的返回值为{op,op2,lhs,rhs},这个表达式将会自动匹配op,lhs,rhs
10 /*稍微有点难懂，下面的语句翻译过来就是
11 var _getastnode = getastnode();
12 
13 var op = _getastnode.op;
14 var lhs = _getastnode.lhs;
15 var rhs = _getastnode.rhs;
16 */
17 var {op, lhs, rhs} = getastnode()
18 
19 // can be used in parameter position 可以作为参数使用
20 function g({name: x}) {
21   console.log(x);
22 }
23 g({name: 5})
24 
25 // fail-soft destructuring 弱化解析失败，返回undefined
26 var [a] = [];
27 a === undefined;
28 
29 // fail-soft destructuring with defaults  有默认值时弱化解析失败，返回undefiend
30 var [a = 1] = [];
31 a === 1;

默认值+不定参数+参数展开

　　默认值：支持由被调用函数设置的参数默认值。
　　参数展开：在函数调用时实参使用...运算符，可以将作为参数的数组拆解为连续的多个参数。 在函数定义时虚参使用...运算符，则可以将函数尾部的多个参数绑定到一个数组中。
　　不定参数：不定参数取代了传统的参数，并可更直接地应用于通常的用例中。

1 //默认值
2 function f(x, y=12) {
3   // y is 12 if not passed (or passed as undefined) 如果y没有实参，则赋值为默认值12
4   return x + y;
5 }
6 f(3) == 15

1 //不定个数的参数
2 function f(x, ...y) {
3   // y is an array    有...,表示y是一个数组
4   return x * y.length;
5 }
6 f(3, "hello", true) == 6

1 //参数展开
2 function f(x, y, z) {
3   return x + y + z;
4 }
5 // pass each elem of array as argument ...表示在数组中的每一个元素分别按顺序对应一个入参
6 f(...[1,2,3]) == 6

let和const关键字

　　两个关键字都具有块级作用域，只在块级作用域中生效。let是一种新的var。（译者注：let可以看成var，它定义的变量被限制在特定范围中才能使用，离开这个范围就自动销毁）。const只能一次性声明（译者注：不能修改其值）。两者静态限制防止了在赋值前使用变量。

 1 function f() {
 2   {
 3     let x;
 4     {
 5       // okay, block scoped name  不报错
 6       const x = "sneaky";
 7       // error, const 报错，常量不允许修改值
 8       x = "foo";
 9     }
10     // error, already declared in block 报错，在该块级作用域中已经声明了
11     let x = "inner";
12   }
13 }

iterator+for..of 迭代器

　　可以像clr ienumerable或java utterable一样自定义迭代器。将for..in 变为自定义且基于迭代器的for..of。不需要通过数组实现，可以像linq一样使用懒惰模式。

 1 let fibonacci = {
 2   [symbol.iterator]() {
 3     let pre = 0, cur = 1;
 4     return {
 5       next() {
 6         [pre, cur] = [cur, pre + cur];
 7         return { done: false, value: cur }
 8       }
 9     }
10   }
11 }
12 
13 for (var n of fibonacci) {
14   // truncate the sequence at 1000 实现从1到1000的斐波那契数列计算
15   if (n > 1000)
16     break;
17   console.log(n);
18 }

迭代器是基于这些鸭子类型的接口（使用typescript类型语法，仅仅用于阐述问题）

 1 interface iteratorresult {
 2   done: boolean;
 3   value: any;
 4 }
 5 interface iterator {
 6   next(): iteratorresult;
 7 }
 8 interface iterable {
 9   [symbol.iterator](): iterator
10 }

generators 生成器

　　generators 通过使用function和yield简化了迭代器编写。函数声明时如果是function 形式的会返回一个generator实例。generator是迭代器iterators的子类，还包括了额外的next和throw方法。这允许了值可以回流到生成器中，所以yield是返回一个值或者抛异常的一个表达式。

 1 var fibonacci = {
 2   [symbol.iterator]: function*() {
 3     var pre = 0, cur = 1;
 4     for (;;) {
 5       var temp = pre;
 6       pre = cur;
 7       cur += temp;
 8       yield cur;
 9     }
10   }
11 }
12 
13 for (var n of fibonacci) {
14   // truncate the sequence at 1000
15   if (n > 1000)
16     break;
17   console.log(n);
18 }

生成器接口如下(此处使用typescript 的类型语法，仅用于阐述问题)：

1 interface generator extends iterator {
2     next(value?: any): iteratorresult;
3     throw(exception: any);
4 }

unicode

　　新增加的特性不影响老功能的使用，字符串将有新的文本格式，也增加了正则 u 模式来处理码位。同时，新的api可以在21码位级别上处理字符串。在javascript中，这些新增点可以支持构建全球化应用。

 1 // same as es5.1
 2 // 与 es5.1 相同
 3 "吉".length == 2
 4 
 5 // new regexp behaviour, opt-in ‘u’
 6 // 使用可选的‘u’修饰符表示正则
 7 "吉".match(/./u)[0].length == 2
 8 
 9 // new form
10 // 左边是新写法，右边是旧写法。新的形式可以通过添加一组大括号`{}`来表示超过四字节的码点
11 "\u{20bb7}"=="吉"=="\ud842\udfb7"
12 
13 // new string ops
14 "吉".codepointat(0) == 0x20bb7
15 
16 // for-of iterates code points
17 // 以码位为单位进行迭代
18 for(var c of "吉") {
19   console.log(c);
20 }

模块 modules

　　在语言层面上支持使用模块来定义组件。将流行的javascript模块加载器（amd，commonjs）的模式编成规范。运行时的行为由宿主定义的默认加载器决定。隐式异步模型- （当前模块）没有代码会执行，直到被请求的模块可用且处理过。

1 // lib/math.js
2 export function sum(x, y) {  //export 表示可以被加载
3   return x + y;
4 }
5 export var pi = 3.141593; 

1 // app.js
2 import * as math from "lib/math"; //import 表示被导入
3 alert("2π = " + math.sum(math.pi, math.pi));

1 // otherapp.js
2 import {sum, pi} from "lib/math";
3 console.log("2π = " + sum(pi, pi));

额外的新增的特征包括export default和export * ;

1 // lib/mathplusplus.js
2 export * from "lib/math"; 
3 export var e = 2.71828182846;
4 export default function(x) {//注意default关键字表示默认
5     return math.log(x);
6 }

1 // app.js
2 import exp, {pi, e} from "lib/mathplusplus";
3 console.log("e^π = " + exp(pi));

map + set + weakmap + weakset

　　这四个对于常见的算法来说是很有用的数据结构。weakmaps这一数据结构提供的索引表，拥有不会发生内存泄露的对象键名。（注：指的是当对象作为键名时，对象可能会被回收，回收后自动移除所在键值对）。

 1 // sets
 2 var s = new set();
 3 s.add("hello").add("goodbye").add("hello");
 4 s.size === 2;
 5 s.has("hello") === true;
 6 
 7 // maps
 8 var m = new map();
 9 m.set("hello", 42);
10 m.set(s, 34);
11 m.get(s) == 34;
12 
13 // weak maps
14 var wm = new weakmap();
15 wm.set(s, { extra: 42 });
16 wm.size === undefined
17 
18 // weak sets
19 var ws = new weakset();
20 ws.add({ data: 42 });
21 // because the added object has no other references, it will not be held in the set
22 //因为这个新的对象没有其他引用，所以不会真的添加到set

proxies 代理

　　代理创建的对象可以获得宿主对象的全部行为（属性和方法）。可以用于拦截，虚拟对象，日志/分析等。

 1 // proxying a normal object 代理一个普通对象
 2 var target = {};//被代理的类
 3 var handler = {//第二个参数表示拦截后的操作
 4   get: function (receiver, name) {//这里是拦截获取属性的操作：p.world 相当于第二个参数name为world
 5     return `hello, ${name}!`;
 6   }
 7 };
 8 
 9 var p = new proxy(target, handler);
10 p.world === 'hello, world!';

 1 // proxying a function object 代理一个函数对象
 2 var target = function () { return 'i am the target'; };
 3 var handler = {
 4   apply: function (receiver, ...args) {
 5     return 'i am the proxy';
 6   }
 7 };
 8 
 9 var p = new proxy(target, handler);
10 p() === 'i am the proxy';

这里是所有运行时级别的元数据操作陷阱：

 1 var handler =
 2 {
 3   get:...,
 4   set:...,
 5   has:...,
 6   deleteproperty:...,
 7   apply:...,
 8   construct:...,
 9   getownpropertydescriptor:...,
10   defineproperty:...,
11   getprototypeof:...,
12   setprototypeof:...,
13   enumerate:...,
14   ownkeys:...,
15   preventextensions:...,
16   isextensible:...
17 }

symbols 符号

　　symbol有权限控制对象状态。symbol允许通过string（与es5相同）或symbol作为键来访问对象的属性。symbol是一个新的原始类型。可选的name参数用于调试-但是它不是符号身份的一部分。符号是唯一的（就像gensym），但是只要他们通过像object.getownpropertysymbles这样的反射特性暴露出来，就不是私有的。

 1 var myclass = (function() {
 2 
 3   // module scoped symbol
 4   var key = symbol("key");
 5 
 6   function myclass(privatedata) {
 7     this[key] = privatedata;
 8   }
 9 
10   myclass.prototype = {
11     dostuff: function() {
12       ... this[key] ...
13     }
14   };
15 
16   return myclass;
17 })();
18 
19 var c = new myclass("hello")
20 c["key"] === undefined//已经跳出了作用域，所以是undefined

内建对象可拥有子类

在es6中，像array，date和dom元素这样的内建对象都可以被子类化。

1 // user code of array subclass
2 class myarray extends array {
3     constructor(...args) { super(...args); }
4 }
5 
6 var arr = new myarray();
7 arr[1] = 12;
8 arr.length == 2

math + number + string + object apis

　　加了一些新的api，包括math的核心库，数组转换帮助函数，和用来复制对象的object.assign。　

 1 number.epsilon
 2 number.isinteger(infinity) // false 是否是整形
 3 number.isnan("nan") // false 是否是非法数字
 4 
 5 math.acosh(3) // 1.762747174039086 余弦
 6 math.hypot(3, 4) // 5  直角三角形的斜边
 7 math.imul(math.pow(2, 32) - 1, math.pow(2, 32) - 2) // 2   带符号的惩罚
 8 
 9 "abcde".includes("cd") // true
10 "abc".repeat(3) // "abcabcabc"
11 
12 array.from(document.queryselectorall('*')) // returns a real array
13 array.of(1, 2, 3) // similar to new array(...), but without special one-arg behavior
14 [0, 0, 0].fill(7, 1) // [0,7,7]
15 [1, 2, 3].find(x => x == 3) // 3
16 [1, 2, 3].findindex(x => x == 2) // 1
17 [1, 2, 3, 4, 5].copywithin(3, 0) // [1, 2, 3, 1, 2]
18 ["a", "b", "c"].entries() // iterator [0, "a"], [1,"b"], [2,"c"]
19 ["a", "b", "c"].keys() // iterator 0, 1, 2
20 ["a", "b", "c"].values() // iterator "a", "b", "c"
21 
22 object.assign(point, { origin: new point(0,0) }) //拷贝对象

binary and octal literals

　　增加了两个新的数字进制标识符，第二个字母为b来表示二进制，第二个字母为o来表示八进制。

1 0b111110111 === 503 // true 二进制
2 0o767 === 503 // true 八进制

promises

　　promises是处理异步操作的一种模式。 promises是第一个能代表未来能用到的值的类。promises已经被使用在很多javascript第三库中。

 1 function timeout(duration = 0) {
 2     return new promise((resolve, reject) => {
 3         settimeout(resolve, duration);
 4     })
 5 }
 6 
 7 var p = timeout(1000).then(() => {
 8     return timeout(2000);
 9 }).then(() => {
10     throw new error("hmm");
11 }).catch(err => {
12     return promise.all([timeout(100), timeout(200)]);
13 })

reflect api

　　完整的反射api暴露了对象在运行时的元操作。这类似于一个反向代理，并允许调用与代理陷阱中相同的元操作。实现代理非常有用。

 1 var o = {a: 1};
 2 object.defineproperty(o, 'b', {value: 2});
 3 o[symbol('c')] = 3;
 4 
 5 reflect.ownkeys(o); // ['a', 'b', symbol(c)]
 6 
 7 function c(a, b){
 8   this.c = a + b;
 9 }
10 var instance = reflect.construct(c, [20, 22]);
11 instance.c; // 42

tail calls

　　保证尾部调用时栈区不会没有限制的增长，这使得递归函数及时在没有限制的输入时也能保证安全性。

1 function factorial(n, acc = 1) {
2     'use strict';
3     if (n <= 1) return acc;
4     return factorial(n - 1, n * acc);
5 }
6 // stack overflow in most implementations today, 栈溢出在现在经常存在
7 // but safe on arbitrary inputs in es6  但是在es6中却很安全
8 factorial(100000)