Question

以下代码无法推断出s

的类型

fn main() {
    let l: Vec<u32> = vec![];
    let s = l.iter().sum();
    println!("{:?}", s);
}

这是由Rust by Example https://rustbyexample.com/std_misc/threads/testcase_mapreduce.html

中的某些事情推动的

// collect each thread's intermediate results into a new Vec
let mut intermediate_sums = vec![];
for child in children {
    // collect each child thread's return-value
    let intermediate_sum = child.join().unwrap();
    intermediate_sums.push(intermediate_sum);
}

// combine all intermediate sums into a single final sum.
//
// we use the "turbofish" ::<> to provide sum() with a type hint.
//
// TODO: try without the turbofish, by instead explicitly
// specifying the type of intermediate_sums
let final_result = intermediate_sums.iter().sum::<u32>();

这似乎意味着这应该是可能的。或者我误解了这个建议？

N.B。我看到一些相关的票证，例如Why can't Rust infer the resulting type of Iterator::sum?，但是在这种情况下没有给出该序列的类型。

Answer 1

这似乎意味着这应该是可能的。或者我误解了这个建议？

我认为这是一种误解。

// TODO: try without the turbofish, by instead explicitly
// specifying the type of intermediate_sums
let final_result = intermediate_sums.iter().sum::<u32>();

它表示你可以通过明确指定类型来完成涡轮鱼的操作，即：

let final_result: u32 = intermediate_sums.iter().sum();

在这方面，您的主要功能可以写成：

fn main() {
    let l: Vec<u32> = vec![];
    let s: u32 = l.iter().sum();
    println!("{:?}", s);
}

当给定显式类型的序列时，为什么Rust不能推断求和的结果

1 个答案: