为什么“中间”(char‘) (char’)(许多charLiteral)不能用于解析字符串文字？

Question

Text.Megaparsec.Char.Lexer.charLiteral的文档建议使用char '"' *> manyTill charLiteral (char '"')来解析字符串文字(其中manyTill是在parser-combinators库中的模块Control.Applicative.Combinators中定义的)。

然而，Control.Applicative.Combinators也定义了between，据我所见，当使用between时，它应该与上面的建议相同：between (char '"') (char '"') (many charLiteral)。

但是，使用上面的between解析器并不能解析字符串文字--如果出现“意外的输入结束。期望”或文字字符(表示从未检测到结尾引号)，则失败。为什么不？

而且，更普遍地说，为什么between pBegin pEnd (many p)不等同于pBegin *> manyTill p pEnd？

Answer 1

between l r m没有做什么了不起的事情，它只是尝试了l，然后是m，然后是r，并给出了m的结果。因此，在between (char '"') (char '"') (many charLiteral)中，many charLiteral不知道它不应该使用"。many一直在消耗它的参数解析器所接受的.这是因为charLiteral只接受任何东西，这意味着它会一直循环到输入的末尾。第二个char '"'没有办法阻止它，它只需要用剩下的.也就是说，失败是因为什么都没有了！

相反，manyTill实际上检查“till”是否匹配，并且只在不匹配时应用内容解析器的每一次迭代，因此，终止"不会传递给charLiteral，您将得到所需的行为。