JSON语法所需的ANTLR语法解释

Question

目前我正在研究来自 ANTLR 项目 wiki 的 JSON ANTLR 语法：http://www.antlr.org/wiki/display/ANTLR3/JSON+Interpreter

String  :
    '"' ( EscapeSequence | ~('\u0000'..'\u001f' | '\\' | '\"' ) )* '"'
    ;

fragment EscapeSequence
        :   '\\' (UnicodeEscape |'b'|'t'|'n'|'f'|'r'|'\"'|'\''|'\\')
        ;

我不明白为什么他们在String 规则中否定\\ 和\"？无论如何，它将与EscapeSequence 匹配。

如果我们把它改成~('\u0000'..'\u001f')，那么它的意思应该是一样的。

我错过了什么？

Answer 1

这用于禁止单个未转义的反斜杠和单个未转义的双引号。请注意，它们显示为'\\' 和'\"'，因为至少前者在语法文字中也是不允许的。

相比之下，EscapeSequence 规则允许转义反斜杠和双引号。

省略单个非转义双引号的排除会将字符串标记化扩展到可以找到的最后一个引号，但它应该在第一个非转义引号处终止。

省略单个未转义反斜杠的排除将允许以反斜杠开头的序列，这是不支持的 EscapeSequences。