rust - 即使显式也无法推断值类型

Question

我需要用空格和其他几个字符拆分一个字符串。

let mut text = String::from("foo,bar baz");
for word in text.split(|c| c.is_whitespace::<char>() || c == ',' ).filter(|&s| !s.is_empty()) {
    println!("{}", word);
}

但是编译器说:

error: the type of this value must be known in this context
 --> src/main.rs:4:32
  |
4 |     for word in text.split(|c| c.is_whitespace::<char>() || c == ',').filter(|&s| !s.is_empty()) {
  |                                ^^^^^^^^^^^^^^^^^^^^^^^^^

我做错了什么？为什么不能推断类型？

Answer 1

.split 方法接受任何满足 Pattern<'a> 的东西特质约束。在这种情况下，Rust 无法知道这是什么类型的函数，因为它不知道函数参数的类型。

查看 Pattern FnMut 有一个实现:

impl<'a, F> Pattern<'a> for F 
where
    F: FnMut(char) -> bool,

要告诉编译器这是你想要的模式，你需要提供足够的信息让它知道你的闭包匹配这个。

在这种情况下，这意味着您可以添加 : char .您还必须删除 ::<char> ，因为它是一个 unneeded type parameter .例如

text.split(|c| c.is_whitespace::<char>() || c == ',' )

到

text.split(|c: char| c.is_whitespace() || c == ',' )