c# - 访问者方法中的上下文为子表达式返回 null

Question

所以:(1) 我只是整个创建编译器的初学者。 (2) 我会努力尝试并加入相关内容，加入所有细节会使这个问题变得太长。我会持续关注这个问题，了解你们需要的任何细节。

我正在尝试为一种简单的表达式/类似 SQL 的语言编写一个编译器，它应该看起来/像这样工作:

Step 1: [Account Number] Greater Than [1];
Step Two: [Gender] Equals [M];
Step Last: Step 1 And Step Two;

所以它类似于:Step<Name>: [Field Name] Operator [Constant];常量可以是数字，如果不是，它们将作为字符串处理。 (所以你可以做 [This is a Constant Value])

然后最后一步必须是将一堆其他步骤组合成一棵树的东西。从最后一步开始执行，忽略所有其他步骤。

---

但是，问题是......我只是想让一个简单的硬编码表达式起作用，我一直在其中一个字段名称中得到一个null访问方法.

我要做的就是让这个 ONE STEP 程序运行:

Step 1: [Account Number] Equals [1];

这是语法文件:

人口.g4

grammar Population;

@parser::members
{
    protected const int EOF = Eof;
}
@lexer::members
{
    protected const int EOF = Eof;
    protected const int HIDDEN = Hidden;
} 

/* Parser Rules */

prog: step;

step           : 'Step' .+ ':' field op=('Equals'|'Greater Than') numeric_const ';';

field          : FLD_REF;

numeric_const : 
                '[' INT ']' # NumericConst
                ;

/* Lexer Rules */

INT         : [0-9]+;
FLD_REF     : '[' .+ ']';
WS
    :   (' ' | '\r' | '\n') -> channel(HIDDEN)
    ;

PopulationVisitor.cs

public class PopulationVisitor : PopulationBaseVisitor<ICompilableExpression>
{
    public override ICompilableExpression VisitStep(PopulationParser.StepContext sCTX)
    {
        //**THIS IS THE PROBLEM**** ctx is always null
        PopulationParser.FieldContext ctx = sCTX.field();
        return base.VisitStep(sCTX);
    }
    public override ICompilableExpression 
                  VisitNumericConst(PopulationParser.NumericConstContext context)
    {
        int val = int.Parse(context.GetText();
        //I then use val to build an ICompilableExpression
    }
    public override ICompilableExpression 
                  VisitField(PopulationParser.FieldContext context)
    {
       //this ends up never being called.
    }
}

为什么 ctx 为空？但是不知何故，如果我将语法更改为:

step : 'Step' .+ ':' FLD_REF op=('Equals'|'Greater Than') numeric_const ';';

现在:

public override ICompilableExpression VisitStep(PopulationParser.StepContext context)
{
    var ctx = context.FLD_REF();
    //NOW, this returns an instance of ITerminalNode
    //and ctx is not null
    return base.VisitStep(context);
}

如果我使用词法分析器标记而不是使用相同 lex 标记的语法规则，为什么事情会起作用!？

我敢打赌，在我对所有这些内容的理解中，有一些基本的东西是有缺陷的。我将真诚地感谢线索和/或帮助。

Answer 1

.+ 是贪心的，即 '[' .+ ']' 获取第一个 '[' 和最后一个 ']'(当然还有介于两者之间的所有内容)。

试试 '[' .+? ']' 或 '[' ~[\]]+ ']'