python - 如何使用 lark ebnf 解析 ~{expr} 内部字符串

Question

我正在尝试为 dsl 编写 lark 语法，但在使用此字符串插值语法时遇到了问题:

" abc " <- normal string
" xyz~{expression}abc " <- string with interpolation

所以 ~{ 从字符串切换到表达式，而 } 终止该表达式。我认为这很接近:

string : "\"" (string_interp|not_string_interp)* "\""
string_interp: "~{" expression "}"
not_string_interp: /([^~][^{])+/

但是正则表达式只会匹配偶数个字符，如果 ~{ 跨越偶数边界，它将被遗漏。

not_string_interp: /(.?|([^~][^{])+)/

这是我所能得到的，但似乎仍然是错误的。我可以使用前瞻吗？我还想保持 %ignore WS 开启，因为它可以大大降低噪音，所以解决方案会很好!

谢谢

测试用例:

""
"a"
"~{1}"
" ~{1} "
"a bc~{1}c d"
"a b~{1}c d"

Answer 1

我认为这是可行的。遗憾的是，任何 ~ 后面没有 { 都会拆分字符串，但我可以稍后重建它们。我被规则的同等优先级和正则表达式的贪婪所愚弄。

/[^"~]+/ 任何不是 ~ 或 "(常规字符串)的东西

"~{"expression "}" 普通表达式

/~(?!{)/ 在没有 { 的情况下处理 ~。使用 ？!因为我们不能使用下一个字符(它可能是 "或另一个 ~)

from lark import Lark

print (Lark(r"""
    string: "\"" string_thing* "\""
    string_thing: /[^"~]+/
        | "~{" expression "}"
        | /~(?!{)/
    expression: /[^}]+/
""", start='string', ambiguity="explicit").parse(
# '"a"'
'"a~b{}c}d~{1}g"'
# '"~abc~"'
# '"~{1}~~{1}~~~{1}"'
).pretty())