在 Parsec 或 Megaparsec 解析器中使用 <|> 组合器时，可能需要“尝试”强制回溯，以防第一个解析器在消耗输入后失败。在 Parsec 中，我需要在解析字符串时使用 'try'：
?: parse (try (string "abc") <|> string "abd") "" "abd"
正确的“abd”
如果没有 'try'，解析会失败，因为第一个解析器消耗了 'a'，只留下 'bd' 给第二个解析器，第二个解析器自然也会失败。
在 Megaparsec 中，不需要“尝试”：
?: parse (string "abc" <|> string "abd") "" "abd"
正确的“abd”
因此，在 Megaparsec 中，字符串解析器在失败时不会消耗输入。
我的问题是：
除了实验之外，我怎么会发现 Parsec 和 Megaparsec 之间的字符串解析器行为是不同的——我没有看到它记录在案？
如果解析器失败，我如何轻松地（即，无需实验）判断解析器是否消耗输入？
谢谢你。