访问者方法中的上下文为子表达式返回 null答案

【问题标题】：context in visitor method returns null for sub expressions访问者方法中的上下文为子表达式返回 null
【发布时间】：2014-12-05 13:37:12
【问题描述】：

所以： (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]; 常量可以是数字，如果不是，它们将作为字符串处理。（所以你可以做[这是一个常数值]）

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

但是问题是......访问方法。

我只想让这个 ONE STEP 程序正常工作：

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

这是语法文件：

Population.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);
}

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

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

【问题讨论】：

嘿，非常感谢@Bart 的回复，没想到那里有贪婪。我将FLD_REF 更改为'{' .+? '}';，然后也更改了此numeric_const :'<' INT '>'，但当我输入带有{ 或< 的步进行时，它仍然给我context.field() 或context.numeric_const() 的空值跨度>
@BartKiers 您作为评论发表的内容对我有用，并且似乎是我无处不在的问题的根源。通过使数字正则表达式不贪婪，我能够修复并最终完成我的整个语言。 请将您的评论作为答案，以便我接受。
酷，添加它作为答案。

标签： c# compiler-construction antlr bnf

【解决方案1】：

.+ 是贪婪的，即'[' .+ ']' 获取第一个 '[' 和最后一个 ']'（当然还有两者之间的所有内容）。

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

【讨论】：