go - 需要一个示例，了解赋值运算符的Go语法如何使用通过EBNF指定的语法规则

Question

As mentioned in the docs，使用扩展Backus-Naur格式(EBNF)指定Go中的语法:

Production  = production_name "=" [ Expression ] "." .
Expression  = Alternative { "|" Alternative } .
Alternative = Term { Term } .
Term        = production_name | token [ "…" token ] | Group | Option | Repetition .
Group       = "(" Expression ")" .
Option      = "[" Expression "]" .
Repetition  = "{" Expression "}" .

我试图了解如何定义Go语法，如何使用这些语法规则分解/推导/理解 i++和 i+=1表达式。为了说明的目的，这些生产规则将如何逐步替换？

Answer 1

表达式i++使用IncDec statements的语法规则:

IncDecStmt = Expression ( "++" | "--" ) .

在这里， production_name将为 IncDecStmt， Term将为 "++"或 "--"。