Scala 2.13规范所使用的具体元语法是什么？

你猜的没错，Scala 2.13规范使用的是巴科斯-诺尔范式（BNF）的扩展版本（EBNF），下面拆解核心组成部分，帮你理解它的定义方式：

• 基础规则结构：每个语法规则格式为 非终结符 ::= 表达式，比如 Expr ::= Expr1 {Expr1}，其中::=表示“定义为”，左侧是待定义的语法单元，右侧是它的组成规则。
• 重复与可选：
  • {...}：大括号内的内容可重复0次或多次，比如 {Expr1} 允许连续出现任意数量的Expr1语法单元。
  • [...]：方括号内的内容是可选项，出现0次或1次，比如 [nl] 代表可选的换行符。
• 多分支选择：用竖线 | 分隔多个可选语法分支，比如 Expr1 ::= UnaryExpr | PostfixExpr，表示Expr1可以是UnaryExpr或PostfixExpr中的任意一种。
• 终结符：直接用字面量或粗体标识代码中实际出现的元素，比如 if、=>、{ 这些关键字或符号，就是语法里的终结符。
• 优先级分组：用圆括号 (...) 组合语法单元，明确优先级，比如 (Expr | Pattern) 表示括号内的整体是一个可选分支。
• 特殊语法标记：
  • nl：专门代表换行符，用于处理Scala对换行敏感的语法规则。
  • opt(...)：部分场景会用这个标记表示可选内容，作用和 [...] 一致。

这种EBNF变体是为适配Scala的复杂语法特性设计的，比基础BNF更简洁易读，能清晰描述现代编程语言的嵌套、可选、重复等语法结构。

内容的提问来源于stack exchange，提问作者cgold