Rust 新手问题,如何处理此函数中的错误?

Rust newbie question, how to handle error in this function?

我正在使用 nom crate 学习 Rust,下面是我的程序。

fn get_indent_level(input: &str) -> usize {
    let (_, result) = many0_count(alt((tag("L_ "), tag("|  "), tag("   "))))(input).unwrap_or_default();
    result
}

我在 运行 时收到此错误:

error[E0283]: type annotations needed
   --> src\lib.rs:149:23
    |
149 |     let (_, result) = many0_count(alt((tag("L_ "), tag("|  "), tag("   "))))(input).unwrap_or_default();
    |                       ^^^^^^^^^^^ cannot infer type for type parameter `E` declared on the function `many0_count`
    | 
   ::: C:\Users\user1\.cargo\registry\src\github.com-xxxxxxxxxxxxxxx\nom-6.2.1\src\multi\mod.rs:486:6
    |
486 |   E: ParseError<I>,
    |      ------------- required by this bound in `many0_count`
    |
    = note: cannot satisfy `_: ParseError<&str>`
help: consider specifying the type arguments in the function call
    |
149 |     let (_, result) = many0_count::<I, O, E, F>(alt((tag("L_ "), tag("|  "), tag("   "))))(input).unwrap_or_default();
    |                                  ^^^^^^^^^^^^^^

当我添加这样的类型时:

fn get_indent_level(input: &str) -> usize {
    let (_, result) = many0_count::<&str, usize, nom::error::ErrorKind, &str>(alt((tag("L_ "), tag("|  "), tag("   "))))(input).unwrap_or_default();
    result
}

我收到这个新错误:

error[E0277]: the trait bound `nom::error::ErrorKind: ParseError<&str>` is not satisfied
   --> src\lib.rs:149:23
    |
149 |     let (_, result) = many0_count::<&str, usize, nom::error::ErrorKind, &str>(alt((tag("L_ "), tag("|  "), tag("   "))))(input).unwrap_or...
    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `ParseError<&str>` is not implemented for `nom::error::ErrorKind`
    | 
   ::: C:\Users\user1\.cargo\registry\src\github.com-xxxxxxxxxx\nom-6.2.1\src\multi\mod.rs:486:6
    |
486 |   E: ParseError<I>,
    |      ------------- required by this bound in `many0_count`

添加类型和解决问题的正确方法是什么?

你只需要指定错误类型,因为nom可以return不同的错误类型并且编译器无法推断它,因为错误没有在任何地方使用。您可以使用 _ 语法让编译器推断其余已知类型。

最简单的方法是在 IResult 类型上指定类型,因为它需要的类型少于 many0_count():

fn get_indent_level(input: &str) -> usize {
    let result: IResult<_, _, nom::error::Error<_>> =
        many0_count(alt((
            tag("L_ "), 
            tag("|  "),
            tag("   ")
        )))(input);
    result.map(|(_, x)| x).unwrap_or_default()
}

这样你只需要提供 3 种类型,其中 2 种是已知的(输入 - &str; 和结果 - usize)所以你可以让编译器推断它们使用 _ 语法并手动仅写入错误类型。