对JSON语法

Question

需要在我调查从ANTLR项目wiki的JSON ANTLR语法此刻的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规则允许使用反斜杠和双引号。

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

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