我相信,在ECMAScript.next到来的时候,我们现在每天都在写的JavaScript代码将会发生巨大的变化.接下来的一年将会是令JavaScript开发者们兴奋的一年,越来越多的特性提案将被最终敲定,新一版本的JavaScript将会慢慢得到普及.
本文中,我将会讲几个我个人很期待的,希望能在2013年或者更晚一点使用上的新特性.
ES.next目前的实现情况
可以通过查看Juriy Zaytsev总结的ECMAScript
6兼容性表格,和Mozilla的ES6实现情况页面以及通过使用现代浏览器的最新版本(比如Chrome
Canary, Firefox
Aurora),来了解目前有哪些已经实现了的ES.next特性.
在Canary中,记得要进入chrome:flags
打开‘启用实验性JavaScript‘选项以激活所有最新的的JavaScript特性.
另外,许多ES.next特性还可以通过使用Google的Traceur转换编译器(这里有一些单元测试的例子)来体验,以及一些shim项目比如ES6-Shim和Harmony
Collections,也实现了不少新特性.
在Node.js(V8)中使用--harmony
命令行选项可以开启一些试验性质的ES.next特性,包括块级作用域,WeakMap等等.
模块
我们已经习惯了将我们的代码分割成为更加便于管理的功能块.在ES.next中,一个模块(module)是就是一个module
声明,以及包含在该声明中的一组代码.模块可以用内联方式(inline)声明,也可以引入一个外部的模块文件.一个名为Car的内联模块的写法大致如下:
- module Car {
- // 导入 …
- // 导出 …
- }
一个模块实例就是一个被求过值的模块,它已经被链接到了其他的模块身上或者已经有了词法上的封装数据.下面是一个模块实例的例子:
- module myCar at "car.js";
module
声明可以使用在如下上下文中:
- module UniverseTest {};
- module Universe { module MilkyWay {} };
- module MilkyWay = ‘Universe/MilkyWay‘;
- module SolarSystem = Universe.MilkyWay.SolarSystem;
- module MySystem = SolarSystem;
一个export
声明声明了一个可以被其他模块看到的局部函数或变量.
- module Car {
- // 内部变量
- var licensePlateNo = ‘556-343‘;
- // 暴露到外部的变量和函数
- export function drive(speed, direction) {
- console.log(‘details:‘, speed, direction);
- }
- export module engine{
- export function check() { }
- }
- export var miles = 5000;
- export var color = ‘silver‘;
- };
一个模块可以使用import
导入任何它所需要的其他模块.导入模块会读取被导入模块的所有可导出数据(比如上面的drive()
, miles
等),但不能修改它们.导出的变量或函数可以被重命名.
再次用到上面导出相关的例子,我们现在可以有选择性的导入一些模块中的功能.
比如我们可以导入drive()
:
- import drive from Car;
还可以可以同时导入drive()
和miles
:
- import {drive, miles} from Car;
下面,我们要讲一下模块加载器API的概念.模块加载器能够让我们动态的加载所需要的脚本.类似于import
, 我们可以使用被导入模块中的所有用export
声明过的东西.
- // Signature: load(moduleURL, callback, errorCallback)
- Loader.load(‘car.js‘, function(car) {
- console.log(car.drive(500, ‘north‘));
- }, function(err) {
- console.log(‘Error:‘ + err);
- });
load()
接受三个参数:
moduleURL
: 表示一个模块URL的字符串 (比如 "car.js")callback
: 一个回调函数,接受模块加载,编译,以及执行后的输出结果errorCallback
: 一个回调函数,在加载或编译期间发生错误时调用
关于类(class)
我不打算在本文中过多的讲ES.next中的类,如果你想知道类和模块将会有什么联系,Alex
Russell曾经写过一个很好的例子来说明这件事.
JavaScript中有了类,并不意味着要把JavaScript变成Java.ES.next中的类只是我们已经熟悉的语义(比如函数,原型)的另外一种声明方式
下面是用来定义一个widget的ES.next代码:
- module widgets {
- // ...
- class DropDownButton extends Widget {
- constructor(attributes) {
- super(attributes);
- this.buildUI();
- }
- buildUI() {
- this.domNode.onclick = function(){
- // ...
- };
- }
- }
- }
下面是去糖(de-sugared)后的做法,也就是我们目前正在使用的方法:
- var widgets = (function(global) {
- // ...
- function DropDownButton(attributes) {
- Widget.call(this, attributes);
- this.buildUI();
- }
- DropDownButton.prototype = Object.create(Widget.prototype, {
- constructor: { value: DropDownButton },
- buildUI: {
- value: function(e) {
- this.domNode.onclick = function(e) {
- // ...
- }
- }
- }
- });
- })(this);
ES.next的写法的确让代码变的更可读.这里的class
也就相当于是function
,至少是做了目前我们用function
来做的一件事.如果你已经习惯并且也喜欢用JavaScript中的函数和原型,这种未来的语法糖也就不用在意了.
这些模块如何和AMD配合使用?
ES.next中的模块是朝着正确的方向走了一步吗?也许是吧.我自己的看法是:看相关的规范文档是一码事,实际上使用起来又是另一码事.在Harmonizr,Require
HM和Traceur中可以体验新的模块语法,你会非常容易的熟悉这些语法,该语法可能会觉得有点像Python的感觉(比如import
语句).
我认为,如果一些功能有足够广泛的使用需求(比如模块),那么平台(也就是浏览器)就应该原生支持它们.而且,并不是只有我一个人这么觉得. James Burke,发明了AMD和RequireJS的人,也曾经说过:
我想,AMD和RequireJS应该被淘汰了.它们的确解决了一个实际存在的问题,但更理想的情况是,语言和运行环境应该内置类似的功能.模块的原生支持应该能够覆盖RequireJS 80%的使用需求,从这一点上说,我们不再需要使用任何用户态(userland)的模块加载库了,至少在浏览器中是这样.
不过James的质疑是ES.next的模块是否是一个足够好的解决方案,他曾在六月份谈到过自己关于ES.next中模块的一些想法 ES6
Modules: Suggestions for improvement以及再后来的一篇文章Why
not AMD?.
Isaac Schlueter前段时间也写过一些自己的想法,讲到了ES6的模块有哪些不足.尝试一下下面这些选项,看看你的想法如何.
兼容目前引擎的Module实现
Object.observe()
通过Object.observe
,我们可以观察指定的对象,并且在该对象被修改时得到通知.这种修改操作包括属性的添加,更新,删除以及重新配置.
属性观察是我们经常会在MVC框架中看到的行为,它是数据绑定的一个重要组件,AngularJS和Ember.js都有自己的解决方案.
这是一个非常重要的新功能,它不仅比目前所有框架的同类实现性能要好,而且还能更容易的观察纯原生对象.
- // 一个简单的对象可以作为一个模块来使用
- var todoModel = {
- label: ‘Default‘,
- completed: false
- };
- // 我们观察这个对象
- Object.observe(todoModel, function(changes) {
- changes.forEach(function(change, i) {
- console.log(change);
- /*
- 哪个属性被改变了? change.name
- 改变类型是什么? change.type
- 新的属性值是什么? change.object[change.name]
- */
- });
- });
- // 使用时:
- todoModel.label = ‘Buy some more milk‘;
- /*
- label属性被改变了
- 改变类型是属性值更新
- 当前属性值为‘Buy some more milk‘
- */
- todoModel.completeBy = ‘01/01/2013‘;
- /*
- completeBy属性被改变了
- 改变类型是属性被添加
- 当前属性值为‘01/01/2013‘
- */
- delete todoModel.completed;
- /*
- completed属性被改变了
- 改变类型是属性被删除
- 当前属性值为undefined
- */
Object.observe马上将会在Chrome Canary中实现(需要开启"启用实验性JavaScript"选项).
兼容目前引擎的Object.observe()实现
- Chromium特殊版本
- Watch.JS 可以实现类似的功能,但它并不是实现
Object.observe
的polyfill或shim
Rick Waldron的这篇文章有关于Object.observe
更详细的介绍.
译者注:Firefox很早就有了一个类似的东西:Object.prototype.watch.
默认参数值
默认参数值(Default
parameter values)的作用是:在一些形参没有被显式传值的情况下,使用默认的初始化值来进行初始化.这就意味着我们不再需要写类似options = options || {};
这样的语句了.
该语法形式就是把一个初始值赋值给对应的形参名:
- function addTodo(caption = ‘Do something‘) {
- console.log(caption);
- }
- addTodo(); // Do something
拥有默认参数值的形参只能放在形参列表的最右边:
- function addTodo(caption, order = 4) {}
- function addTodo(caption = ‘Do something‘, order = 4) {}
- function addTodo(caption, order = 10, other = this) {}
已经实现该特性的浏览器: Firefox 18+
译者注:Firefox 15就已经实现了默认参数值,作者所说的18只是说18支持,并不是说18是第一个支持的版本.包括本文下面将要提到的chrome 24+等等,都有这个问题.
块级作用域
块级作用域引入了两种新的声明形式,可以用它们定义一个只存在于某个语句块中的变量或常量.这两种新的声明关键字为:
let
: 语法上非常类似于var
, 但定义的变量只存在于当前的语句块中const
: 和let
类似,但声明的是一个只读的常量
使用let
代替var
可以更容易的定义一个只在某个语句块中存在的局部变量,而不用担心它和函数体中其他部分的同名变量有冲突.在let
语句内部用var
声明的变量和在let
语句外部用var
声明的变量没什么差别,它们都拥有函数作用域,而不是块级作用域.
译者注:以防读者看不懂,我用一个例子解释一下上面的这句话,是这样的:
let(var1 = 1) { alert(var1); //弹出1,var1是个块级作用域变量 var var2 = 2;}var var3 = 3;alert(var2); //弹出2,虽然var2是在let语句内部声明的,但它仍然是个函数作用域内的变量,因为使用的是var声明 alert(var3); //弹出3 alert(var1); //抛出异常
- var x = 8;
- var y = 0;
- let (x = x+10, y = 12) {
- console.log(x+y); // 30
- }
- console.log(x + y); // 8
实现let
的浏览器: Firefox 18+, Chrome 24+
实现const
的浏览器: Firefox 18+, Chrome 24+, Safari 6+, WebKit, Opera 12+
译者注:Firefox很久以前就支持了let和const,但这两个旧的实现都是依据了当年的ES4草案.和目前的ES6草案有些区别,比如ES4中用const声明的常量并没有块级作用域(和var一样,只是值不可变),let也有一些细微差别,就不说了.由于很少人使用旧版的Firefox(但我的主浏览器是FF3.6!),即使未来ES6和ES4中的一些东西有冲突,我们基本也可以忽略.
Map
我想大部分读者已经熟悉了映射的概念,因为我们过去一直都是用纯对象来实现映射的.Map允许我们将一个值映射到一个唯一的键上,然后我们就可以通过这个键获取到对应的值,而不需要担心用普通对象实现映射时因原型继承而带来的问题.
使用set()
方法,可以在map中添加一个新的键值对,使用get()
方法,可以获取到所存储的值.Map对象还有其他三个方法:
has(key)
: 一个布尔值,表明某个键是否存在于map中delete(key)
: 删除掉map中指定的键size()
: 返回map中键值对的个数
- let m = new Map();
- m.set(‘todo‘, ‘todo‘.length); // "todo" → 4
- m.get(‘todo‘); // 4
- m.has(‘todo‘); // true
- m.delete(‘todo‘); // true
- m.has(‘todo‘); // false
已经实现Map的浏览器: Firefox 18+
Nicholas Zakas的这篇文章有关于Map更详细的介绍.
兼容目前引擎的Map实现
译者注:我翻译过尼古拉斯的这篇文章:[译]ECMAScript
6中的集合类型,第二部分:Map.作者可能不知道,10月份的ES6草案中,
Map.prototype.size
和Set.prototype.size
都从size()方法改成size访问器属性了.同时Map对象新添加的方法还有很多,clear()用来清空一个map,forEach()用来遍历一个map,还有items(),keys(),values()等.Set对象也类似,有不少作者没提到的方法,下面的Set小节我就不指出了.另外,在ES5中,在把对象当成映射来使用的时候,为了防止原型继承带来的问题(比如在twitter中,@__proto__能让浏览器卡死),可以用var hash = Object.create(null)代替var hash = {};
Set
正如Nicholas Zakas在他的文章中所说,对于那些接触过Ruby和Python等其他语言的程序员来说,Set并不是什么新东西,但它的确是在JavaScript中一直都缺少的特性.
任何类型的数据都可以存储在一个set中,但每个值只能存储一次(不能重复).利用Set可以很方便的创建一个不包含任何重复值的有序列表.
add(value)
– 向set中添加一个值.delete(value)
– 从set中删除value这个值.has(value)
– 返回一个布尔值,表明value这个值是否存在于这个set中.
- let s = new Set([1, 2, 3]); // s有1, 2,
3三个元素. - s.has(-Infinity); // false
- s.add(-Infinity); // s有1, 2, 3,
-Infinity四个元素. - s.has(-Infinity); // true
- s.delete(-Infinity); // true
- s.has(-Infinity); // false
Set对象的一个作用是用来降低过滤操作(filter方法)的复杂度.比如:
- function unique(array) {
- var seen = new Set;
- return array.filter(function (item) {
- if (!seen.has(item)) {
- seen.add(item);
- return true;
- }
- });
- }
这个利用Set来进行数组去重的函数的复杂度为O(n).而其他现有数组去重方法的复杂度几乎都为O(n^2).
已经实现Set的浏览器: Firefox 18, Chrome 24+.
Nicholas Zakas的这篇文章有关于Set更详细的介绍.
兼容目前引擎的Set实现
译者注:我翻译过尼古拉斯的这篇文章:[译]ECMAScript
6中的集合类型,第一部分:Set.如果让我来实现一个ES6下的数组去重函数的话,我会这么写:
function unique(array) { return [v for(v of Set(array))]}该函数使用到了ES6中的for-of遍历,以及数组推导式.不过效率比上面使用filter去重的方法稍微差点.Firefox最新版中已经可以执行这个函数.
另外,借助于下面将会提到的Array.from方法,还有更简单高效的写法:
>Array.from(new Set([ 1, 1, 2, 2, 3, 4 ]));[1,2,3,4]甚至,借助于ES6中的展开(spread)操作,还有可能这样实现:
>[ ... new Set([ 1, 1, 2, 2, 3, 4 ]) ];[1,2,3,4]
WeakMap
WeakMap的键只能是个对象值,而且该键持有了所引用对象的弱引用,以防止内存泄漏的问题.这就意味着,如果一个对象除了WeakMap的键以外没有任何其他的引用存在的话,垃圾回收器就会销毁这个对象.
WeakMap的另外一个特点是我们不能遍历它的键,而Map可以.
- let m = new WeakMap();
- m.set(‘todo‘, ‘todo‘.length); //
异常,键必须是个对象值! - // TypeError: Invalid value used as weak map key
- m.has(‘todo‘); //
同样异常! - // TypeError: Invalid value used as weak map key
- let wmk = {};
- m.set(wmk, ‘thinger‘); // wmk → ‘thinger‘
- m.get(wmk); // ‘thinger‘
- m.has(wmk); // true
- m.delete(wmk); // true
- m.has(wmk); // false
已经实现WeakMap的浏览器: Firefox 18+, Chrome 24+.
兼容目前引擎的WeakMap实现
Nicholas Zakas的这篇文章有关于WeakMap更详细的介绍.
译者注:我翻译过尼古拉斯的这篇文章:[译]ECMAScript
6中的集合类型,第三部分:WeakMap
代理
代理(Proxy)API允许你创建一个属性值在运行期间动态计算的对象.还可以利用代理API"钩入"其他的对象,实现例如打印记录和赋值审核的功能.
- var obj = {foo: "bar"};
- var proxyObj = Proxy.create({
- get: function(obj, propertyName) {
- return ‘Hey, ‘+ propertyName;
- }
- });
- console.log(proxyObj.Alex); // "Hey, Alex"
实现代理API的浏览器: Firefox 18+, Chrome 24+
译者注:作者不知道的是,一共有过两个代理API的提案,一个是旧的Catch-all
Proxies,一个是新的直接代理(Direct
Proxies).前者已被废弃.两者的区别在这里.V8(Chrome和Node.js)实现的是前者,Firefox18及之后版本实现的是后者(17及之前版本实现的是前者).尼古拉斯在2011年写的文章也应该是过时的.
一些新的API
Object.is
Object.is
是一个用来比较两个值是否相等的函数.该函数和===
最主要的区别是在对待特殊值NaN
与自身以及正零与负零之间的比较上.Object.is
的判断结果是:NaN
与另外一个NaN
是相等的,以及+0和-0是不等的.
- Object.is(0, -0); // false
- Object.is(NaN, NaN); // true
- 0 === -0; // true
- NaN === NaN; // false
实现了Object.is的浏览器: Chrome 24+
兼容目前引擎的Object.is实现
译者注:Object.is方法和严格相等===运算符的区别体现在ES标准内部就是SameValue算法和严格相等比较算法的区别.
译者注:如果我没有理解错这条BE的推特的话,Object.is要改名成为Object.sameValue了.
Array.from
Array.from
: 将参数中的类数组(array-like)对象(比如arguments, NodeList, DOMTokenList (classList属性就是这个类型), NamedNodeMap (attributes属性就是这个类型))转换成数组并返回,比如转换一个纯对象:
- Array.from({
- 0: ‘Buy some milk‘,
- 1: ‘Go running‘,
- 2: ‘Pick up birthday gifts‘,
- length: 3
- });
再比如转换一个DOM节点集合:
- var divs = document.querySelectorAll(‘div‘);
- Array.from(divs);
- // [<div class="some classes" data-info="12"></div>, <div data-info="10"></div>]
- Array.from(divs).forEach(function(node) {
- console.log(node);
- });
兼容目前引擎的Array.from实现
译者注:从作者举的两个例子可以看出,Array.from基本相当于目前使用的[].prototype.slice.call.
目前的草案也的确是这样规定的,但从Rick Waldron(TC39成员)在原文评论中给出的代码可以看出,也许Array.from未来也能将Set对象(非类数组对象,但可迭代)转换成数组.
译者注:除了这两个API,还有很多个新添加的API,比如
Number.isFinite, isNaN, isInteger, toInteger
String.prototype.repeat, startsWith,
endsWith, contains, toArray下面给出两个很有用的链接:
Mozilla正计划实现的ES6特性https://wiki.mozilla.org/ES6_plans.
ES6目前的所有特性提案http://wiki.ecmascript.org/doku.php?id=harmony:proposals
总结
ES.next中添加了许多被认为是JavaScript中缺失已久的新特性.虽然ES6规范计划在2013年年底发布,不过浏览器们已经开始实现其中的一些特性了,这些特性被广泛使用也只是时间问题了.
在ES6完全实现之前,我们可以使用一些转换编译器(transpiler)或者shim来体验其中一些特性.
译者注:目前最强大的ES6实现应该是Brandon Benvie写的continuum,这是一个JavaScript虚拟机,也就是用JavaScript(ES3)实现的JavaScript(ES6)引擎,它未来甚至可以工作在IE6上.目前实现的ES6特性有:模块以及模块加载器API,直接代理,生成器,解构,@symbols(我翻译成标志,这是一个不可能通过shim方式实现的语法)等等.
想要查看更多的例子和了解最新的信息,可以去TC39
Codex Wiki,该站点由Dave Herman和其他一些EC39成员维护(译者注:该新站仍在建设中,应该访问旧站).其中包含了下一代JavaScript中将要有的所有新特性.
激动人心的时刻马上就要到来了!
译者注:文本中提到的知识点仅仅是ES6中新知识的一小部分,而且明显作者自己也有点赶不上草案的快速变化(本文中提到的所有知识点都有可能在明天就发生变化).所以本文的内容仅仅是个开始,原文中的外部连接加上我给出的外部链接才是最需要你关注的.