考虑像子集(⊂)这样的中缀运算符。子集运算符不是关联的,因为它的结果(布尔值)本身不是一个集合,因此不能馈送到子集运算符的一侧或另一侧。考虑:
S ⊂ T ⊂ M
理想情况下,这将是解析失败,但 tree-sitter 似乎不允许基于运算符冲突的解析失败;相反,它要求您在解析器生成时通过指定关联性或优先级来明确解决冲突。有没有办法向树保姆表明这应该是解析冲突?不仅适用于同类的非关联运算符,还适用于具有相同优先级但不具有关联性的不同运算符之间,例如:
S ⊂ T ⊆ M
或者是唯一指定明确解析,然后在语义级别处理的解决方案?