转载

读懂 ECMAScript 规格

一、概述

规格文件（specification）是计算机语言的官方标准，详细描述语法规则和实现方法。

读懂 ECMAScript 规格

一般来说，没有必要阅读规格，除非你要写编译器。因为规格写得非常抽象和精炼，又缺乏实例，不容易理解，而且对于解决实际的应用问题，帮助不大。但是，如果你遇到疑难的语法问题，实在找不到答案，这时可以去查看规格文件，了解语言标准是怎么说的。规格是解决问题的"最后一招"。

这对JavaScript语言很有必要。因为它的使用场景复杂，语法规则不统一，例外很多，各种运行环境的行为不一致，导致奇怪的语法问题层出不穷，任何语法书都不可能囊括所有情况。查看规格，不失为一种解决语法问题的最可靠、最权威的终极方法。

本文介绍如何读懂ECMAScript 6的规格文件。

ECMAScript 6的规格，可以在ECMA国际标准组织的官方网站（ www.ecma-international.org/ecma-262/6.0/ ）免费下载和在线阅读。

读懂 ECMAScript 规格

这个规格文件相当庞大，一共有26章，A4打印的话，足足有545页。它的特点就是规定得非常细致，每一个语法行为、每一个函数的实现都做了详尽的清晰的描述。基本上，编译器作者只要把每一步翻译成代码就可以了。这很大程度上，保证了所有ES6实现都有一致的行为。

ECMAScript 6规格的26章之中，第1章到第3章是对文件本身的介绍，与语言关系不大。第4章是对这门语言总体设计的描述，有兴趣的读者可以读一下。

第5章到第8章是语言宏观层面的描述。第5章是规格的名词解释和写法的介绍，第6章介绍数据类型，第7章介绍语言内部用到的抽象操作，第8章介绍代码如何运行。

第9章到第26章则是介绍具体的语法。

对于一般用户来说，除了第4章，其他章节都涉及某一方面的细节，不用通读，只要在用到的时候，查阅相关章节即可。下面通过一些例子，介绍如何使用这份规格。

二、相等运算符

先来看这个例子，请问下面表达式的值是多少。

 0 == null

如果你不确定答案，或者想知道语言内部怎么处理，就可以去查看规格， 7.2.12小节 是对相等运算符（ == ）的描述。

规格对每一种语法行为的描述，都分成两部分：先是总体的行为描述，然后是实现的算法细节。相等运算符的总体描述，只有一句话。

"The comparison x == y , where x and y are values, produces true or false ."

上面这句话的意思是，相等运算符用于比较两个值，返回 true 或 false 。

下面是算法细节。

  1. ReturnIfAbrupt(x).
  2. ReturnIfAbrupt(y).
  3. If Type(x) is the same as Type(y) , then
    Return the result of performing Strict Equality Comparison x === y .
  4. If x is null and y is undefined , return true .
  5. If x is undefined and y is null , return true .
  6. If Type(x) is Number and Type(y) is String,
    return the result of the comparison x == ToNumber(y) .
  7. If Type(x) is String and Type(y) is Number,
    return the result of the comparison ToNumber(x) == y .
  8. If Type(x) is Boolean, return the result of the comparison ToNumber(x) == y .
  9. If Type(y) is Boolean, return the result of the comparison x == ToNumber(y) .
  10. If Type(x) is either String, Number, or Symbol and Type(y) is Object, then
    return the result of the comparison x == ToPrimitive(y) .
  11. If Type(x) is Object and Type(y) is either String, Number, or Symbol, then
    return the result of the comparison ToPrimitive(x) == y .
  12. Return false .

上面这段算法，一共有12步，翻译如下。

  1. 如果 x 不是正常值（比如抛出一个错误），中断执行。
  2. 如果 y 不是正常值，中断执行。
  3. 如果 Type(x) 与 Type(y) 相同，执行严格相等运算 x === y 。
  4. 如果 x 是 null ， y 是 undefined ，返回 true 。
  5. 如果 x 是 undefined ， y 是 null ，返回 true 。
  6. 如果 Type(x) 是数值， Type(y) 是字符串，返回 x == ToNumber(y) 的结果。
  7. 如果 Type(x) 是字符串， Type(y) 是数值，返回 ToNumber(x) == y 的结果。
  8. 如果 Type(x) 是布尔值，返回 ToNumber(x) == y 的结果。
  9. 如果 Type(y) 是布尔值，返回 x == ToNumber(y) 的结果。
  10. 如果 Type(x) 是字符串或数值或 Symbol 值， Type(y) 是对象，返回 x == ToPrimitive(y) 的结果。
  11. 如果 Type(x) 是对象， Type(y) 是字符串或数值或 Symbol 值，返回 ToPrimitive(x) == y 的结果。
  12. 返回 false 。

由于 0 的类型是数值， null 的类型是Null（这是规格 4.3.13小节 的规定，是内部Type运算的结果，跟 typeof 运算符无关）。因此上面的前11步都得不到结果，要到第12步才能得到 false 。 

 0 == null // false

三、数组的空位

下面再看另一个例子。

 const a1 = [undefined, undefined, undefined]; const a2 = [, , ,];  a1.length // 3 a2.length // 3  a1[0] // undefined a2[0] // undefined  a1[0] === a2[0] // true

上面代码中，数组 a1 的成员是三个 undefined ，数组 a2 的成员是三个空位。这两个数组很相似，长度都是3，每个位置的成员读取出来都是 undefined 。

但是，它们实际上存在重大差异。

 0 in a1 // true 0 in a2 // false  a1.hasOwnProperty(0) // true a2.hasOwnProperty(0) // false  Object.keys(a1) // ["0", "1", "2"] Object.keys(a2) // []  a1.map(n => 1) // [1, 1, 1] a2.map(n => 1) // [, , ,]

上面代码一共列出了四种运算，数组 a1 和 a2 的结果都不一样。前三种运算（ in 运算符、数组的 hasOwnProperty 方法、 Object.keys 方法）都说明，数组 a2 取不到属性名。最后一种运算（数组的 map 方法）说明，数组 a2 没有发生遍历。

为什么 a1 与 a2 成员的行为不一致？数组的成员是 undefined 或空位，到底有什么不同？

规格的 12.2.5小节《数组的初始化》 给出了答案。

"Array elements may be elided at the beginning, middle or end of the element list. Whenever a comma in the element list is not preceded by an AssignmentExpression (i.e., a comma at the beginning or after another comma), the missing array element contributes to the length of the Array and increases the index of subsequent elements. Elided array elements are not defined. If an element is elided at the end of an array, that element does not contribute to the length of the Array."

翻译如下。

"数组成员可以省略。只要逗号前面没有任何表达式，数组的 length 属性就会加1，并且相应增加其后成员的位置索引。被省略的成员不会被定义。如果被省略的成员是数组最后一个成员，则不会导致数组 length 属性增加。"

上面的规格说得很清楚，数组的空位会反映在 length 属性，也就是说空位有自己的位置，但是这个位置的值是未定义，即这个值是不存在的。如果一定要读取，结果就是 undefined （因为 undefined 在JavaScript语言中表示不存在）。

这就解释了为什么 in 运算符、数组的 hasOwnProperty 方法、 Object.keys 方法，都取不到空位的属性名。因为这个属性名根本就不存在，规格里面没说要为空位分配属性名(位置索引），只说要为下一个元素的位置索引加1。

至于为什么数组的 map 方法会跳过空位，请看下一节。

四、数组的map方法

规格的 22.1.3.15小节 定义了数组的 map 方法。该小节先是总体描述 map 方法的行为，里面没有提到数组空位。

后面的算法描述是这样的。

  1. Let O be ToObject(this value) .
  2. ReturnIfAbrupt(O) .
  3. Let len be ToLength(Get(O, "length")) .
  4. ReturnIfAbrupt(len) .
  5. If IsCallable(callbackfn) is false , throw a TypeError exception.
  6. If thisArg was supplied, let T be thisArg ; else let T be undefined .
  7. Let A be ArraySpeciesCreate(O, len) .
  8. ReturnIfAbrupt(A) .
  9. Let k be 0.
  10. Repeat, while k < len
    a. Let Pk be ToString(k) .
    b. Let kPresent be HasProperty(O, Pk) .
    c. ReturnIfAbrupt(kPresent) .
    d. If kPresent is true , then
    d-1. Let kValue be Get(O, Pk) .
    d-2. ReturnIfAbrupt(kValue) .
    d-3. Let mappedValue be Call(callbackfn, T, «kValue, k, O») .
    d-4. ReturnIfAbrupt(mappedValue) .
    d-5. Let status be CreateDataPropertyOrThrow (A, Pk, mappedValue) .
    d-6. ReturnIfAbrupt(status) .
    e. Increase k by 1.
  11. Return A .

翻译如下。

  1. 得到当前数组的 this 对象
  2. 如果报错就返回
  3. 求出当前数组的 length 属性
  4. 如果报错就返回
  5. 如果map方法的参数 callbackfn 不可执行，就报错
  6. 如果map方法的参数之中，指定了 this ，就让 T 等于该参数，否则 T 为 undefined
  7. 生成一个新的数组 A ，跟当前数组的 length 属性保持一致
  8. 如果报错就返回
  9. 设定 k 等于0
  10. 只要 k 小于当前数组的 length 属性，就重复下面步骤
    a. 设定 Pk 等于 ToString(k) ，即将 K 转为字符串
    b. 设定 kPresent 等于 HasProperty(O, Pk) ，即求当前数组有没有指定属性
    c. 如果报错就返回
    d. 如果 kPresent 等于 true ，则进行下面步骤
    d-1. 设定 kValue 等于 Get(O, Pk) ，取出当前数组的指定属性
    d-2. 如果报错就返回
    d-3. 设定 mappedValue 等于 Call(callbackfn, T, «kValue, k, O») ，即执行回调函数
    d-4. 如果报错就返回
    d-5. 设定 status 等于 CreateDataPropertyOrThrow (A, Pk, mappedValue) ，即将回调函数的值放入 A 数组的指定位置
    d-6. 如果报错就返回
    e. k 增加1
  11. 返回 A

仔细查看上面的算法，可以发现，当处理一个全是空位的数组时，前面步骤都没有问题。进入第10步的b时， kpresent 会报错，因为空位对应的属性名，对于数组来说是不存在的，因此就会返回，不会进行后面的步骤。 

 const arr = [, , ,]; arr.map(n => {   console.log(n);   return 1; }) // [, , ,]

上面代码中， arr 是一个全是空位的数组， map 方法遍历成员时，发现是空位，就直接跳过，不会进入回调函数。因此，回调函数里面的 console.log 语句根本不会执行，整个 map 方法返回一个全是空位的新数组。

V8引擎对 map 方法的 实现 如下，可以看到跟规格的算法描述完全一致。

读懂 ECMAScript 规格

[说明]：本文是我的新书《ECMAScript 6 入门》（第二版）的最后一章。

（完）

正文到此结束
所属分类： 编程技术

热门推荐

相关文章

阿里云首购8折
说给你听

本文目录
随机标签
书籍教程
springboot-demo Java入门教程 bootstrap3 CSS Apache基础教程 php ionic 教程 Python mysql教程 eclipse Ubuntu VPS系统配置 AngularJS 教程 MongoDB教程 Struts2教程 Redis教程 Spring教程 Git教程 Java设计模式 Jenkins进阶系列 openfire参考指南 HBase教程 Maven教程 hibernate教程 Docker 教程 memcached教程 Quartz指南 Hive教程 ANTLR教程 Ant教程 java实例教程 SpringCloud Elastic-Job-Lite XStream教程 深入浅出MyBatis Hazelcast教程 ibaties教程 SVN教程 rabittmq教程 Hadoop教程 solr教程 WebService CXF学习 springcloud-demo JPA教程 ActiveMQ中文指南 Java内存模型 java-demo dubbo教程 Linux入门视频教程
近期评论
  1. 1 Spring Cloud Circuit Breaker快速入门Demo
  2. 2 Spring Cloud Bus快速入门Demo
  3. 3 Spring Cloud Config快速入门Demo
  4. 4 Spring Cloud Function快速入门Demo
  5. 5 SSPanel-Uim搭建教程 2023年全新定制版主题-解决老版本命令失效问题
  6. 6 Spring Boot集成Milvus和deeplearning4j实现图搜图功能
  7. 7 Spring Boot集成Aviator实现参数校验
  8. 8 ACME自动申请免费的通配符https域名证书
  9. 9 wordpress 数据库和文件优化
  10. 10 CentOS安装Docker与Docker-Compose
网站信息
  • 文章总数：82,696 篇
  • 文件总数：284,257 个
  • 标签总数：2,380 个
  • 分类总数：84 个
  • 留言数量：2,560 条
  • 在线人数：681 人
  • 运行天数：4,392天
  • 最后更新：2024年11月05日19点
Loading...

其他链接

关于本站

本站定位：个人技术类博客

本站作用：写博客、记日志、闲聊扯淡鼓捣技术。

问题交流

[HBLOG]公众号 HBLOG HBLOG