当表达式的开头相同时,如何使用 Sprache 解析表达式

How can I use Sprache to parse an expression when the start of the expression is the same

我在使用基于 Sprache 的解析器时遇到了一些问题。我正在尝试解析一个字符串,其中有两种可能要解析的内容。一种选择是常规变量名称,如 x 或更复杂的版本 x[1]。第一个引用一个简单变量,第二个引用由许多变量组成的聚合变量,x[1] 引用聚合中的第一个变量。

这是我目前所拥有的。

    private static readonly Parser<VariableModel> SingletonVariableName =
        from leading in Sprache.Parse.WhiteSpace.Many()
        from variable in Identifier
        from trailing in Sprache.Parse.WhiteSpace.Many()
        select variable;

    private static readonly Parser<VariableModel> Identifier =
        from first in Sprache.Parse.Letter.Once().Text()
        from rest in Sprache.Parse.LetterOrDigit.Many().Text()
        select new VariableModel(string.Concat(first, rest));

   private static readonly Parser<AggregateVariableReference> AggregateVariableReference =
        from variableName in Identifier
        from openingSubscript in Sprache.Parse.Char('[').Once()
        from subscriptStatement in Sprache.Parse.Number.Text()
        from closingSubscript in Sprache.Parse.Char(']').Once()
        select new AggregateVariableReference(variableName.Name,
                                              Convert.ToInt32(subscriptStatement));
private static readonly Parser<Expression> LeftHandSide =
    SingletonVariableName.Select(Models.Expression.CreateIdentifier)
       .Or(AggregateVariableReference.Select(Models.Expression.CreateAggregateReference));

我在某处读到 Or 方法仅在第一个字符决定哪个表达式获胜时才有效。就我而言,情况并非如此。两者都以变量名开头。 XOr 是做什么的?这对这种情况有帮助吗?

我收到以下异常:Sprache.ParseException:解析失败:意外的“[”;预期 = 或 != 或 >= 或 <= 或 > 或 <(第 1 行,第 3 列);最近消费:xx

这样做的方法是对 Or() 组合器的参数进行排序,以便消耗最多输入的那个是 first:

static readonly Parser<Expression> LeftHandSide =
    AggregateVariableReference
        .Select(Models.Expression.CreateAggregateReference)
   .Or(SingletonVariableName
        .Select(Models.Expression.CreateIdentifier));