Sprache 中的文本查询解析

Question

我正在尝试编写一些代码来匹配基于模式的字符串：

模式：“狗和（猫或山羊）”

测试字符串：“doggoat” 结果：true

测试字符串：“dogfrog” 结果：假

我正在尝试使用 Sprache 编写解析器，其中大部分逻辑由 Corey对类似问题的出色回答提供。我快到了，但是运行代码时出现异常：

System.Func'没有为类型2[System.String,System.Boolean]' 和 ''System.Func`2[System.String,System.Boolean]'定义二元运算符 AndAlso 。

我知道这意味着我需要将表达式树节点处的 lambda 表达式与逻辑运算符结合起来，我根据此处另一个问题的答案尝试使用 ExpressionVisitor 。但是，程序在执行 ExpressionVisitor 之前崩溃 - 似乎首先执行 Parse 命令，但我不太明白为什么（可能是因为 Sprache.Parse.Select 语句不强制执行 lambda？） ，或者如何强制它先被执行。
示例代码如下（为了简洁起见，我删除了所有运算符，但“和”除外，从Corey 的模板中重新引入它们是微不足道的。必须从 NuGet 添加 Sprache 才能编译代码。

class Program

{

    static void Main(string[] args)

    {

        var patternString = "dog and cat";

        var strTest = "dog cat";

        var strTest2 = "dog frog";

        var conditionTest = ConditionParser.ParseCondition(patternString);

        var fnTest = conditionTest.Compile();

        bool res1 = fnTest(strTest); //true

        bool res2 = fnTest(strTest2); //false

    }

}

public static class ConditionParser

{

    static ParameterExpression Param = Expression.Parameter(typeof(string), "_");

    public static Expression<Func<string, bool>> ParseCondition(string text)

    {

        return Lambda.Parse(text);

    }

    private static Parser<Expression<Func<string, bool>>> Lambda

    {

        get

        {

            var reduced = AndTerm.End().Select(delegate (Expression body)

            {

                var replacer = new ParameterReplacer(Param);

                return Expression.Lambda<Func<string, bool>>((BinaryExpression)replacer.Visit(body), Param);

            });

            return reduced;

        }

    }

    static Parser<Expression> AndTerm =>

        Parse.ChainOperator(OpAnd, StringMatch, Expression.MakeBinary);

    // Other operators (or, not etc.) can be chained here, between AndTerm and StringMatch

    static Parser<ExpressionType> OpAnd = MakeOperator("and", ExpressionType.AndAlso);

    private static Parser<Expression> StringMatch =>

        Parse.Letter.AtLeastOnce()

        .Text().Token()

        .Select(value => StringContains(value));

Answer 1

您的代码存在几个问题，但导致异常的主要问题是StringContains返回 lambda 表达式的方法。并且Expression.AndAlso（以及大多数Expression方法）基于简单的非 lambda 表达式（或 lambda 表达式主体）。解析代码的整个想法是识别和组合简单的表达式，并从结果表达式中生成单个 lambda 表达式。要解决原始问题，该StringContains方法应直接返回MethodCall表达式而不是 lambda 表达式。同一StringContains方法中的第二个问题是将参数反转为string.Contains.&nbsp;它基本上是这样做token.Contains(parameter)的，而根据预期结果它应该做相反的事情。整个方法（使用另一个方便的Expression.Call重载）可以简化为static&nbsp;Expression&nbsp;StringContains(string&nbsp;subString)&nbsp;=> &nbsp;&nbsp;&nbsp;&nbsp;Expression.Call(Param,&nbsp;"Contains",&nbsp;Type.EmptyTypes,&nbsp;Expression.Constant(subString));现在一切都应该按预期工作。但是，由于ConditionParser该类使用单个ParameterExpression实例，然后用于构建 lambda 表达式，因此不需要ParameterReplacer，因此Lambda方法（属性）可以简化为private&nbsp;static&nbsp;Parser<Expression<Func<string,&nbsp;bool>>>&nbsp;Lambda&nbsp;=> &nbsp;&nbsp;&nbsp;&nbsp;AndTerm.End().Select(body&nbsp;=>&nbsp;Expression.Lambda<Func<string,&nbsp;bool>>(body,&nbsp;Param));