第2083期理解ECMAScript规范

Posted 前端早读课

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了第2083期理解ECMAScript规范相关的知识,希望对你有一定的参考价值。

前言

终结篇。今日早读文章由@李松峰翻译授权分享。

正文从这开始~~

环球同此凉热

Mozilla的Jason Orendorff写了一篇深入分析JS诡异语法的文章。虽然实现细节上有差异,但每个JS引擎在这些诡异的细节上都会面对同样的问题。

包含文法

这篇文章将深入探讨包含文法(cover grammar)。包含文法是为那些乍一看模棱两可的语法构造规定文法的一种方式。

为简单起见,我们跳过下标[In, Yield, Await],因为对本文不重要。可以参考第三篇文章,了解它们的含义和用法。

有限前查

通常,解析器在有限前查(finite lookhead,跟进固定个数的标记)基础上决定使用哪个产生式。

有时候,下一个标记可以毫无歧义地决定要使用的产生式。例如:

 
   
   
 
  1. UpdateExpression :

  2. LeftHandSideExpression

  3. LeftHandSideExpression ++

  4. LeftHandSideExpression --

  5. ++ UnaryExpression

  6. -- UnaryExpression

如果我们正在解析UpdateExpression且下一个标记是++或--,那我们马上就知道要使用哪个产生式。如果下一个标记不是它们两个,那也问题不大,可以从所在位置开始解析LeftHandSideExpression,解析完之后再决定下一步干什么。

如果LeftHandSideExpression后面的标记是++,则要使用的产生式是UpdateExpression : LeftHandSideExpression ++。后面是--的情形类似。如果LeftHandSideExpression后面的标记既不是++也不是--,则使用产生式UpdateExpression : LeftHandSideExpression。

箭头函数参数列表,还是带括号的表达式?

区分箭头函数参数列表与带括号的表达式更复杂一些。如:

 
   
   
 
  1. let x = (a,

这是一个箭头函数的开头吗,如:

 
   
   
 
  1. let x = (a, b) => { return a + b };

还是一个带括号的表达式,如:

 
   
   
 
  1. let x = (a, 3);

括号中的内容,不管是什么,但可能是任意长度。因此不能根据有限标记确定它是什么。

想象一下,假设我们有下列直观的产生式:

 
   
   
 
  1. AssignmentExpression :

  2. ...

  3. ArrowFunction

  4. ParenthesizedExpression


  5. ArrowFunction :

  6. ArrowParameterList => ConciseBody

那就可以使用有限前查来选择产生式。如果解析到AssignmentExpression之后,下一个标记是(,那怎么确定接下来解析什么?可以解析ArrowParameterList,也可以解析ParenthesizedExpression,但肯定有可能猜错。

非常宽纵的新符号:CPEAAPL

规范通过增加一个符号来解决这个问题:CoverParenthesizedExpressionAndArrowParameterList,简写成CPEAAL。CPEAAL表示既可能是ParenthesizedExpression也可能是ArrowParameterList,但现在不知道选哪个。

CPEAAL的产生式非常宽纵,允许任何可以出现在ParenthesizedExpression和ArrowParameterList中的构造:

 
   
   
 
  1. CPEAAPL :

  2. ( Expression )

  3. ( Expression , )

  4. ( )

  5. ( ... BindingIdentifier )

  6. ( ... BindingPattern )

  7. ( Expression , ... BindingIdentifier )

  8. ( ArrowFunction , ... BindingPattern )

比如,下列表达式都是有效的CPEAAPL:

 
   
   
 
  1. // 有效的ParenthesizedExpression和ArrowParameterList:

  2. (a, b)

  3. (a, b = 1)


  4. // 有效的ParenthesizedExpression:

  5. (1, 2, 3)

  6. (function foo() { })


  7. // 有效的ArrowParameterList:

  8. ()

  9. (a, b,)

  10. (a, ...b)

  11. (a = 1, ...b)


  12. // 两个都无效,但仍然是CPEAAPL:

  13. (1, ...b)

  14. (1, )

末尾的逗号和...只可能出现在ArrowParameterList中。有的构造(如b = 1)两种情况下都有可能出现,但是含义不同:出现在ParenthesizedExpression中是赋值,出现在ArrowParameterList中是带默认值的参数。数值及其他不是有效参数名的PrimaryExpression(或参数解构模式)只可能出现在ParenthesizedExpression中。但它们都可能出现在CPEAAPL中。

在产生式中使用CPEAAPL

现在我们可以在AssignmentExpression产生式中使用这个非常宽纵的CPEAAPL。(注意:ConditionalExpression通过一个长长的产生式链通往PrimaryExpression,这里没有展示中间经过的产生式。)

 
   
   
 
  1. AssignmentExpression :

  2. ConditionalExpression

  3. ArrowFunction

  4. ...


  5. ArrowFunction :

  6. ArrowParameters => ConciseBody


  7. ArrowParameters :

  8. BindingIdentifier

  9. CPEAAPL


  10. PrimaryExpression :

  11. ...

  12. CPEAAPL

想象一下,我们再次碰到之前的情形:解析到AssignmentExpression之后,下一个标记是(。这一次我们可以解析CPEAAPL,到后面再看要使用哪个产生式。此时是解析ArrowFunction还是解析ConditionalExpression并不重要,无论解析哪一个,下一个要解析的符号都是CPEAAPL!

解析完CPEAAPL之后,就可以决定最开始的(包含这个CPEAAPL的)AssignmentExpression使用哪个产生式了。这是由CPEAAPL后面跟着的标记决定的。

如果这个标记是=>,则使用下面的产生式:

 
   
   
 
  1. AssignmentExpression :

  2. ArrowFunction

如果这个标记是其他什么,则使用这个产生式:

 
   
   
 
  1. AssignmentExpression :

  2. ConditionalExpression

例如:

 
   
   
 
  1. let x = (a, b) => { return a + b; };

  2. // ^^^^^^

  3. // CPEAAPL

  4. // ^^

  5. // 跟在CPEAAPL后面的标记


  6. let x = (a, 3);

  7. // ^^^^^^

  8. // CPEAAPL

  9. // ^

  10. // 跟在CPEAAPL后面的标记

此时可以保持CPEAAPL不变,继续解析程序其余部分。比如,如果这个CPEAAPL在ArrowFunction中,那现在还不需要看它是不是有效的箭头函数参数列表,可以在后面再检查。(实际的解析器可以选择此时立即做有效性检查,但从规范角度看这不是必需的。)

限制CPEAAPL

如前所示,CPEAAPL的产生式非常宽纵,允许根本不合法的构造(如(1, ...a))。在按照文法解析完程序后,需要驳回其中不合法的构造。

规范为此增加了如下限制:

静态语义:前期错误

PrimaryExpression : CPEAAPL

  • 如果CPEAAPL未包含ParenthesizedExpression就是一个语法错误。

补充语法

在处理以下产生式的实例时

PrimaryExpression : CPEAAPL

对CPEAAPL的解释使用以下文法改进(refine):

ParenthesizedExpression : ( Expression )

这意味着:如果CPEAAPL在语法树中出现在PrimaryExpression中,那它实际上是ParenthesizedExpression,而这是它唯一有效的产生式。

Expression永远不能为空,因此( )不是有效的ParenthesizedExpression。逗号分隔的列表,如(1, 2, 3)是通过逗号操作符创建的:

 
   
   
 
  1. Expression :

  2. AssignmentExpression

  3. Expression , AssignmentExpression

类似地,如果CPEAAPL出现在ArrowParameters中,则适用如下限制:

静态语义:前期错误

ArrowParameters : CPEAAPL

如果CPEAAPL未包含ArrowFormalParameters就是一个语法错误。

补充语法

在处理以下产生式的实例时

ArrowParameters : CPEAAPL

对CPEAAPL的解释使用以下文法改进(refine):

ArrowFormalParameters : ( UniqueFormalParameters )

其他包含文法

除了CPEAAPL,规范还对其他看起来不明确的构造使用了包含文法。

出现在箭头函数参数列表中的ObjectAssignmentPattern把ObjectLiteral用作包含文法。这意味着ObjectLiteral允许在实际的对象字面量中不能出现的构造。

 
   
   
 
  1. ObjectLiteral :

  2. ...

  3. { PropertyDefinitionList }


  4. PropertyDefinition :

  5. ...

  6. CoverInitializedName


  7. CoverInitializedName :

  8. IdentifierReference Initializer


  9. Initializer :

  10. = AssignmentExpression

比如:

 
   
   
 
  1. let o = { a = 1 }; // 语法错误


  2. // 箭头函数使用了带默认值的解构参数:

  3. let f = ({ a = 1 }) => { return a; };

  4. f({}); // 返回1

  5. f({a : 6}); // 返回6

异步箭头函数在使用有限前查时同样有歧义:

 
   
   
 
  1. let x = async(a,

是调用async函数呢,还是一个异步箭头函数?

 
   
   
 
  1. let x1 = async(a, b);

  2. let x2 = async();

  3. function async() { }


  4. let x3 = async(a, b) => {};

  5. let x4 = async();

为此,文法定义了一个包含文法符号CoverCallExpressionAndAsyncArrowHead,其原理与CPEAAPL类似。

小结

本文介绍了规范怎么定义包含文法,并且在基于有限前查无法识别当前语法构造时使用它们。

特别地,我们探讨了区分箭头函数参数与带括号的表达式,以及规范在碰到看不懂的构造时怎么宽纵地使用包含文法,并且又在后面用静态语义来限制它们。

关于本文 译者:@李松峰 译文:https://www.lisongfeng.cn/2020/09/16/understanding-ecmascript-part-4.html 原文:https://v8.dev/blog/understanding-ecmascript-part-4

为你推荐





欢迎自荐投稿,前端早读课等你来

以上是关于第2083期理解ECMAScript规范的主要内容,如果未能解决你的问题,请参考以下文章

第2081期理解ECMAScript规范

第2079期理解ECMAScript规范

第800期 ECMAScript 2016 中你不知道的改变

第1006期ECMAScript 6 新特性

数字信号调制基于matlab GUI AM调制系统含Matlab源码 2083期

数字信号调制基于matlab GUI AM调制系统含Matlab源码 2083期