2

我正在尝试使用nom'stuple功能。该文档提供了以下示例:

use nom::sequence::tuple;
use nom::character::complete::{alpha1, digit1};
let parser = tuple((alpha1, digit1, alpha1));

当我尝试它时,我得到一个编译错误:

    error[E0283]: type annotations needed
   --> src/main.rs:20:18
    |
20  |     let parser = tuple((alpha1, digit1, alpha1));
    |         ------   ^^^^^ cannot infer type for type parameter `I` declared on the function `tuple`
    |         |
    |         consider giving `parser` a type
    | 

如果我想为变量添加一个类型,它会是什么?我知道它必须是 的一些变体FnMut,但我不确定它是如何工作的。

货运.toml

[dependencies]
nom = ">=5.0"
4

1 回答 1

3

类型推断需要足够的信息来实际推断类型。您可以通过复制文档中的完整示例来提供所需的信息,包括两个assert_eq!()语句:

use nom::sequence::tuple;
use nom::character::complete::{alpha1, digit1};
let mut parser = tuple((alpha1, digit1, alpha1));

assert_eq!(parser("abc123def"), Ok(("", ("abc", "123", "def"))));
assert_eq!(parser("123def"), Err(Err::Error(("123def", ErrorKind::Alpha))));

额外的调用通知编译器返回的函数的参数和返回类型tuple(),这反过来又为编译器提供了足够的信息来推断tuple()调用的所有类型参数。

或者,您可以将类型参数显式传递给tuple()函数。以下是 Rust 能够推断所有类型所需的最少信息:

let _parser = tuple::<&str, _, (_, _), _>((alpha1, digit1, alpha1));

请注意,类型推断在 Rust 中如何工作的细节不是语言规范的一部分,并且可能会在未来的 Rust 版本中发生变化。虽然 Rust 具有相当强大的向后兼容性保证,但在升级到较新版本时,有时可能需要在代码中添加一些类型注释。

于 2020-07-15T12:12:30.883 回答