如何使用ANTLR 4转义转义角色？

Question

许多语言使用某种引号绑定字符串，如下所示：

“Rob Malda很聪明。”

ANTLR 4可以将这样的字符串与如下lexer规则匹配：

QuotedString: '"' . *? '"';

要在字符串中使用某些字符，必须对其进行转义，可能如下所示：

“罗伯”塔科指挥官“马尔达很聪明。”

ANTLR 4也可以匹配此字符串；

转义字符串：'"'（'\\"|.）*？'"'；

（摘自最终ANTLR 4参考文献第96页）

我的问题是：假设用于转义的字符与字符串分隔符相同。例如：

“Rob”“Commander Taco”“Malda很聪明。”

（这在Powershell中完全合法。）

什么lexer规则会匹配这个？我认为这会起作用：

转义字符串：“”（“”）*？“”

但事实并非如此。lexer将转义字符标记为字符串分隔符的结尾。




Answer 1

（不要投票支持这个答案；投票支持@Bart Kiers的答案。）

我提供这个是为了完整性，因为它是Powershell语法的一小部分。将权威ANTLR 4参考中p76的转义逻辑与Bart的答案相结合，以下是在Powershell中词典转义字符串所需的规则：

EscapedString
    : '"'      (Escape | '""'   | ~["])* '"'
    | '\''     (Escape | '\'\'' | ~['])* '\''
    | '\u201C' (Escape | .)*? ('\u201D' | '\u2033')   // smart quotes
    ;

fragment Escape
    : '\u0060\''    // backtick single-quote
    | '\u0060"'     // backtick double-quote
    ;

这些规则处理以下四种在Powershell中转义字符串的方法：

'Rob ''Commander Taco'' Malda is smart.'
"Rob ""Commander Taco"" Malda is smart."
'Rob `'Commander Taco`' Malda is smart.'
"Rob `"Commander Taco`" Malda is smart."

Answer 2

使用运算符对某些字符求反：

EscapedString : '"' ( '""' | ~["] )* '"';

或者，如果字符串中没有换行符，请执行以下操作：

EscapedString : '"' ( '""' | ~["\r\n] )* '"';

您不想使用非贪婪运算符，否则"永远不会被消费，"a""b"将被标记为"a"和"b"而不是单个标记。