媒介
本文是对《ECMAScript 2018 Language Specification》的解读。
本文是对范例的概述性导读，不是对 ES2018特征的细致形貌，也不会针对某个手艺点举行细致睁开，然则会附上相干文章外链。
规格引见
全部文档有弁言+27个章节+7篇附录，也许五六百页的模样。
弁言和前面3章部份，都是在讲规格自身，跟JS言语自身无关。内容很少，能够疾速过一遍。
- Introduction 部份 引见了言语汗青和范例化进程;
- 前3章 Scope、Conformance、Normative References 主要引见了文档的局限、一致性和参考文献。所谓一致性，实际上是范例完成的一致性，任何完成ECMAScript 范例的言语，都必须完整完成文档中形貌的语法和语义，而且能够有规格以外的自定义顺序语法。
言语概述
第4章 Overview 是对言语的团体引见。涵盖了Web脚本言语环境、ES基本观点和专业术语，以及严厉形式的简朴引见。这里跟人人分享几个有意义的点。
奇葩的面向对象机制
ECMAScript is an object-oriented programming language for performing computations and manipulating computational objects within a host environment.
ES是一门面向对象的言语，这是官方形貌！(
这有什么新鲜的啊，人人都晓得啊)然则ES的面向对象设想机制倒是异乎寻常，大有学问(
这有什么啊，不就原型链嘛)。我们多少都相识一些，但要完整讲清晰，生怕特地开一篇博客也不够。
但我照样尝试特地写了一篇：《怎样文雅的解读JS的面向对象机制》。
脚本言语的逆袭
ECMAScript was originally designed to be used as a scripting language, but has become widely used as a general-purpose programming language.
这个就有点屌了，ES最初是被拿来当Web脚本言语用的，但如今已成了时下最盛行的通用编程言语之一。此中启事人人应当也很清晰，不多说，只是表达一下慨叹：Always bet on JS可不是胡说的。
有关对象的形貌
本章还枚举出了JS中的专业名词及诠释，比方范例、原始值、对象、组织器、原型……等观点。有意义的是范例中关于对象的形貌在ES5里面有三种：
- native object（原生对象），指语义完整由范例定义而且不搀杂任何宿主环境定义的的对象；
- build-in object（内置对象），由ECMA完成供应，顺序实行时就存在的对象。一切内置对象都是原生对象。
- host object（宿主对象），由实行环境供应，比方浏览器的window对象和history对象。JS里的对象不是原生对象就是宿主对象。
然则在ES6以后就改成了四种：
- ordinary object：一般对象，只需具有了对象的一切基本内置要领就能够了。
- exotic object：外来对象，假如不具有范例对象一切的基本内置要领，就是外来对象。JS里的对象不是一般对象就是外来对象。
- standard object：范例对象，语义由本范例定义的对象。
- built-in object：内置对象，跟ES5中形貌一样。
对照来看，前者是以宿主环境为分别前提，后者则是以对象的基本内置要领。ES6以后实在分别的更细了。
记法商定
第5章 Notational Conventions 细致引见了范例形貌中用到的一些句法、词法以及算法商定等内容，假如要看懂背面的有关语法行动，函数完成的细致形貌，就得看懂这章，看完以后你以至能够照着范例完成一遍。
这章触及大批编译基本学问，照样强烈发起花些时候看下，不然背面能够没法继承。你须要晓得以下观点：
上下文无关文法
作为ECMAScript规格文档，天然须要用一种专业的体式格局来形貌这门言语，这类专业的形貌言语的要领，就是所谓的文法（文法由多少发生式构成）。而上下文无关的意义，就是一切发生式的左侧只要一个非终结符，因为只要如许，发生式右侧的串才规约到左侧的非终结符，不然就是上下文相干。大部份编程言语都是上下文无关文法，ECMAScript也不破例。
词法、正则文法、数字字符串文法和句法商定
一个冒号“:”作为分隔符支解句法的发生式。两个冒号“::”作为分隔符支解词法和正则的文法发生式。词法和正则的文法同享某些发生式。三个冒号“:::”作为分隔符支解数字字符串文法的发生式。然后枚举了种种句法，文法标记，总之许多观点，此处不睁开。
内部机制
第6到8章细致形貌了言语运转的内部机制，从宏观上对ES举行形貌，包含数据范例和值，言语内部的笼统操纵，以及代码实行的上下文相干学问。
范例
ES中的范例可细分为ES言语范例和范例范例，言语范例对应的是顺序中直接被操纵的值的范例，包含Undefined,Null,Boolean,Number,String,Object,Symbol。明白范例，是明白这门言语的基本。
首先是Undefind和Null，两者区分可参考 undefined与null的区分 – 阮一峰。在一门编程言语中关于“空”的形貌用到了两种基本范例，预计只要JavaScript了。实在一开始只要null，厥后为相识决范例转换和毛病处置惩罚题目引入了undefined。
undefined 示意此处应当有个值，然则这个值还没给出来，实在就是占了个坑，这个坑是言语内部完成帮你做的，你不必管。null 才是真正意义上的空值，示意对象天下中的“无”。正所谓道生一，终身二，二生三，三生万物。JS中万物皆对象，一切对象的原型链都能够上溯到唯一的Object，而Object的原型，恰是万物之始源，浑沌之道null。所以JS中null的意义远超其他编程言语，这恰是让JS的面向对象头脑与道家哲学圆满符合的主要一笔。
所以个人明白，Undefined虽然作为基本范例，处置惩罚的倒是言语内部处置惩罚题目，所以永久不要在代码中主动涌现，要在语义上处置惩罚空就用null。一切因为undefined带来的题目，基本上是占著茅坑不拉屎的行动致使。所以google在Dart中就只要null，而没有undefined，因为undefined处置惩罚的题目完整能够在言语内部处置惩罚，没必要暴露给用户。
Boolean和Symbol没啥好说的，数值的设想也是从简，只要一个Number范例。有意义的是String，官方关于String范例的形貌:
The String type is the set of all ordered sequences of zero or more 16-bit unsigned integer values (“elements”) up to a maximum length of 2e53 – 1 elements.
翻译过来就是指一切有限的零个或多个16位无标记整数值的有序序列(总计2e53 – 1个元素)。这个2e53 – 1是怎样来的呢，依据16位无标记整数值盘算的话?
更有意义的是,String中的每个字符都被视为自力的UTF-16代码单位，即占2个字节，作用在字符串上的一切操纵都视它们为无差别的16位无标记整数（这里的UTF-16，实际上是指内部完成，盘算机内存中都是基于unicode编码的，只是在存储或读取时会举行UTF-8或许其他编码范例转换）。然则UTF-16却有两种长度的字符，U+0000到U+FFFF之间的字符占2个字节，U+10000到U+10FFFF之间的字符占4字节。关于4字节的字符ES是没法正确处置惩罚的，须要本身去依据编码值状况推断,这也是一大坑爹的地方。
对此，我也特地写了一篇：《深切明白JavaScript中的String范例-未宣布》。
除了以上言语范例，全部范例中另有用于形貌这门言语的范例范例，范例范例的值是范例本身造的，有的照样ES表达式盘算的中心效果，所以没必要对应到特定的言语范例上。若非迥殊申明，ES中的范例通常指言语范例。
操纵择要
范例之间会触及到种种运算，这就会触及到种种操纵运算。比方范例转换触及到的内部机制和算法流程，7.1 Type Conversion 都有细致申明。7.2 Testing and Comparison Operations 讲了测试和比较操纵，比方测试一个对象是不是是数组，是不是数字，是不是组织函数，以及 == 和 === 的定义等等。以数组测试操纵isArray(argument)为例，范例中的形貌以下：
1. If Type(argument) is not Object, return false.
2. If argument is an Array exotic object, return true.
3. If argument is a Proxy exotic object, then
a. If argument.[[ProxyHandler]] is null, throw a TypeError exception.
b. Let target be argument.[[ProxyTarget]].
c. Return ? IsArray(target).
4. Return false.相关于ES5来讲，范例中增加了对Proxy的处置惩罚。我们再看 underscope v1.8.3 源码中对isArray的完成：
_.isArray = Array.isArray || function(obj) {
return toString.call(obj) === '[object Array]';
}相关于ES5来讲，范例中增加了对Proxy的处置惩罚，如今来看这是引擎内部处置惩罚的，对如今许多检测数组的要领并不影响。
言语完成细节
这是个大坑，照样附上ES2018正式版范例地点吧：
https://www.ecma-internationa…
假如想疾速相识一下新特征，能够看这里：
https://medium.com/front-end-…
详细有哪些 finished proposals 能够参考 tc39 的 GitHub。
怎样文雅的浏览ECMA范例
因为如今运用最为普遍的照样ECMA 5.1版本，所以在浏览ES2018之前，发起先把5.1的范例看一遍，轻易对照。幸亏W3C中文站有5.1的100%翻译版本：
ES5中文版:
https://www.w3.org/html/ig/zh…
然后能够再看ES6也就是ES2015的范例，虽然没有中文版，不过能够参考阮先生的ES6入门，趁便也能够瞄一眼ES2016的范例：
ES 2015:
http://www.ecma-international…ECMAScript 6入门教程:
http://es6.ruanyifeng.com/ES 2016:
http://www.ecma-international…
时期有任何迷惑能够参考MDN上的JS参考文档，异常周全，涵盖了从入门到通晓。
看完这些再看ES2018就会异常轻松了：
