PEG语法解析，表达式以负数开头时出错

Question

我定义了以下 PEG 语法：

Program = _{ SOI ~ Expr ~ EOF }

Expr = { UnaryExpr | BinaryExpr }

Term = _{Int | "(" ~ Expr ~ ")" }

UnaryExpr = { Operator ~ Term }

BinaryExpr = { Term ~ (Operator ~ Term)* }

Operator = { "+" | "-" | "*" | "^" }

Int = @{ Operator? ~ ASCII_DIGIT+ }

WHITESPACE = _{ " " | "\t" }

EOF = _{ EOI | ";" }

并且以下表达式均已正确解析：

1 + 2   
1 - 2    
1 + -2   
1 - -2   
1        
+1       
-1

但任何以负数开头的表达式错误

-1 + 2

错误

  --> 1:4
  |
1 | -1 + 2
  |    ^---
  |
  = expected EOI

我所期望的（我想要的）是针对 -1 + 2 与 1 + -2 的处理方式相同，即由两个一元表达式组成的二元表达式。

我尝试过很多变体但没有成功。而且，如果需要的话，我愿意使用完全不同的范例，但我真的很想保留 UnaryExpression 的想法，因为我已经围绕它构建了我的解析器。

我是 PEG 新手，所以我将不胜感激。

就其价值而言，我使用 Rust v1.59 和 https://pest.rs/ 来解析并测试我的表达。

Answer 1

Expr 逻辑中有一个小错误。如果两者匹配，则 | 之前的第一部分优先。
并且 -1 是有效的 UnaryExpr，因此在这种情况下，整个程序预计与 SOI ~ UnaryExpr ~ EOF 匹配。但还有其他数据 (+ 2) 会导致此错误。

如果您反转 Expr 的可能性，则 Expr = { BinaryExpr | UnaryExpr } 该示例有效。原因是，只有在 UnaryExpr 失败时才会检查第一个 BinaryExpr。