我想知道是否有一种我目前不知道的简单方法可以从 a捕获的 a"
的开头和结尾删除字符?stringLiteral
TokenParser
我搜索了 Scaladocs,但没有找到一个方便的 util 函数。是的,我当然可以通过玩来做到这一点,substring(1, str.length - 1)
但我的直觉是它已经写在某个地方我只是找不到它:-)
提前致谢!
我想知道是否有一种我目前不知道的简单方法可以从 a捕获的 a"
的开头和结尾删除字符?stringLiteral
TokenParser
我搜索了 Scaladocs,但没有找到一个方便的 util 函数。是的,我当然可以通过玩来做到这一点,substring(1, str.length - 1)
但我的直觉是它已经写在某个地方我只是找不到它:-)
提前致谢!