为什么 Rust 不能推断出 Iterator：：sum 的结果类型

发布于12月07日

该代码适用于:

fn main() {
    let a: i32 = (1i32..10).sum();
    let b = a.pow(2);
}

如果从a中删除i32类型，则会出现以下错误:

rustc 1.13.0 (2c6933acc 2016-11-07)
error: the type of this value must be known in this context
 --> <anon>:3:13
  |
5 |     let b = a.pow(2);
  |             ^^^^^^^^

Run the example

我本以为Rust会把(1i32..10)变成i32迭代器，然后sum()知道返回i32.我错过了什么？

推荐答案

定义sum的方式，返回值是开放的；不止一种类型可以实现trait Sum<i32>.下面是一个使用a的不同类型的示例，这两种类型都可以编译:

#[derive(Clone, Copy)]
struct Summer {
    s: isize,
}

impl Summer {
    fn pow(&self, p: isize) {
        println!("pow({})", p);
    }
}

impl std::iter::Sum<i32> for Summer {
    fn sum<I>(iter: I) -> Self
    where
        I: Iterator<Item = i32>,
    {
        let mut result = 0isize;
        for v in iter {
            result += v as isize;
        }
        Summer { s: result }
    }
}

fn main() {
    let a1: i32 = (1i32..10).sum();
    let a2: Summer = (1i32..10).sum();
    let b1 = a1.pow(2);
    let b2 = a2.pow(2);
}

Playground

由于两种结果类型都是可能的，因此不能推断该类型，必须通过turbofish(sum::<X>())或表达式(let x: X = ...sum();)显式指定.