ANTLR4中的解析器规则混淆

Question

我对是否允许以下情况感到困惑：

declaration :

operand ASSIGNMENTOPERATOR variable var_type CONST?
|operations ASSIGNMENTOPERATOR variable var_type CONST?
|funcall ASSIGNMENTOPERATOR variable var_type CONST?
|(funcall|operand|NOINDEXARRAY) ASSIGNMENTOPERATOR variable var_type ARRAY CONST? ;

forloop :
block
(LPARENS ((number_operation ASSIGNMENTOPERATOR variable)|number_functions)
    SEMICOLON bool_operation
    SEMICOLON declaration
    RPARENS
)
'for'
;

UPDATE：我知道当我在for循环中提供正确的声明类型时，它就会工作。问题是如果我不这样做会发生什么？

Answer 1

您所考虑的似乎是一个语义阶段，这在解析器设置中非常典型。解析输入只是工作的一小部分。通常，在此之后要进行一个步骤来验证解析树（例如，查找重复的变量名或未知的符号，并检查其他条件）。这通常被称为语义阶段（解析是句法阶段）。

您可以使用这个语义阶段进行所有类型的错误检查，包括声明检查（无论您想在那里检查什么，您的问题并不清楚）。