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
)所以你可以让编译器推断它们使用 _
语法并手动仅写入错误类型。
我正在使用 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
)所以你可以让编译器推断它们使用 _
语法并手动仅写入错误类型。