无法在非组合语法中为字符串文字创建隐式标记：

Question

这是我的XML解析器语法：

attribute   :   Name '=' STRING ;

和lexer：

STRING      :   '"' ~[<"]* '"'
            |   '\'' ~[<']* '\''
            ;

但是，当我使用以下命令检索C#代码中的STRING位时，这是有效的：

context.STRING().ToString();

我把文本用引号括起来，比如：“hello”，而不是hello。因此，我尝试将解析器语法更改为：

attribute   :   Name '=' '"' STRING ;

或

attribute   :   Name '="' STRING ;

我得到了错误：“无法在非组合语法中为字符串文字创建隐式标记”

我很困惑，为什么解析器语法中允许“=”而不是引号，以及如何更改解析器以检索没有引号的文本。而且，lexer似乎已经处理掉了引号，所以我不明白为什么在解析时仍然使用引号。

Answer 1

如果您有单独的lexer和parser语法，当且仅当您在lexer中使用该字符串文字定义lexer规则时，您才允许在解析器中使用字符串文字。否则，lexer永远不会生成与该文字匹配的标记，因为lexer不知道哪些字符串文字出现或不出现在解析器中（组合语法不是这种情况，这就是错误消息显示“非组合语法”的原因）。

因此，您可以使用'='，但不能使用'"'，因为您有规则EQUALS: '=';，但没有规则DQUOTE: '"';。但是在您继续添加这样的规则之前，让我们考虑一下它会做什么以及您是否想要这样（您不需要）：

如果您添加了这样的规则（或使用了一种组合语法，您可以在不使用它的情况下使用它），则属性规则现在将匹配名称标记，后跟一个标记，后跟一个标记，后跟一个标记，后跟一个字符串标记。由于字符串标记的开头和结尾已经包含引号，因此看起来像这样：

SomeName   =    "   "hello"
 Name     '='  '"'  STRING

所以这不是你想要的。另外，即使这是你想要的，它也不会起作用：上面输入中的第一个引号不会被识别为'"'标记-而是"将被识别为字符串标记，然后hello作为Name，最后"作为'"标记（因为没有进一步的引用可以使其匹配STRING规则。

所以这是错误的方向，你不应该这样做。

如果您想要的是获取不带引号的字符串内容，解决方案不是在语法中添加更多引号。您应该在C#代码中使用Substring来删除字符串中的第一个和最后一个字符。