为ANTLR子规则添加标签后，如何获取ifStatement上下文名称

环境信息 #

• ANTLR版本：4.11.1
• 使用语法：cpp/CPP14Parser.g4（来自antlr/grammars-v4库）
• 目标语言：C++

修改的规则 #

原selectionStatement规则：

If LeftParen condition RightParen statement (Else statement)?
| Switch LeftParen condition RightParen statement;

修改后：

If LeftParen condition RightParen statement (Else statement)?   # ifStatement
| Switch LeftParen condition RightParen statement   # switchStatement
;

仅为两个分支添加了标签。

遇到的问题 #

在ParserListener中，通过enterEveryRule和exitEveryRule记录上下文名称时，使用代码：

parser.getRuleNames()[context->getRuleIndex()]

但在exitIfStatement函数中，只能得到"selectionStatement"，无法获取分支标签名"ifStatement"。

解决方法 #

原因说明 #

你添加的# ifStatement和# switchStatement是备选分支标签，它们不属于独立的语法规则，而是selectionStatement规则的子分支。getRuleIndex()返回的始终是父规则selectionStatement的索引，所以无法直接通过该方法获取分支标签名。

具体实现方式 #

1. 直接利用Listener生成的对应方法
   ANTLR会为每个带标签的分支生成独立的Listener方法（比如enterIfStatement、exitIfStatement对应# ifStatement分支），在这些方法内部，你可以直接确定当前处理的就是对应的分支标签，无需额外获取，直接使用"ifStatement"即可。

2. 在全局监听方法中区分分支
   如果要在enterEveryRule或exitEveryRule中区分不同分支，可以通过动态类型转换判断上下文类型：

   void exitEveryRule(antlr4::ParserRuleContext *context) override {
       if (auto ifCtx = dynamic_cast<CPP14Parser::IfStatementContext*>(context)) {
           std::cout << "当前分支：ifStatement" << std::endl;
       } else if (auto switchCtx = dynamic_cast<CPP14Parser::SwitchStatementContext*>(context)) {
           std::cout << "当前分支：switchStatement" << std::endl;
       } else {
           // 处理其他规则
           std::string ruleName = parser.getRuleNames()[context->getRuleIndex()];
           std::cout << "当前规则：" << ruleName << std::endl;
       }
   }
   

3. 通过分支编号映射标签名
   可以通过context->getAltNumber()获取当前分支的编号（比如ifStatement是分支1，switchStatement是分支2），然后手动维护一个编号到标签名的映射表来对应。不过这种方式需要同步语法中的分支顺序，不如前两种方法可靠。

内容的提问来源于stack exchange，提问作者S R Samy