使用nom匹配行尾或文件端。

Question

我试图使用nom解析一个字符串，该字符串要么将被换行符终止，要么将在使用后到达输入端。我有下面的代码，看起来应该编译：

named!(am_implied <AddressingMode>,
    do_parse!(
        opt!(space) >>
        alt!(
            line_ending |
            eof!()
        ) >>
        (AddressingMode::Implied)
    )
);

这在以下消息中失败：

error[E0282]: unable to infer enough type information about `E`
   --> src/lib.rs:181:1
    |
181 | named!(am_implied <AddressingMode>,
    | ^ cannot infer type for `E`
    |
    = note: type annotations or generic parameter binding required

我认为上面的代码应该编译，因为下面的代码编译：

named!(am_implied <AddressingMode>,
    do_parse!(
        opt!(space) >>
        line_ending >>
        eof!() >>
        (AddressingMode::Implied)
    )
);

当line_ending和eof!解析器不是在alt!解析器中使用，而当它们在alt!解析器中使用时，为什么会发生这种情况呢？我想知道在line_ending或eof!上匹配的正确解决方案。

Answer 1

这看起来像是这个问题在nom中，还有这个WIP PR。实际上，一些nom宏没有提供足够的类型提示，因此推理失败。

建议的解决方法是将一些子解析器拆分为不同的解析器，以帮助进行类型推断，但在本例中尝试时，这并不适用于我。