为什么antlr4 c语法解析器规则“typespecifier”没有使用lexer规则“double”？

Question

我正在使用antlr4 c语法作为我自己语法的灵感。我来了一件事，我真的不明白。为什么没有使用数据类型时会有Lexer规则？例如，规则double:'double'；从未使用过，但分析器规则typespecifier:('double'...)；（为了简化已删除其他数据类型）使用了好几个地方。解析器规则typeSpecifier没有使用lexer规则double有什么原因吗？

Answer 1

该页面上的所有语法都是志愿者提交的，不是ANTLR4的一部分。这显然是一个错误，但与lexer规则相匹配的方式不会对lexing产生任何影响。您可以选择实现显式规则：

Double : 'double';

或者是隐含的：

typeSpecifier
    :   ('void'
    |   'char'
    |   'short'
    |   'int'
    |   'long'
    |   'float'
    |   'double'

无论哪种方式都没有不良影响，即使你混合了方法。事实上，如果您对整个语法进行更全面的观察，作者对许多其他lexer规则也做了同样的事情，例如register。在实际操作中没有区别。

底线？选择你喜欢的任何一种方法，并始终如一地应用它。我的个人偏好是简洁，所以我喜欢隐含的标记，只要它们只在语法中的一个地方使用。当一个令牌可能在两个地方使用时，我更喜欢用它来创建一个显式的令牌，并更新使用它的两个或多个位置。