C 预处理器的 ANTLR 语法

Question

我在antlr网站上下载了ac预处理器语法。但是它有一个错误，我不知道如何纠正它。

     macroExpansion  
: id=IDENTIFIER WS? LPAREN WS?   RPAREN -> ^(EXPAND $id)
| id=IDENTIFIER WS? LPAREN WS? macArgs  WS? RPAREN -> ^(EXPAND $id macArgs?)

规则宏扩展对于下面的代码会出错：

      typedef VOID (WINAPI *PFIBER_START_ROUTINE)( LPVOID lpFiberParameter );

因为VOID后面的标记将被视为参数，但实际上VOID只是一个宏而不是函数宏。

我怎样才能改变语法？希望有人能帮助我。谢谢！

Answer 1

由于规则必须以 IDENTIFIER 开头，后跟 LPAREN，因此我看不到它与 typedef VOID ( 等输入匹配，因为 >typedef 没有被考虑在内。

仅通过查看 macroExpansion：

macroExpansion  
 : id=IDENTIFIER WS? LPAREN WS?   RPAREN -> ^(EXPAND $id)
 | id=IDENTIFIER WS? LPAREN WS? macArgs  WS? RPAREN -> ^(EXPAND $id macArgs?)
 ;                            //   ^                                   ^
                              //   |                                   |
                              //  not optional                        optional

我会对语法的其余部分有点怀疑：macArgs？ 是可选的在重写规则中，但这不正确：左侧不是可选的。它可以像这样重写：

macroExpansion  
 : id=IDENTIFIER WS? LPAREN WS? (macArgs WS?)? RPAREN -> ^(EXPAND $id macArgs?)
 ;

在这种情况下 macArgs? 是正确的。