无法为 filter_map().sum() 推断“B”的类型

Question

下面的代码读取数字，对它们求和，然后打印总和。我尝试了一些注释，但没有成功。我肯定错过了什么。我怎样才能让它工作？

use std::io;
use std::io::Read;

fn main() {
    let mut buff = String::new();
    io::stdin().read_to_string(&mut buff).expect("read_to_string error");

    let v: i32 = buff
        .split_whitespace()
        .filter_map(|w| w.parse().ok())
        .sum();

    println!("{:?}", v);
}

来自编译器的错误消息：

type annotations needed
 --> src\main.rs:9:10
  |
9 |         .filter_map(|w| w.parse().ok())
  |          ^^^^^^^^^^ cannot infer type for `B`

Answer 1

快速解决方法是说出您要解析的类型：

let v: i32 = buff
    .split_whitespace()
    .filter_map(|w| w.parse::<i32>().ok())
    .sum();

原因是filter_map 有一个类型变量B，它需要从你传递给它的闭包中推断出来（闭包返回Option<B>）。但是，parse() 也有一个类型变量，用于您要解析的类型，通常也可以推断出来。但是在这里，类型检查器必须相互推断这些类型中的每一个，这显然是做不到的。要打破这个循环，你必须在某个地方告诉它具体类型是什么。

您也可以通过注释 filter_map 来修复它。这不是很好，因为filter_map 有两个类型参数，但您仍然可以使用_ 来推断第二个：

let v: i32 = buff
    .split_whitespace()
    .filter_map::<i32, _>(|w| w.parse().ok())
    .sum();

Answer 2

让我们看看 filter_map 的签名，看看抱怨是什么：

fn filter_map<B, F>(self, f: F) -> FilterMap<Self, F> where F: FnMut(Self::Item) -> Option<B>, 

好的，所以Option<B> 是结果，这意味着他无法推断w.parse().ok() 将是什么。

让我们试着给他一个提示

.filter_map(|w| w.parse::<i32>().ok())

让我们编译看看....万岁！

因此，经验教训：查找签名并尝试找出编译器无法推断的部分并尝试指定它。