在 tree-sitter 语法中，运算符优先级/关联性冲突是否可能导致运行时解析失败？

Question

考虑像子集（⊂）这样的中缀运算符。 子集运算符不是关联的，因为它的结果（布尔值）本身不是一个集合，因此不能馈送到子集运算符的一侧或另一侧。 考虑：

S ⊂ T ⊂ M

理想情况下，这将是解析失败，但 tree-sitter 似乎不允许基于运算符冲突的解析失败； 相反，它要求您在解析器生成时通过指定关联性或优先级来明确解决冲突。 有没有办法向树保姆表明这应该是解析冲突？ 不仅适用于同类的非关联运算符，还适用于具有相同优先级但不具有关联性的不同运算符之间，例如：

S ⊂ T ⊆ M

或者是唯一指定明确解析，然后在语义级别处理的解决方案？

Answer 1

您是对的，这应该在语义级别进行处理。 因此 ⊂ 应该在语法中标记为左关联以进行解析，即使它不是。 对于字符串S ⊂ T ⊂ M ，它将被解析为：

(op ⊂
  (op ⊂
    (id S)
    (id T)
  )
  (id M)
)

然后，在语义级别，您可以添加一条规则，检查⊂是否有任何也是⊂的子节点（或任何其他具有相同优先级的运算符），您可以将其显示为关联性/优先级冲突错误。